VI.—ON FORMALIZATION

DOI10.1093/mind/LXIV.254.226zbMath0067.24901OpenAlexW2084713439MaRDI QIDQ3228597

Hao Wang

Publication date: 1955

Published in: Mind (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/mind/lxiv.254.226

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (4)

Informal proofs and mathematical rigour ⋮ Philosophical Logic = Philosophy + Logic? ⋮ The Significance of a Categoricity Theorem for Formal Theories and Informal Beliefs ⋮ Formal methods in the philosophy of science

This page was built for publication: VI.—ON FORMALIZATION