Изменения

Перейти к: навигация, поиск

Участник:Dgerasimov/Тикеты по конспектам year2011

Нет изменений в размере, 02:45, 23 июня 2020
м
Napisal po-russky
# '''взяли''' [[Неразрешимость исчисления предикатов первого порядка]]
## написать. Это очень просто на самом деле, если немного помнить матлогику
# '''!!!''' [[Неразрешимость проблемы существования решения диофантова уравления уравнения в целых числах]]
## написать. Тут все не написать, но хотелось бы какой-нибудь скетч доказательства с выделением основных технических моментов, примерами диофантовых множеств, всякими трюками, с ними связанными.
# [[Теорема Райса-Шапиро]]
386
правок

Навигация