Mathematical Formalism

GPTKB entity

Statements (28)
Predicate Object
gptkbp:instanceOf gptkb:logic
gptkbp:aimsTo provide foundation for all mathematics
gptkbp:associatedWith gptkb:David_Hilbert
gptkb:Haskell_Curry
gptkbp:contrastsWith gptkb:Platonism
gptkb:Intuitionism
gptkb:Logicism
gptkbp:criticizedFor gptkb:Gödel's_incompleteness_theorems
gptkb:Kurt_Gödel
gptkbp:emergedIn late 19th century
gptkbp:focusesOn formal systems
mathematical symbols
rules of manipulation
gptkbp:hasViewOf mathematics as game with rules
https://www.w3.org/2000/01/rdf-schema#label Mathematical Formalism
gptkbp:influenced computer science
proof theory
development of formal logic
gptkbp:influencedBy gptkb:set_theory
19th century mathematics
gptkbp:mainProponent gptkb:David_Hilbert
gptkbp:relatedTo formal semantics
axiomatic systems
syntactic rules
gptkbp:state mathematical statements have no inherent meaning
mathematics is manipulation of symbols
gptkbp:bfsParent gptkb:Formalism
gptkbp:bfsLayer 5