Maszyna Posta
Data
2001
Autorzy
Tytuł czasopisma
ISSN czasopisma
Tytuł tomu
Wydawca
Instytut Teologiczny w Tarnowie
Abstrakt
The aim of the article is to present the main idea of the so called Post’s Machine. Contrary to Turing’s Machine, Post's Machine is not so widely known. But some find it much simpler than the former. We begin by giving a short history of Post's publication, then we describe the definition of the Machine and give some easy examples of it. And finally we make some general philosophical remarks concerning Church’s Thesis in this context.
Opis
Zawiera wykresy.
Słowa kluczowe
Emil Post, logika, logika formalna, filozofia, Maszyna Posta, Post's Machine, logic, formal logic, philosophy
Cytowanie
Tarnowskie Studia Teologiczne, 2001, T. 20, cz. 1, s. 121-126.
Licencja
Attribution-NonCommercial-NoDerivs 3.0 Poland