Remarks on the Foundations of Mathematics
GPTKB entity
Properties (65)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
book
|
| gptkbp:author |
gptkb:W._V._O._Quine
|
| gptkbp:citedBy |
philosophers
|
| gptkbp:contains |
historical context
critical analysis essays philosophical_arguments |
| gptkbp:contributedTo |
philosophy of language
analytic philosophy |
| gptkbp:discusses |
gptkb:Gödel's_incompleteness_theorems
gptkb:Hilbert's_program set theory mathematical modeling philosophy of science mathematical education mathematical logic mathematical reasoning mathematical research Turing machines axiomatic set theory axiomatic systems mathematical models mathematical structures mathematical community computability formal systems scientific methodology mathematical induction logical positivism mathematical problem-solving philosophical skepticism mathematical creativity mathematical visualization mathematical consistency philosophical idealism philosophical naturalism set-theoretic paradoxes empirical science philosophical realism mathematical collaboration mathematical applications mathematical abstraction mathematical completeness mathematical practice philosophical materialism philosophical implications of mathematics mathematical deduction nominalism in mathematics ontological commitments realism in mathematics theoretical science |
| gptkbp:explores |
mathematical knowledge
mathematical proof mathematical intuition mathematical existence mathematical truth |
| https://www.w3.org/2000/01/rdf-schema#label |
Remarks on the Foundations of Mathematics
|
| gptkbp:influenced |
computer science
mathematical logic |
| gptkbp:ISBN |
978-0674002023
|
| gptkbp:language |
English
|
| gptkbp:pageCount |
200
|
| gptkbp:publishedIn |
1960
|
| gptkbp:publisher |
gptkb:Harvard_University_Press
|
| gptkbp:subject |
philosophy of mathematics
|