Formal definition of Thesis M

N. V. Kurilenko

Lomonosov Moscow State University, Faculty of Mechanics and Mathematics

Abstract: Thesis M is introduced and described in terms of its basic problems with confirming or disproving it. A mathematical formulation of the problem is proposed and the simplest properties of the model are discovered. An example of a one-dimensional continuous cellular structure in which an oracle machine can be implemented is constructed.

Keywords: Church-Turing thesis, Thesis M, cellular automata, continuous cellular automata.