trawa

Autor Wątek: Gödel, dowodliwość, logiki modalne - kto mi pomoże?  (Przeczytany 4261 razy)

0 użytkowników i 1 Gość przegląda ten wątek.

Offline haael

  • Asesor
  • ******
  • Wiadomości: 9 996
  • Total likes: 4
  • Płeć: Mężczyzna
  • Polska polska nie ciapolska.
Gödel, dowodliwość, logiki modalne - kto mi pomoże?
« dnia: 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:
  • □"2 + 2 = 4"
- w pewnym systemie formalnym (np. arytmetyce Peano) da się udowodnić, że "2 + 2 = 4".

Ale co to znaczy po prostu:
  • "2 + 2 = 4"
?
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?
Prepara tu palo en mano, que hay vienen los hombres malos.
Prepara tu palo hermano, que hay vienen los hombres malos.