User:CircuitCraft

I am a high-school student with a strong (borderline obsessive) interest in mathematics of every kind.

My contributions will be sporadic and diverse, with little overall direction. There are still some specific theorems I would like to see on, and I will (probably) eventually add them.

I will often attempt to contribute to fields of which I am not very familiar, by extrapolating from existing pages on this website and checking out books from the Internet Archive to use as sources. If I make a mistake, please correct it; I can handle constructive criticism.

Computability theory

 * Nondeterministic Turing Machine Reduces to Turing Machine
 * Provability is Turing Computable - via nondeterministic proof generation
 * Recursive Set Reduces to Turing Machine - via provability
 * This is a nonstandard way of doing this proof, but I think it's a really cool one. We can put in a "normal" proof as well.

Non-Active Projects

 * Von Neumann-Bernays-Gödel Set Theory is Conservative Extension of Zermelo-Fraenkel Set Theory

Completed Projects

 * Equivalence of Definitions of Riemann and Darboux Integrals
 * Multitape Turing Machine Reduces to Turing Machine