From Mathematics to Philosophy

E1045582

From Mathematics to Philosophy is a philosophical work by logician Hao Wang that explores the foundational and conceptual implications of modern mathematics for broader philosophical inquiry.

All labels observed (1)

Label Occurrences
From Mathematics to Philosophy canonical 2

How this entity was disambiguated

Statements (41)

Predicate Object
instanceOf book ⓘ
philosophical work ⓘ
aimsTo bridge mathematics and general philosophy ⓘ
clarify philosophical significance of modern mathematical results ⓘ
author Hao Wang ⓘ
Wang Hao ⓘ
countryOfOrigin United States ⓘ
discusses Platonism in mathematics ⓘ
constructivism in mathematics ⓘ
formalism in mathematics ⓘ
foundational programs in mathematics ⓘ
explores implications of modern mathematics for philosophy ⓘ
limits of formalization ⓘ
nature of mathematical knowledge ⓘ
relationship between mathematical practice and philosophical theory ⓘ
role of logic in philosophy ⓘ
field logic ⓘ
philosophy of logic ⓘ
philosophy of science ⓘ
focusesOn conceptual foundations of mathematics ⓘ
interaction between mathematics and philosophy ⓘ
genre analytic philosophy ⓘ
philosophy of mathematics ⓘ
hasAuthorOccupation logician ⓘ
philosopher ⓘ
hasPart chapters on computability ⓘ
chapters on philosophical methodology ⓘ
chapters on proof theory ⓘ
chapters on set theory ⓘ
influencedBy Kurt Gödel ⓘ
modern mathematical logic ⓘ
language English ⓘ
mainSubject Gödel’s incompleteness theorems ⓘ
conceptual analysis of mathematics ⓘ
formal systems ⓘ
foundations of mathematics ⓘ
logic ⓘ
mathematical truth ⓘ
philosophy ⓘ
set theory ⓘ
philosophicalTradition analytic philosophy of mathematics ⓘ

How these facts were elicited

Referenced by (2)

Full triples — surface form annotated when it differs from this entity's canonical label.

Hao Wang → notableWork → From Mathematics to Philosophy ⓘ