There are many people who believe that the human mind, based on neurons and physical principles, is just a very sophisticated formal system. Does Gödel's theorem imply the existence of facts that must be true, but that our minds can never prove? Or even stronger, that our minds can never believe -- or strongest yet, ever conceive?From Kenny's Overview of Hofstadter's Explanation of Gödel's Theorem, via the always-rewarding larkfarm.
There are many people who
randomWalks
@randomWalks