Properties (77)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Mathematician
Philosopher |
| gptkbp:almaMater |
gptkb:University_of_Paris
|
| gptkbp:associatedWith |
gptkb:Harvard_University
|
| gptkbp:awards |
Fellow_of_the_American_Academy_of_Arts_and_Sciences
|
| gptkbp:birthDate |
1903-01-01
|
| gptkbp:contribution |
Translation of mathematical texts
|
| gptkbp:deathDate |
1986-01-01
|
| gptkbp:field |
gptkb:Continental_philosophy
Artificial intelligence Cognitive science Epistemology Hermeneutics Mathematics Model theory Phenomenology Philosophy of time Set theory Analytic philosophy Computability theory Existentialism Philosophy of language Philosophy of law Philosophy of religion Philosophy of science Post-structuralism Pragmatism Semiotics History of mathematics Philosophy of mathematics Philosophy of mind Structuralism Proof theory Deconstruction Philosophy of nature Philosophy of education Philosophy of art Mathematical foundations Philosophy of technology Philosophy of economics Philosophy of logic Philosophy of space Philosophy of history Philosophy of music Philosophy of action Philosophy of culture Philosophy of politics Philosophy of film Philosophy of literature Philosophy of mathematics education Philosophy of science education Critical rationalism Philosophy of sport Philosophy of art education Metamathematics Philosophy of technology education Philosophy of film education Philosophy of literature education Philosophy of music education Philosophy of sport education |
| https://www.w3.org/2000/01/rdf-schema#label |
Paul van Heijenoort
|
| gptkbp:influenced |
gptkb:W._V._O._Quine
|
| gptkbp:influencedBy |
gptkb:Gottlob_Frege
gptkb:David_Hilbert |
| gptkbp:knownFor |
Philosophical logic
History of logic |
| gptkbp:language |
Dutch
English French |
| gptkbp:nationality |
French
|
| gptkbp:notableAlumni |
Formalism in mathematics
|
| gptkbp:notableWork |
From Frege to Gödel
|
| gptkbp:occupation |
Logician
|
| gptkbp:placeOfBirth |
gptkb:Amsterdam
|
| gptkbp:placeOfDeath |
gptkb:Cambridge,_Massachusetts
|
| gptkbp:researchFocus |
Mathematical logic
|
| gptkbp:spouse |
gptkb:Margaret_van_Heijenoort
|