Shadows of the Mind: A Search for the Missing Science of Consciousness
ISBN: 0198539789
Found in 1 comment on Hacker News
View on Amazon
We may earn a commission from purchases made through links on this page.
Not ready yet? Get weekly book picks.
Get the best books from Hacker News each week
Join 4,500+ subscribers and get the best books mentioned on Hacker News every Thursday.
I just meant undecidable propositions.
> Do you have an example
Maybe check out the conclusion on p.76 of this book[1] by Penrose (and the argument supporting it that begins on p.72.): "Human mathematicians are not using a knowably sound algorithm in order to ascertain mathematical truth".
His example is our knowledge that a certain computation will not halt, and the impossibility of constructing an algorithm that can prove that fact.
More flippantly, you know that you can examine the soundness of your own reasoning, but no algorithm can reach conclusions about its own correctness.
[1]http://www.amazon.com/dp/0198539789