Αναρτήσεις

Προβολή αναρτήσεων από Φεβρουάριος, 2012

Turing's Thesis and a More General Physical Principle

Recently, Matthew P. Szudzik posted an article to the arXiv
 server that is entitled "Is Turing's Thesis the Consequence of a More General Physical Principle?" Szudzik ivnestigates Robert Rosen’s hypotheses, which were put forth in "Church’s thesis and its relation to the concept of realizability in biology and physics". Roughly, one can say that these hypotheses state that the universe is discrete, deterministic, and computable.  A direct consequence of these hypotheses is the Church-Turing Thesis. Szudzik recognizes that these hypptheses are not correct and, thus, one needs to reformulate them:
This sort of reformulation was first attempted by Konrad Zuse [18, 19] in the 1960’s. Since then, increasingly sophisticated attempts have been made by Edward Fredkin [3] and Stephen Wolfram [17]. In contrast, Roger Penrose [9, 10] has speculated that the universe might not be computable, but efforts to find experimental evidence for this assertion have not succeeded.
U…