Linux Today: Linux News On Internet Time.





More on LinuxToday


Proof that 1+1=2 written in PHP

Feb 28, 2013, 09:00 (0 Talkback[s])
(Other stories by Erik Poupaert)

A statement is 'proven' when all untruth in the statement can only be the consequence of the untruth in the axioms to which it has been reduced. We will now demonstrate that any untruth in the statement '1+1=2' can only be the result of untruth in Peano's axioms. In other words, we will demonstrate that the statement '1+1=2' does not introduce any original untruth.

Complete Story