Arhive oznaka: Goedel

Istina nije definabilna

Slavni teorem Alfreda Tarskog o nedefinabilnosti istine tvrdi da istinite rečenice nekog formalnog jezika nije moguće definirati u samom tom jeziku (njegov ne manje slavni teorem o definabilnosti istine tvrdi da je to moguće u odgovarajućem metajeziku). Evo dokaza tog … Nastavi čitati

Ocijeni:

Objavljeno u logika, matematika | Označeno sa , | Ostavi komentar