Verze z 26. 4. 2007, 20:34 (editovat) Adam Zivner (diskuse \| spraseno) (novy zblept)		Verze z 26. 4. 2007, 20:38 (editovat) (oddělat) Adam Zivner (diskuse \| spraseno) m (→‎Nekompletní teorém nekompletnosti) Porovnání s novější verzí →
*C) <!-- Nekompletní, ne? :) --> Gödelův důkaz vyvrátil [[Jiří Paroubek]] protipříkladem, Gödel poté kontroval důkazem druhým; na ten však už Jirka odpověď nenašel a uznal svou porážku. ==Práce v teorii čísel==

Kurt Gödel: Porovnání verzí

Kurt Gödel (editovat)