Maszyna Posta

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.