trawa
Witamy,
Gość
.
Zaloguj się
lub
zarejestruj
.
1 Godzina
1 Dzień
1 Tydzień
1 Miesiąc
Zawsze
Zaloguj się podając nazwę użytkownika, hasło i długość sesji
Strona główna
Pomoc
Szukaj
Zaloguj się
Rejestracja
gildia.pl
»
Gildia Nauki Popularnej
(
www.nauka.gildia.pl
) »
Forum Nauki Popularnej
»
Gödel, dowodliwość, logiki modalne - kto mi pomoże?
« poprzedni
następny »
Drukuj
Strony: [
1
]
Do dołu
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.
haael
Asesor
Wiadomości: 9 996
Total likes: 4
Płeć:
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?
Zapisane
Prepara tu palo en mano, que hay vienen los hombres malos.
Prepara tu palo hermano, que hay vienen los hombres malos.
Drukuj
Strony: [
1
]
Do góry
« poprzedni
następny »
gildia.pl
»
Gildia Nauki Popularnej
(
www.nauka.gildia.pl
) »
Forum Nauki Popularnej
»
Gödel, dowodliwość, logiki modalne - kto mi pomoże?