Formal Mathematical System: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| Line 11: | Line 11: | ||
** an [[Algebraic System]]. | ** an [[Algebraic System]]. | ||
** a [[Mathematical Modell]]. | ** a [[Mathematical Modell]]. | ||
** an [[Abstract Rewriting System (ARS)]]. | ** an [[Abstract Rewriting System (ARS)]], such as [[string rewriting system]]s. | ||
** … | ** … | ||
* <B>Counter-Example(s):</B> | * <B>Counter-Example(s):</B> | ||
Latest revision as of 18:34, 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):
- an Arithmetic System.
- an Algebraic System.
- a Mathematical Modell.
- an Abstract Rewriting System (ARS), such as string rewriting systems.
- …
- Counter-Example(s):
- See: Set System, Sigma Algebra.