If it helps any, the concept of KC is so impractical that this is probably the least of our worries.... The main important thing is that any theorem you prove w

If it helps any, the concept of KC is so impractical that this is probably the least of our worries.... The main important thing is that any theorem you prove will hold no matter which programming language/Universal TM you choose.