Мужские ботинки непромокаемые: секреты технологии и правильного выбора [ комменты ] ...
Ух. Это кто вообще?
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
Честно сказать, эту ссылку я запостил сразу как прочёл процитированный абзац, то есть не прочитав про "существ". И интересуют меня вовсе не существа.
Сохранено
|
|
</> |
Оставить комментарий
Популярные посты:
Архив записей в блогах:
Задача для второго класса церковно приходской школы. придумана Львом ...
Александр Блок. Силуэт работы Е.С. Кругликовой. 1917 год. Из писем Блока, весна 1917 года : «...Жизнь кругом совершенно необычайная, трудная, грозная и блистательная. […] Невский запружен людьми, лошадей и повозок нет, точно Венеция. При всём том тишина и порядок, благодаря ...
Когда все писали, что в котле могут оказаться до восьми тысяч укропов, я дал свою оценку в пятнадцать тысяч, сейчас даже по ящику признали, что там около двенадцати тысяч. Иловайск покажется украм детским садиком, ясельной группой, по сравнении с тем, что их ждет в Дебальцево. Скорее все ...
Да тяжела ты шапка Мономаха! Трудно пропихнуться в чуждое нам пространство, на основе только нашего желания. «Тщательная» подготовка с видоизменением внешнего облика и внутреннего состояния. Перемещение по типу «марш-бросок ...
