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