Kurt Godel (* 28. april 1906, Brno, Rakusko-Uhorsko ? † 14. januar 1978, Princeton, USA ) bol logik, matematik, filozof, docent a profesor.

Potvrdene vyroky [ upravi? ]

Tato sekcia obsahuje zoznam citatov, ?as a miesto, kde to autor povedal:

• 1. Nech je dana axiomaticka sustava aritmetiky Z+. Potom je v?dy mo?ne na zaklade tych pojmov, ktore do sustavy vstupuju, zostavi? najmenej jednu taku vetu, ktoru pomocou danej axiomatickej sustavy nie je mo?ne ani dokaza?, ani vyvrati?.

2. Je v?ak mo?ne prida? novu axiomu k danej sustave tak, ?e pomocou novej, roz?irenej axiomatickej sustavy sa spomenuta veta v?dy da bu? dokaza?, alebo vyvrati?.

3. Ale z pojmov roz?irenej axiomatickej sustavy mo?no opa? utvori? aspo? jednu vetu, ktoru pomocou roz?irenej axiomatickej sustavy nemo?no ani dokaza?, ani vyvrati?... a tento proces mo?no predl?ova? do nekone?na.

4. Medzi nedokazate?nymi a nevyvratite?nymi tvrdeniami v povodnej sustave je ur?ita axioma, ktoru mo?no interpretova? tak, ?e ta povodna axiomaticka sustava je logicky nesporna.“

Suhrn tvrdeni znamy ako Gogelova veta o neuplnosti , ktorej dokazom Godel nav?dy odstranil predstavu o matematike (alebo aj jej ?astiach) ako uplnej, nav?dy uzavretej vede. (1931) ^[1]

Referencie [ upravi? ]

Tato sekcia obsahuje zoznam literatury, v ktorej sa dany citat tie? vyskytol:

Ine projekty [ upravi? ]

Wikipedia ponuka heslo tykajuce sa Kurt Godel

Commons ponuka multimedialne subory na temu Kurt Godel