4 ms·
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 :)
by vbtemp 14y ago
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 :)
- haliax 14y agoAhh, 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.