Maszyna Posta

dc.contributor.author	Olszewski, Adam
dc.date.accessioned	2024-04-11T08:13:42Z
dc.date.available	2024-04-11T08:13:42Z
dc.date.issued	2001
dc.identifier.citation	Tarnowskie Studia Teologiczne, 2001, T. 20, cz. 1, s. 121-126.	pl_PL
dc.identifier.issn	0239-4472
dc.identifier.uri	http://repozytorium.theo-logos.pl/xmlui/handle/123456789/15153
dc.description	Zawiera wykresy.	pl_PL
dc.description.abstract	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.	pl_PL
dc.language.iso	pl	pl_PL
dc.publisher	Instytut Teologiczny w Tarnowie	pl_PL
dc.rights	Attribution-NonCommercial-NoDerivs 3.0 Poland	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/3.0/pl/	*
dc.subject	Emil Post	pl_PL
dc.subject	logika	pl_PL
dc.subject	logika formalna	pl_PL
dc.subject	filozofia	pl_PL
dc.subject	Maszyna Posta	pl_PL
dc.subject	Post's Machine	pl_PL
dc.subject	logic	pl_PL
dc.subject	formal logic	pl_PL
dc.subject	philosophy	pl_PL
dc.title	Maszyna Posta	pl_PL
dc.title.alternative	Post's Machine	pl_PL
dc.type	Article	pl_PL