Godel-teorio
Teorio di Godel es teorio quo montras la vaneso di probar establisar kompleta axiomala formaligo di matematiko.
Kurt Godel pruvis (1931) ke omna *konsequema matematikala sistemo mustas esar nekompleta. To es, en irga sistemo on povas konstruktar formuli nek pruvebla, nek despruvebla en la sistemo.
Pluse, nula matematikala sistemo es pruvebla kom konsequema, sen uzar axiomi exter la sistemo.
La teorio di Godel profunde efikis atitudi vers la fundamento di matematiko.
(Videz anke logiko.)
🔥 Top keywords: FrontispicoJSONDuesma mondomilitoSpecala:RecentaChanjiHermann RorschachWikipedioHelpo:HelpoSexuala relatoWikipedio:Portalo di la komunitatoSpecala:SercharEkosistemoIdoBoOzy' OS e la Kristalo-gemoC (programifo-linguo)Wikipedio:Komuneso-portaloAngelique RockasFortaleza, CearáSexual ecitoWilliam ShatnerTeknologioFranciaFelix BlochLibiaLituaniaPublika domenoWikipedio:AdministrantiKategorio:Vilaji en provinco LublinNcuti GatwaSudanBucureștiBielorusa linguoDio di l'informatikeroSaint Paul, MinnesotaDaniaAugsburgKategorio:LinguistikoWalsana linguoSingapur1506