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.

Current projects

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

Completed Projects

 * Equivalence of Definitions of Riemann and Darboux Integrals