Theory (mathematics)/Related Articles: Difference between revisions
Jump to navigation
Jump to search
imported>Boris Tsirelson (Mathematics, Proof) |
imported>Boris Tsirelson (→Other related topics: Mizar (software)) |
||
| (3 intermediate revisions by the same user not shown) | |||
| Line 18: | Line 18: | ||
{{r|Proof (mathematics)}} | {{r|Proof (mathematics)}} | ||
{{r|Set theory}} | |||
==Other related topics== | ==Other related topics== | ||
<!-- List topics here that are related to this topic, but neither wholly include it nor are wholly included by it. --> | <!-- List topics here that are related to this topic, but neither wholly include it nor are wholly included by it. --> | ||
{{r|Mathematical notation}} | |||
{{r|Instruction set architecture}} | |||
{{r|Mizar (software)}} | |||
Latest revision as of 14:51, 11 May 2010
- 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]
- Mathematical notation [r]: A system of symbolic representations of mathematical objects and ideas. [e]
- Mizar (software) [r]: A software package for automated verification of mathematical definitions and proofs. [e]