Formal Mathematical System: Difference between revisions
Jump to navigation
Jump to search
m (Text replacement - "]]↵*" to "]]. *") |
No edit summary |
||
| Line 11: | Line 11: | ||
** an [[Algebraic System]]. | ** an [[Algebraic System]]. | ||
** a [[Mathematical Modell]]. | ** a [[Mathematical Modell]]. | ||
** an [[Abstract Rewriting System (ARS)]]. | |||
** … | ** … | ||
* <B>Counter-Example(s):</B> | * <B>Counter-Example(s):</B> | ||
Revision as of 18:27, 25 April 2024
A Formal Mathematical System is a formal system composed of a mathematical language and mathematical operation set to create mathematical arguments.
- AKA: Theory, Math Formalism, Framework.
- Context:
- It can include a set of valid Mathematical Operations.
- It can be an Axiomatic Mathematical Framework.
- It can be analyzed by Theoretical Mathematics.
- It can be represented by a Mathematical Software Program.
- …
- Example(s):
- Counter-Example(s):
- See: Set System, Sigma Algebra.