User:CMummert

From Wikipedia, the free encyclopedia

Contents 1 About me 2 Categories 3 WikiProject Mathematics 4 Pages that require attention

[edit] About me

I am a professional mathematician; my research is in mathematical logic. I started working on Wikipedia 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

[edit] WikiProject Mathematics

• Wikipedia:WikiProject Mathematics • Talk
• Wikipedia:WikiProject Mathematics/Current activity
• Wikipedia:Pages needing attention/Mathematics/Lists
• User:Mathbot/Changes to mathlists
• Unreferenced math articles by category and name
• Old pages that have not been edited for a long time

[edit] Pages that require attention

Complete numbering Computably isomorphic Finitary Gödel's incompleteness theorems Hilbert-style calculi Hyperarithmetical hierarchy Hyperarithmetical theory Indeterminate form

Many-one degree Numbering (computability theory) Primitive recursive arithmetic Primitive recursive function Proof sketch for Gödel's first incompleteness theorem Productive set Truth table reduction

Some references are at User:CMummert/Bibliography.

My /monobook.css and /monobook.js have modifications I find useful.

Wikipedia:Template messages/User talk namespace

User:Addhoc