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=ZZZ}}

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
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
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

WikiProject Mathematics : Wikipedia 1.0 (Talk) v • d • e
Assessment pages: General • Basics • Analysis • Algebra • Applied • Discrete • Foundations and logic Geometry and Topology • Mathematical physics • Number theory • Probability and statistics Theorems and Conjectures • Mathematicians
Other: Mathematics articles by quality (statistics - log - category - articles by importance) Grading scheme • Maths rating template