juan_gandhi: (Default)
[personal profile] juan_gandhi
Должен сознаться, что хоть я и в курсе был насчет Вселенной фон Ноймана, но идея, что у теории множеств должны быть разнообразные модели, почему-то только сейчас стала мне как бы очевидной.

И кстати, по вопросу моделирования моноидов в посетах. Да запросто. Берем "максимум", например, в качестве операции. Конечно, будет всегда идемпотентность, но что уж тут поделаешь. В теории множеств тоже не любой моноид моделируется. Например, моноид множеств по объединению.

Да блин, надо же быть таким тормозом.

Вот говорил мне Куздра.

Date: 2017-09-25 11:57 am (UTC)
From: [personal profile] epimorphisms_split
Вроде как человеку, понаслышке знающему про независимость AC или там CH какой, эта идея должна быть близка.

Date: 2017-09-25 01:12 pm (UTC)
bamalip: (Default)
From: [personal profile] bamalip
ZF это историческое недоразумение

Date: 2017-09-25 02:19 pm (UTC)
bamalip: (Default)
From: [personal profile] bamalip
Если искать близких аналогов к наивной ТМ, то NF(U) Куайна хорошо выглядит. Ее, конечно, надо сильно исследовать на предмет юзабилити, но ей очень мало кто занимался, из-за засилья ZF(C).

А если по-современнее, то
https://ncatlab.org/nlab/show/structural+set+theory
https://golem.ph.utexas.edu/category/2012/12/rethinking_set_theory.html

Date: 2017-09-25 07:17 pm (UTC)
66george: (Default)
From: [personal profile] 66george
Моисей Ильич Шенфинкель неоднократно говорил "Батенька Каrrи! Хеrня ваши комбинатоrы!" За это Карри потом сжёг его архив, остались только легенды.

Profile

juan_gandhi: (Default)
juan_gandhi

October 2017

S M T W T F S
1 2 3 45 6 7
8 910 11 12 13 14
15 16 17 18 19 2021
22232425262728
293031    

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Oct. 21st, 2017 03:39 pm
Powered by Dreamwidth Studios