*************
The following message is relayed to you by [email protected]
************
On 21 June 2012 16:47, Glen Strathy wrote:
The power of logic is undeniable. Nonetheless, I think Kurt Godel
proved that logic has its limits.
Logic has no power - It is merely disciplined thinking.
Go"del's theorem's state: As I understand them??
Theorem 1.In any logical system one can construct statements that are
neither true nor false.
(Of course one can. Isn't this a variation of the liars paradox that
schoolkids play around with and which can be avoided in logic by not
making self referential statements which cause circles of logic)
and
Theorem 2: Therefore no consistent system can be used to prove its own
consistency. No proof can be proof of itself.
Does theorem 2 follow from 1? - It doesn't seem to? and why would you
want to prove postulates or axioms? Wouldn't a tautological system in
which one accepted the evidence of perception be more useful.
If you accept Go"del's incompleteness theorem then you must also accept
that the theorem itself is incomplete. lol
Martin
_______________________________________________
Trom mailing list
[email protected]
http://lists.newciv.org/mailman/listinfo/trom
