Here are random musings on various subjects. Comments are welcome - all this stuff is just ideas and thoughts, and I'd love to hear your opinion!
These are some thoughts I had last night while staying up far too late thinking about this!
co-NP and NP morally use the same resources (including time) on non-deterministic Turing machines, but you need a metasystem to do it.
Some pretty out-there stuff about procedures having derivatives ...