User:CMummert

From Wikipedia, the free encyclopedia

Contents 1 About me 2 Categories 3 Wikipedia Mathematics Project 4 Pages I am interested in

[edit] About me

I am a professional mathematician, with a PhD in mathematics. My research is in mathematical logic. I started working on wikipedia in order to help bring the pages related to mathematical logic to a reasonable level of correctness and completeness, because they are often returned by search engines as the first result of a search.

I prefer comments about wikipedia to be placed on my talk page, but you may send me email by clicking the link in this sentence.

[edit] Categories

• Category:Recursion_theory
• Category:Mathematical_logic
• Category:Mathematics
• Category:Effective descriptive set theory
• User:CMummert/Unreferenced articles by category

[edit] Wikipedia Mathematics Project

• Wikipedia:WikiProject Mathematics • Talk
• Wikipedia:WikiProject Mathematics/Current activity
• Wikipedia:Pages needing attention/Mathematics/Lists

[edit] Pages I am interested in

Complete numbering Computably isomorphic Course-of-value recursion Gödel's incompleteness theorems Hilbert-style calculi Hyperarithmetical hierarchy Hyperarithmetical theory Many-one degree Mass problem

Mu calculus Numbering (computability theory) Post correspondence problem Primitive recursive arithmetic Primitive recursive function * Productive set Post's theorem S-m-n theorem Truth table reduction

Some references are at User:CMummert/Bibliography.