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