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
22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
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: 4939
Reputace:   106 
 

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ěď.


"Máte úhel beta." "No to nemám."

Offline

 

#2 02. 10. 2015 23:46

Wotton
Logik
Místo: Plzeň
Příspěvky: 825
Reputace:   25 
 

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