> though it can be made arbitrarily large by an implementation Yes, this is my entire point Why should I care what the language specification states in a com

> though it can be made arbitrarily large by an implementation Yes, this is my entire point Why should I care what the language specification states in a computability theory discussion? There only needs to exist a method to accomplish our goal-Whether the method conforms to specification or not doesn't seem relevant to me.