Установка и ремонт унитаза в районе Лианозово 
Фестиваль "Ретрорейс" получился почти идеальным 
Ударный кулак Сонгун. Пехота КНДР 
Почему у колонистов Марса не может быть секса с землянами? Ученые описали 
Скованные одной цепью: кореец создает авангардные скульптуры из велоцепей 
Убили блогера. 
Возвращение йеху 
«Дочь позвонила спустя много лет, но я честно сказал, что мне не интересна ни ...
Ух. Это кто вообще?
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
Честно сказать, эту ссылку я запостил сразу как прочёл процитированный абзац, то есть не прочитав про "существ". И интересуют меня вовсе не существа.
Сохранено
|
|
</> |
Оставить комментарий
Популярные посты:
Архив записей в блогах:
Больше половины российских врачей выступают за возврат коронавирусных ограничений на фоне роста заболеваемости, пишет портал РБК. Крайне тревожная статистика, если взглянуть на неё. Есть два объяснения столь аномально высокой доле врачей, выступающих за введение карантинных мер в ...
Разнообразие строительных материалов позволяет строить надежные теплые дома. Если ваш дом построен давно, то его просто нужно утеплить специальным теплоизоляционным материалом - пенополистиролом. В компании "KLESTER System" знают все об этом материале, так как занимаются его ...
Доброе утро! У дочки (1.10 года) в понедельник начался насморк, сильный. В тот же день капнула за один раз - перед сном капель 7-8. Сейчас седьмой день насморка, и я не могу сказать, что состояние значительно улучшилось. Могло ли возникнуть привыкание с ...
