Проблемы остановки и тождественности

Материал из synset
Версия от 13:16, 29 января 2010; WikiSysop (обсуждение | вклад) (Новая страница: «{| width="100%" | width="40%"|Немного программирования << ! width="20%"|[[Истинность и доказуемость|Оглав…»)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск
Немного программирования << Оглавление >> Перечислимые и разрешимые множества
Немного программирования << Оглавление >> Перечислимые и разрешимые множества

Истинность и доказуемость - о конструктивной математике, Канторе и Гёделе

Источник — «http://synset.com/wiki/index.php?title=Проблемы_остановки_и_тождественности&oldid=355»