Gödel's Incompleteness Theorem

preview_player
Показать описание
Textbooks:
Computational Complexity: A Modern Approach by S. Arora and B. Barak.
Algorithm Design by J. Kleinberg and E. Tardos.

Lecture slides by K. Wayne accompanying the latter textbook:
Рекомендации по теме
Комментарии
Автор

This is incredible! Imagine what if the whole logic of the human mind is just inheritely wrong. We are just wired in the wrong way so we can only construate not working sound and complete systems. But some different arrangement of wires could ...

pickyourlane
Автор

This holds if we actually can describe a Turing Machine in our system.

BelegaerTheGreat