Foundations of Mathematics from the Perspective of Computer Verification (Q5261836)
From MaRDI portal
scientific article; zbMATH DE number 6456496
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Foundations of Mathematics from the Perspective of Computer Verification |
scientific article; zbMATH DE number 6456496 |
Statements
Foundations of Mathematics from the Perspective of Computer Verification (English)
0 references
8 July 2015
0 references
term rewrite systems
0 references
type theory
0 references
category theory
0 references
computer algebra
0 references
formal systems
0 references
formalism
0 references
logicism
0 references
Platonism
0 references
intuitionism
0 references
calculism
0 references
