Between Russell and Hilbert: Behmann on the Foundations of Mathematics (Q4940734)
From MaRDI portal
scientific article; zbMATH DE number 1406827
Language | Label | Description | Also known as |
---|---|---|---|
English | Between Russell and Hilbert: Behmann on the Foundations of Mathematics |
scientific article; zbMATH DE number 1406827 |
Statements
Between Russell and Hilbert: Behmann on the Foundations of Mathematics (English)
0 references
15 August 2000
0 references
Hilbert's program
0 references
foundations
0 references
type theory
0 references
axiom of reducibility
0 references
Cantor's paradox
0 references
context principle
0 references
individuals
0 references
propositional functions
0 references
classes
0 references
aprioricity
0 references
fictions
0 references
metamathematics
0 references
Entscheidungsproblem
0 references
no-class theory
0 references