VS
Если добавить соответствие имени
Size: a a a
2020 May 15
AH
Если добавить соответствие имени
Ну в общем да. В матане там у дисжоинт сетов просто пара - (тип, тег) вместо просто типа для идентификации сета
SB
Любое значение string|int является значением типа string|int|любой тип
A | B | C = { (1, A), (2, B), (3, C) }. A | B = { (1, A), (2, B) }. не вижу противоречий. оба множества получены по тому определению что я выше написал, только маркеры выбираются детерменированно.
VK
слишком сложно у вас тут для конца недели
SB
явно видно что A | B \in A | B | C
AH
A | B | C = { (1, A), (2, B), (3, C) }. A | B = { (1, A), (2, B) }. не вижу противоречий. оба множества получены по тому определению что я выше написал, только маркеры выбираются детерменированно.
Тут ты маркеры сам расставил. Представь что там гуиды ацко уникальные
AH
И сразу все по пизде идёт
VS
A | B | C = { (1, A), (2, B), (3, C) }. A | B = { (1, A), (2, B) }. не вижу противоречий. оба множества получены по тому определению что я выше написал, только маркеры выбираются детерменированно.
Софистика
VS
Подтасовка фактов
AH
Подтасовка фактов
Вот да
VS
Подгон под теорию
VS
Короче, товарищ хочет быть прав
SB
Тут ты маркеры сам расставил. Представь что там гуиды ацко уникальные
это уже деталь реализации! кто мне запретит сказать что существует f: множество_всех_возможных_du -> Nat например?
VS
Но не хочет признавать проебы
VK
это уже деталь реализации! кто мне запретит сказать что существует f: множество_всех_возможных_du -> Nat например?
Я
SB
Но не хочет признавать проебы
я понимаю что на практике это может быть сложно, но мне было интересно где в теории проеб. его там нет.
VS
Чувак, тут практики
SB
выше я показал, что вопрос "assum
f such that .. is injective`. и все.AH
это уже деталь реализации! кто мне запретит сказать что существует f: множество_всех_возможных_du -> Nat например?
Ну если ты схолпнешь все теги в ноль, ты можешь типа получить из дисжоинт сетов юнионы, но только на бумаге)
VS
За теорией тебе в скала чат