Teza Churcha a definicja prawdy Tarskiego
Data
2001
Autorzy
Tytuł czasopisma
ISSN czasopisma
Tytuł tomu
Wydawca
Wydawnictwo Naukowe Papieskiej Akademii Teologicznej w Krakowie
Abstrakt
The aim of the article is to state some sort of the contentual connection between the issues announced in the title. I attempt to show that, if we don’t accept some concequences of Tarski’s Thesis - his Convention T - we have to accept the negation of Church’s Thesis.
Opis
Słowa kluczowe
teza Churcha, Alonzo Church, matematyka, logika, teza Tarskiego, Alfred Tarski, definicja prawdy, prawda, arytmetyka, Church's thesis, mathematics, logic, Tarski's thesis, definition of truth, truth, arithmetics
Cytowanie
Analecta Cracoviensia, 2001, T. 33, s. 171-176.
Licencja
Attribution-NonCommercial-NoDerivs 3.0 Poland