Cancel
Comment on "A Case For The Non-Necessity Of Proof"

Spaceweaver Sat, Jun 22, 2013
Interesting subject.

I would recommend you to look into Kurt Goddel's incompleteness theorem which is a mathematical proof(!) of the incompleteness of proof systems.