Теория множеств на Java
Nov. 1st, 2011 02:21 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
kaipaСпасибо уважаемому френду ![[livejournal.com profile]](https://www.dreamwidth.org/img/external/lj-userinfo.gif)
ivan_gandhi за ссылку на его изящную имплеменатацию теории множеств в аксиоматике Цермело-Френкеля с аксиомой выбора на Java: http://ivan-gandhi.livejournal.com/726465.html
Я восхищен. Нет, не то, чтобы это что-то очень сложное само по себе, но сама идея! Теория выводится способом, который я бы ждал от Пролога, но тут все на Джаве. Красота! Даже континуум "вывелся" естественным образом.
Интересно поэкспериментировать с разными аксиоматиками. Но сначала портировать на Скалу, должно получится раза в два короче.
ivan_gandhi за ссылку на его изящную имплеменатацию теории множеств в аксиоматике Цермело-Френкеля с аксиомой выбора на Java: http://ivan-gandhi.livejournal.com/726465.htmlЯ восхищен. Нет, не то, чтобы это что-то очень сложное само по себе, но сама идея! Теория выводится способом, который я бы ждал от Пролога, но тут все на Джаве. Красота! Даже континуум "вывелся" естественным образом.
Интересно поэкспериментировать с разными аксиоматиками. Но сначала портировать на Скалу, должно получится раза в два короче.
