Economics Dictionary of ArgumentsHome
| |||
|
| |||
| Turing-Machine: is a model by A.M. Turing (A.M. Turing, “On Computable Numbers, with an application to the decision-making problem”, Proceedings, London Mathematical Society, 230-265 (1936)), which reproduces the process of character manipulation according to simple rules and thus makes it possible to investigate. A Turing machine can, in principle, calculate everything which is calculable. See also model, formal language, system, computability, decidability, holding problem, Church Turing Thesis._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. | |||
| Author | Concept | Summary/Quotes | Sources |
|---|---|---|---|
|
Hennig Genz on Turing-Machine - Dictionary of Arguments
II 192 Turing machine/Genz: e.g. instructions that correspond to a certain position can only be: Print 0. Print 1. Move the tape one square to the right. Move the tape one square to the left. If there is a 1 in the square, go to statement i. If there is a 0 in this square, go to the statement i. Stop. And that is all there is to it. II 193 Logic/mathematics/physics/Genz: if the laws of physics were different, it might be impossible to build a Turing machine. N.B.: it might be impossible to calculate the sum of two numbers! Proof/Genz: a proof is therefore dependent on natural laws. >Proofs, >Provability, >Natural laws. II 195 Initial conditions/initial states/nature/Genz: in nature there are countless initial states. But a training machine could not list them all, because it could not represent them all differently. II 195 Initial conditions/initial states/nature/Genz: in nature there are countless initial states. But a Turing machine could not list them all, because it could not represent them all differently. II 225 Holding Problem/Non-Hold-Theorem/Genz: could it be that a future physics (other than ours) allows to do infinite calculation steps within a finite time? Turing machine/Genz: a possible world in which more is possible than the logic allows could not be simulated by a Turing machine. Genz: thesis: I do not see that it has to be the case that in the updated world every sequence has to be simulated by a Turing machine. David DeutschVsGenz: (The Fabric of Reality)(1): David Deutsch assumes that everything in the actual world can be simulated by a Turing machine. From this he deduces that the universe collapses, because an infinitely growing universe cannot be simulated by a Turing machine. GenzVsDeutsch: reversed: the answer to the question of the ultimate fate of the universe, based on physical facts, will also determine whether this fate can be simulated by a Turing machine. 1. David Deutsch(1997). The Fabric of Reality. London: Viking Adult._____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution. Translations: Dictionary of Arguments The note [Concept/Author], [Author1]Vs[Author2] or [Author]Vs[term] resp. "problem:"/"solution:", "old:"/"new:" and "thesis:" is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition. |
Gz I H. Genz Gedankenexperimente Weinheim 1999 Gz II Henning Genz Wie die Naturgesetze Wirklichkeit schaffen. Über Physik und Realität München 2002 |
||
Authors A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Concepts A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
