Wikipedia:WikiProject Mathematics/Wikipedia 1.0/Foundations and mathematical logic
From Wikipedia, the free encyclopedia
Use
{{maths rating|class=XXX|importance=YYY|field=foundations|comment= ~~~~}}
| Article | Need | Quality | Comments | Updated | Template |
|---|---|---|---|---|---|
| Set theory | Top | Start | better overview of major topics, plus information on history and motivation. | Tompw - 6 Oct 2006 | Y |
| Mathematical logic | Top | Start | better overview of logic besides first order logic, more thorough history, the technical reference should be split out | CMummert - 5 Oct 2006 | Y |
| Mathematical proof | Top | Start | A Vital Article, current maths collaboration of the week | User:Salix alba - 6 Oct 2006 | Y |
| Set | Top | B | A good article, but lacking on history of the concept, modern interpretations. Naive set theory seems to overlap quite a bit. | CMummert - 5 Oct 2006 | Y |
| Logic | Top | B+ | To do list on talk page. Potential GA nominee | Tompw 12:10, 8 October 2006 (UTC) | Y |
| Foundations of mathematics | High | Start | This article is just an outline, but it could be expanded to a more thorough description. That is, there are a lot of references but the content is shallow. | CMummert - 5 Oct 2006 | Y |
| Vacuous truth | Mid | B+ | . | Y | |
| Naive set theory | High | Start | This is really a B- but there is no such rating. There is significant overlap with Set. Topics such as ordinals and transfinite induction should be covered (Halmos covers them). | CMummert - 5 Oct 2006 | Y |
| Axiomatic set theory | High | B | The prose is sometimes choppy or unnatural. There is no discussion of why ZFC is the most common set of axioms. The other classical paradoxes might be worth mentioning. | CMummert - 5 Oct 2006 | Y |
| Axiom of choice | High | B | With some work this could be A-class. Detailed comments left on talk page. | CMummert - 5 Oct 2006 | Y |
| Hilbert's paradox of the Grand Hotel | Mid | Start | Lead is to long, could do with some illustrations | Y | |
| Model theory | Mid | Start | Detailed comments left on talk page | CMummert 2006-10-25 | Y |
| Category theory | Mid | B+ | Candidate for A-class. Detailed comments left on talk page. | CMummert 2006-10-25 | Y |
| Proof theory | Mid | B+ | Detailed comments left on talk page | CMummert 2006-10-25 | Y |
| Recursion theory | Mid | ||||
| Intuitionism | Mid | Start | Detailed comments left on talk page | CMummert 2006-10-25 | Y |
| Philosophy of mathematics | Mid | ||||
| Ordinal number | Mid | ||||
| Cardinal number | Mid | ||||
| Topos theory | Low | ||||
| Constructivism | Low | ||||
| Reverse mathematics | Low | ||||
| Hyperreal number | Low | ||||
| Surreal number | Low | ||||
| Continuous predicate | Low | Stub | . | Tompw 15:15, 20 November 2006 (UTC) | Y |
| Bar induction | Low | Start | Needs general expansion, motivation, examples | Tompw 16:01, 20 November 2006 (UTC) | Y |
| Triangulated category | Low | B | more on history, motivation and applications | Tompw 15:29, 20 November 2006 (UTC) | Y |
|
Assessment pages: General • Basics • Analysis • Algebra • Applied • Discrete • Foundations and set theory |
||
|
Other: Mathematics articles by quality (statistics - log - category - articles by importance) |
||
