Немного программирования — различия между версиями
WikiSysop (обсуждение | вклад) (Новая страница: «{| width="100%" | width="40%"|Вычислимые функции и их алгоритмы << ! width="20%"|[[Истинность и доказуемос…») |
(нет различий)
|
Версия 13:15, 29 января 2010
Вычислимые функции и их алгоритмы << | Оглавление | >> Проблемы остановки и тождественности |
---|
Вычислимые функции и их алгоритмы << | Оглавление | >> Проблемы остановки и тождественности |
---|
Истинность и доказуемость - о конструктивной математике, Канторе и Гёделе