GEB, стр. 220
Если бы ТТЧ была полной:
→ Любое истинное высказывание = теорема
→ Разрешающая процедура для ВСЕЙ теории чисел
→ Специалисты остались бы без работы
Но ТТЧ неполна.
"По этому поводу можно радоваться или огорчаться, в зависимости от вашей точки зрения."
🌀 Гёдель спас математиков от безработицы.