gildia.pl
Gildia Nauki Popularnej (www.nauka.gildia.pl) => Forum Nauki Popularnej => Wątek zaczęty przez: haael w Sierpień 11, 2009, 03:13:33 pm
-
Lektura na początek:
http://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems
http://en.wikipedia.org/wiki/Modal_logic
http://en.wikipedia.org/wiki/Doxastic_logic
http://en.wikipedia.org/wiki/L%C3%B6b%27s_theorem
http://yudkowsky.net/rational/lobs-theorem
Kto mi wyjaśni, co w logice "doksastycznej" oznacza gołe zdanie bez funktora wiary? Tzn. co ma oznaczać po prostu "prawda"?
Pytam się na przykład: czy "2 + 2 = 4"?
Rozumiem, co to znaczy:
- w pewnym systemie formalnym (np. arytmetyce Peano) da się udowodnić, że "2 + 2 = 4".
Ale co to znaczy po prostu:
?
Jaka jest definicja prawdziwości takich równań na liczbach? Czyż prawdziwym nie jest właśnie to, co da się wywnioskować z arytmetyki Peano?