Theory (mathematics)/Related Articles

From Citizendium
< Theory (mathematics)
Revision as of 14:51, 11 May 2010 by imported>Boris Tsirelson (→‎Other related topics: Mizar (software))
Jump to navigation Jump to search
This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
A list of Citizendium articles, and planned articles, about Theory (mathematics).
See also changes related to Theory (mathematics), or pages that link to Theory (mathematics) or to this page or whose text contains "Theory (mathematics)".


Parent topics

  • Mathematics [r]: The study of quantities, structures, their relations, and changes thereof. [e]

Subtopics

  • Proof (mathematics) [r]: A sequence of arguments which establishes that some mathematical statement is implied by a certain set of assumptions. [e]
  • Set theory [r]: Mathematical theory that models collections of (mathematical) objects and studies their properties. [e]

Other related topics

  • Mizar (software) [r]: A software package for automated verification of mathematical definitions and proofs. [e]