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 1

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 NERFINISHED
Wang Hao NERFINISHED
countryOfOrigin United States of America
surface form: 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 NERFINISHED
modern mathematical logic
language English
mainSubject Gödel’s incompleteness theorems NERFINISHED
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 (1)

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

Hao Wang notableWork From Mathematics to Philosophy