>>123
Right, we must require abstract mathematics to conform to the discretely observable physical reality, but we can permit a physical thing to violate the conservation laws.
Self-directed tape production is meta-circular in concept.
Name:
Anonymous2012-10-23 0:06
Linear bounded automatons can represent the evaluation of a meta-circular evaluator over a finite number of steps.
Our Universe has a definitive and thus finitistic bound in terms of entropic progression.
Name:
Anonymous2012-10-23 0:50
>>124
Most people would agree that it isn't possible to implement a touring machine in reality. I was just trying to make the unboundedness of the tape more intuitive for a Finitist