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: 4652
- Reputace: 101
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
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