| S+esse 2005-10-24 #593 | 23:37 < titanstar> nyheter fra dassen på PO-bygget: det har i lengre tid stått "kan noen bevise at 1+1=2" i en av båsene 23:38 < titanstar> nå har noen tatt utfordringen og bevist det ved hjelp av church-numeraler 23:38 < titanstar> dessverre bruker beviset kommutativiteten til addisjon, og er dermed ugyldig 23:38 < titanstar> men det var jo et godt forsøk | |