sitat fra #scene.no / efnet:

S+esse
2005-10-24
#593
23:37 < titanstar> nyheter fra dassen p PO-bygget: det har i lengre tid sttt "kan noen bevise at 1+1=2" i en av bsene
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 forsk