Ух. Это кто вообще?

я придумал новые основания математики, которые позволят решить проблему компьютерной проверки доказательств. Сейчас это называется "унивалентные основания математики" и ими занимаются как математики, так и теоретики языков программирования. Я почти не сомневаюсь, что эти основания вскоре заменят теорию множеств и что проблему языка абстрактной математики, который будут "понимать" компьютеры можно считать в основном решенной.

http://baaltii1.livejournal.com/198675.html?style=mine

http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations.html

https://github.com/vladimirias/Foundations

1957. Москва. Игра в классики

(оригинальный размер) ...

ПРО ОЧЕНЬ СТАРЫЙ ЛИМОН.

P.S. У меня один вопрос: для чего кому-то нужен этот старый лимон? или на продажу из любопытства. Аукционный дом Brettells из Шропшира получил два ценных лота по цене одного. Местная семья, разбирающая вещи покойного дядюшки, решила продать шкаф XIX века. Во время подготовки предмета ...

Как генерал американской морской пехоты внезапно умер

Испытал любовь к украине, несовместимую с жизнью На днях из официальных американских источников стало известно, что «тело 59-летнего генерала морской пехоты США Уильяма Ф. Маллена было обнаружено в воздушно-наземном боевом центре морской пехоты Twentynine Palms в Калифорнии». ...

Лисень, как образец самоизоляции

Ты зачем меня разбудил, человек? Лиска спала. Она спала глубоко и спокойно, но ровно через 20 минут она проснётся. Это тоже одна из привычек, выработанных годами. Или потому, что ее разбудит человек. Не будите Лисень, не будите А то карме своей навредите ...

Маленький комочек рыжего счастья ищет дом!

Дорогие друзья! Вчера рядом с автомойкой в промышленном районе нашли очаровательного рыжего котенка с голубыми глазами. Он так плакал, что услышали через улицу и не смогли пройти мимо. От рабочих узнали, что его маму сбила машина на днях :( ...

Ух. Это кто вообще?

Ух. Это кто вообще?

Оставить комментарий

Популярные посты: