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
dobrý den, mohu se zeptat, zda je tu někdo na fóru, kdo alespoň trochu rozumí důkazu gödelových vět. Peru se s tím a měl bych nějaké dotazy: předně, znamená to, že když formule nemá model tak je nedokazatelná? - i když uvažuji že je to nesmysl..
Offline
Co znamená, že formule nemá model? Znamená to, že neexistuje model, ve kterém by formule byla splnitelná?
Myslím, že to, co říkáš je potom pravda (podle věty o úplnosti).
Offline
↑ 7867088:
Jo, myslím že aspoň trochu rozumím Gödelovým důkazům :-)
Offline