Olszewski, Adam2024-04-112024-04-112001Tarnowskie Studia Teologiczne, 2001, T. 20, cz. 1, s. 121-126.0239-4472http://theo-logos.pl/xmlui/handle/123456789/15153Zawiera wykresy.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.plAttribution-NonCommercial-NoDerivs 3.0 Polandhttp://creativecommons.org/licenses/by-nc-nd/3.0/pl/Emil Postlogikalogika formalnafilozofiaMaszyna PostaPost's Machinelogicformal logicphilosophyArticle