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.

CThis user can program in C.

C#This user can program in C#.

C++This user can program in C++.

javaThis user can program in java.

JSThis user can program in JavaScript.

PerlThis user can program in Perl.

pyThis user can program in Python.

LaTeXThis 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
• Fundamental theorem of arithmetic generalized by the Jordan–Hölder theorem
• List of numbers#Numbers not known with high precision
• Risch algorithm etc.

Economics

• Efficient market hypothesis
• Kemeny-Young method
• Duverger's law/Black's theorem/Hotelling's law
• Pigouvian tax
• Price of anarchy

Computer science

• Computational complexity of mathematical operations
• Limits of computation: Bekenstein bound, Bremermann's limit, Landauer's principle

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

• Typeface anatomy
• Linguistic typology; theoretical linguistics; computational and corpus linguistics

Wikipedia

• Wikipedia grep
• PetScan (Wikipedia category search)
• Help:Magic words
• Interwiki linking
• User:Eubot/Hatnote formatting

Programming

As in the userboxes, plus:

• Web design languages like HTML, JavaScript, PHP, and CSS
• Esolangs like BF/P′′
• Fun languages like Forth and Scheme

"Doesn't matter" results

• Modigliani–Miller theorem
• Ricardian equivalence
• Coase theorem

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.

• Arrow's theorem: "Good" voting systems can't be IIA.
• Gibbard–Satterthwaite theorem: "Good" voting systems can be manipulated (unique winner).
• Duggan–Schwartz theorem: "Good" voting systems can be manipulated (winning set).
• Fundamental theorems of welfare economics
• Holmström's theorem
• Abel–Ruffini theorem
• Gödel's incompleteness theorems

Top algorithms of the 20th century

Barry A. Cipra, The Best of the 20th Century: Editors Name Top 10 Algorithms, SIAM News, 33:4.

1. Monte Carlo method, 1946
2. simplex method for linear programming, 1947
3. Krylov subspace iteration methods, 1950
4. decompositional approach to matrix computations, 1951
5. Fortran optimizing compiler, 1957
6. QR algorithm, 1959–61
7. Quicksort, 1962
8. fast Fourier transform, 1965
9. integer relation detection algorithm, 1977
10. fast multipole algorithm, 1987

Pages I made

Among others:

1. Chocho language
2. Eggon language
3. Manam language
4. Shubi language
5. Coatlán Zapotec language
6. Landau set
7. Peyton Young
8. Duggan-Schwartz theorem
9. John H. Smith (mathematician)
10. Karatsuba algorithm
11. Quasitransitive relation
12. Saraveca
13. Double exponential function
14. ALL (complexity)

Total or near-total rewrites

1. Tradable (old)
2. May's theorem (old)
3. Dickman-de Bruijn function‎ (old)

Working pages

• User:CRGreathouse/Arrow
• User:CRGreathouse/Large and small sets

Miscellaneous

This section is for my note-taking and random links.

• Ramanujan papers and notebooks (see also [1])
• ISO 639-3 codes on SIL and ISO 639-2 codes on LoC
• Things I forget: Emotive conjugation, Jeffreys prior = pseudocount of 1/2 (see additive smoothing), smoothing via Newton–Cotes
• Location: Observable universe, Pisces–Cetus Supercluster Complex, Virgo Supercluster, Local Volume, Local Sheet, Local Group, Milky Way, Orion Arm, Local Bubble, Local Interstellar Cloud, Solar System, Earth, North America