Arhive oznaka: Tarski

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 →