User:CRGreathouse

	I, the author, hereby waive all claim of copyright in all content I contribute in the manner described below, and place all such contributions into the public domain; I grant anyone the right to use my work for any purpose, without any conditions.
Content released: All contributions to Wikipedia not including those in my user namespace, and all modifications in my user namespace before 2006-07-14.

Skills

{\begin{array}{r}\zeta (s)=0\\\Re (s)={\frac {1}{2}}\end{array}}

This user is an expert mathematician.

C

This user can program in C.

C#

This user can program in C#.

C++

This user can program in C++.

java

This user can program in java.

JS

This user can program in JavaScript.

Perl

This user can program in Perl.

py

This user can program in Python.

LaTeX

This user can typeset using LaTeX.

Interests

Mathematics

Number theory: analytic (multiplicative and additive), algebraic, and general
Computational mathematics, including numerical analysis
Set theory and reverse mathematics: ZF, KPU, NBG, MK, GST
Cramér's conjecture
Wikipedia:Requested articles/Mathematics/Category:Mathematics articles needing expert attention
Unsolved problems in mathematics
Ex falso quodlibet
A=B
Lagrange interpolating polynomial
Tarski–Seidenberg theorem vs. Richardson's theorem
Jordan–Hölder theorem
List of numbers#Numbers not known with high precision
Risch algorithm etc.

Economics

Efficient market hypothesis
Kemeny-Young method
Black's theorem/Hotelling's law

Pigouvian tax
Price of anarchy

Computer science

Quantum

Holevo's theorem; superdense coding and quantum teleportation; quantum fingerprinting
Quantum error correction: [[5,1,3]] stabilizer code; [[7,1,3]] code; toric code and surface code; low-density parity-check code

Political science

Polarity (international relations)
Social choice theory
Government secrecy especially in the US and UK

Other

Wikipedia

Programming

As in the userboxes, plus:

Web design languages like
CSS
Esolangs like BF/P′′
Fun languages like Forth and Scheme

"Doesn't matter" results

Characterization/Impossibility results

Take a collection of properties; at least one of them must be false. In principle, all theorems can be rewritten in such a form, but some are more striking in this form. These are antinomies or (in Quine's terminology) veridical paradoxes.