When you logically prove something and someone doesn't believe you, they will often say "there is a higher logic" implying that the way our logic works is not true.
Godel's incompleteness theorem (http://en.wikipedia.org/wiki/G%C3%B6del's_incompleteness_theorem) tells us that there are true but unprovable statements and that basically anything proven with logic is uncertain correct?
However, his theorem was created with logic! Is his theorem even certain? How can we escape this loop and show that any "higher logic" has just as much uncertainty as our own? It seems impossible to me.
2007-05-09
18:03:02
·
7 answers
·
asked by
Zhuo Zi
3
in
Arts & Humanities
➔ Philosophy
http://en.wikipedia.org/wiki/G%C3%B6del's_incompleteness_theorem
Sorry, this site screwed the link up.
2007-05-09
18:03:50 ·
update #1