ВНЖ или прописка в Армении: что выбрать россиянину Делюсь новым приобретением
Ух. Это кто вообще?
vvagr — 02.07.2012
я придумал новые основания математики, которые позволят решить
проблему компьютерной проверки доказательств. Сейчас это называется
"унивалентные основания математики" и ими занимаются как
математики, так и теоретики языков программирования. Я почти не
сомневаюсь, что эти основания вскоре заменят теорию множеств и что
проблему языка абстрактной математики, который будут "понимать"
компьютеры можно считать в основном решенной.http://baaltii1.livejournal.com/198675.html?style=mine
Univalent Foundations of Mathematics http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations.html
Библиотеки на Cog - https://github.com/vladimirias/Foundations
Честно сказать, эту ссылку я запостил сразу как прочёл процитированный абзац, то есть не прочитав про "существ". И интересуют меня вовсе не существа.
Сохранено
|
|
</> |
Оставить комментарий
Популярные посты:
Архив записей в блогах:
В наше время самым ценным ресурсом является время, с этим, пожалуй никто не станет спорить. Поэтому очень важно целесообразно рассходовать его, не растрачивая его на лишнюю деятельсность. Ни для кого ни секрет, что уборка отнимает много времени и сил, и далеко не каждому человеку ...
Камышница - не утка, ее непросто увидеть в дикой природе. Птенцы, как и взрослые особи, на воде постоянно подёргивает головой, как бы вытягивая ее вперед, дергая. Именно по этим движениям головой я увидела птенцов камышницы издалека (ну точно не кряквы). Вдоль берега пруда между ...
Сегодня у Алексея Макаровича Смирнова день рождения. В этот день я хотел бы вспомнить лучший фильм с его участием - "В бой идут одни "старики". Выйдя на экраны в 1974 году, фильм собрал 44,3 миллиона кинозрителей, став четвёртым в прокате и единственным в десятке самых кассовых фильмов т ...
Это школа Соломона Шкляра, Школа бальных танцев, Вам говорят. Две шаги налево, Две шаги направо, Шаг впирод и две назад. Кавалеры Приглашают дамов, Там, где брошка — Там пирод. Две шаги налево, Две шаги направо, Шаг назад, Наоборот. Дамы приглашают кавалеров. Там, где ...
