News for hackers. Stuff that matters.

A comment on Gödel and the limits of logic. Parent comment

Re:Gödel and the limits of logic by haliax on Friday May 18, 2012 @12:54PM (#3992823)
> humans don't reason based on mechanistic principles

Do you support an empiricist view of logic then (http://en.wikipedia.org/wiki/Is_logic_empirical%3F) ? That we justify logical rules because they so strongly correspond with our own experiences?

[ Parent | on HN ]
Re:Gödel and the limits of logic by vbtemp on Friday May 18, 2012 @01:02PM (#3992862)
Not really. I'm just saying we don't go around all day doing logic-algebra in our head and saying only true, consistent things :)
[ Parent | on HN ]
Re:Gödel and the limits of logic by haliax on Friday May 18, 2012 @01:05PM (#3992874)
Ahh, fair enough. I'd have to agree with you there. My guess is that that plus being able to inductively generate axioms from experience are largely what let us escape that particular weakness of formal systems.
[ Parent | on HN ]