Системы логики, основанные на порядковых числах
Логические системы, основанные на ординалах Основы ординальной логики Алан Тьюринг исследовал ординальные системы в своей докторской диссертации. Тьюринг не разработал […]
Alan Turing, History of logic, Mathematical logic stubs, Mathematics literature stubs, Mathematics papers, Ordinal numbers, Systems of formal logic, Алан Тьюринг, Заглушки по математической логике, История логики, Незавершённые фрагменты литературы по математике, Порядковые номера, Системы формальной логики, Статьи по математике