Matematické Fórum

Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.

Nástěnka
! 04. 11. 2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
17. 01. 2016 (Jel.) Rok 2016 s novými a novějšími krystaly od kolegy Pavla!
17. 01. 2016 (Jel.) Nabídka knih z oborů matematiky, fyziky, chemie
23. 10. 2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.

Nejste přihlášen(a). Přihlásit

#1 02. 04. 2014 21:45

check_drummer
Příspěvky: 2364
Reputace:   64 
 

Nestandardní modely a neúplnost

Ahoj,
je existence nestandardních modelů aritmetiky (a např. i nestandardní analýza, apod.) důsledkem věty o neúplnosti?
Děkuji za odpověď.


Cimrmanův botanický kvíz:
Co mají společného byliny kozlík a pivoňka?

Offline

 

#2 02. 10. 2015 23:46

Wotton
Logik
Místo: Plzeň
Příspěvky: 780
Reputace:   24 
 

Re: Nestandardní modely a neúplnost

↑ check_drummer:
ne není.
Vůbec to spolu nesouvisí

Nestandartní modely má každá teorie která má alespoň jeden nekonečný model.

Věty o neúplnosti se vztahují pouze na teorie s "dostatečnou vyjadřovací silou".


Dva jsou tisíckrát jeden.

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson