Linux Today: Linux News On Internet Time.
Search Linux Today
Linux News Sections:  Developer -  High Performance -  Infrastructure -  IT Management -  Security -  Storage -
Linux Today Navigation
LT Home
Link to Us

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