Repozytorium Theo-logos

Przeglądaj według tematu "Alonzo Church"

    A A A  

Przeglądaj według tematu "Alonzo Church"

Sortuj według: Kolejność: Wyniki:

  • A consequence of the notional existence of an effectively calculable yet non-recursive function 
    Olszewski, Adam (Wydawnictwo Naukowe Papieskiej Akademii Teologicznej w Krakowie, 2021)
    The present paper is devoted to a discussion of the role of Church’s thesis in setting limits to the cognitive possibilities of mathematics. The specific aim is to analyse the formalized theory of arithmetic as a fundamental ...
  • Elementy historii powstania „Tezy Churcha” 
    Olszewski, Adam (Instytut Teologiczny w Tarnowie, 2000)
    The main purpose of the article is to give a short but exact and original Alonzo Church's formulation of his thesis. The most important dates and forms of its presentation and publication are reported and briefly discussed ...
  • Teza Churcha a definicja prawdy Tarskiego 
    Olszewski, Adam (Wydawnictwo Naukowe Papieskiej Akademii Teologicznej w Krakowie, 2001)
    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 ...

Szukaj w Theo-logos

Przeglądaj

Moje konto

Polub nas