5 Questions 48 Answers 0 Followers
Questions related from Yinsheng Zhang
Turing thought Godel number is not computed by Turing Machine (TM, say "computer" in Turing's paper ). And some functions such as the Diagonal Function (as Cantor showed) are found uncomputabke by...
10 October 2014 7,266 17 View
Why two counters can simulate a stack? Dear colleagues: It is shown that Minsky Counter Machine can simulate a Turing machine , for two counters can simulate a stack (a half tape in Turing...
09 September 2014 2,377 2 View
Dear colleagues: It is shown that Minsky Counter Machine can simulate a Turing machine , for two counters can simulate a stack (a half tape in Turing machine). If 1 pushed in the stack, then...
09 September 2014 3,139 0 View
Some books say that a function can be Turing-computed if and only if it is a Mu-recursive function [1] . So Ackermann function should be Mu-recursive,Here,Mu-recursive is defined by primary...
09 September 2014 7,854 24 View
For example,what is transfinite number, what is infinite number ?
07 July 2014 5,205 2 View
