2010.04.12. 11:01
Rendszeren kívül
Gödel első nemteljességi tétele"Minden ellentmondásmentes, a természetes számok elméletét tartalmazó, formális-axiomatikus elméletben megfogalmazható olyan mondat, mely se nem bizonyítható, se nem…
Feedek
- RSS 2.0
bejegyzések, kommentek - Atom
bejegyzések, kommentek
