Hermann Weyl's Intuitionistic Mathematics

DOI10.2307/421038zbMath0858.03007OpenAlexW2040123936MaRDI QIDQ4847387

Dirk van Dalen

Publication date: 17 March 1997

Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0102-toc.htm

zbMATH Keywords

HilbertformalismBrouwerintuitionismWeyl

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Schools of mathematics (01A72) Intuitionistic mathematics (03F55)

Related Items

Hermann Weyl, the reluctant revolutionary ⋮ Hilbert's Programs: 1917–1922 ⋮ Living mathematics: Poincaré and Weyl in context ⋮ Brouwer and Fraenkel on Intuitionism ⋮ Theoretical construction in physics -- the role of Leibniz for Weyl's `Philosophie der Mathematik und Naturwissenschaft'

Cites Work

• Unnamed Item
• Unnamed Item
• Constructivism in mathematics. An introduction. Volume II
• Zur Deutung der intuitionistischen Logik
• A remark on free choice sequences and the topological completeness proofs
• Mathematics and Logic