2 ms·
The halting problem indeed proves easily that no theory can be complete and sound, but proving that no theory can be complete and consistent is a bit harder. Mo
by cousin_it 9y ago
The halting problem indeed proves easily that no theory can be complete and sound, but proving that no theory can be complete and consistent is a bit harder. More details here: https://www.scottaaronson.com/blog/?p=710 https://www.scottaaronson.com/blog/?p=710