Оглавление
Логические системы, основанные на ординалах
-
Основы ординальной логики
- Алан Тьюринг исследовал ординальные системы в своей докторской диссертации.
- Тьюринг не разработал новый тип логики, а сосредоточился на решении проблемы неполноты Геделя.
-
Теорема Геделя и её следствия
- Гедель показал, что любая формальная система, достаточно мощная для арифметики, имеет теорему, которую она не может доказать.
- Тьюринг рассмотрел, что произойдет, если бесконечно добавлять новые аксиомы к исходной теории.
-
Влияние на информатику
- Использование вычислительного оракула Тьюрингом не является центральной темой диссертации, но оказало влияние на теоретическую информатику.
-
Рекомендации и внешние ссылки
- В статье приведены ссылки на источники, которые можно использовать для дальнейшего изучения темы.
-
Примечание для Википедии
- Статья является заглушкой и призывает читателей помочь расширить её.