Properties (63)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Logician
Mathematician |
| gptkbp:almaMater |
gptkb:University_of_Paris
|
| gptkbp:awards |
Fellow_of_the_American_Mathematical_Society
Fellow_of_the_American_Academy_of_Arts_and_Sciences |
| gptkbp:birthDate |
1912-01-01
|
| gptkbp:birthPlace |
gptkb:Paris,_France
|
| gptkbp:children |
2
|
| gptkbp:deathDate |
2010-01-01
|
| gptkbp:deathPlace |
gptkb:Cambridge,_Massachusetts,_USA
|
| gptkbp:field |
Mathematics
Philosophy |
| https://www.w3.org/2000/01/rdf-schema#label |
Jean van Heijenoort
|
| gptkbp:influenced |
Artificial intelligence
Cognitive science Computer science Formal semantics Linguistics Mathematical logic Model theory Set theory Computability theory Information theory Philosophy of language Philosophy of law Philosophy of religion Philosophy of science History of mathematics Philosophy of mathematics Philosophy of mind Proof theory Philosophy of education Philosophy of art Philosophy of technology Philosophy of economics Philosophy of logic Philosophy of history Philosophy of action Philosophy of culture Philosophy of politics Philosophy of ethics Philosophy of aesthetics Philosophy of social science Mathematical philosophy Philosophy of language education Philosophy of mathematics education History of logic Philosophy of politics education |
| gptkbp:influencedBy |
gptkb:Gottlob_Frege
gptkb:Bertrand_Russell gptkb:David_Hilbert Kurt Gödel |
| gptkbp:knownFor |
History of logic
|
| gptkbp:nationality |
French
|
| gptkbp:notableFeature |
gptkb:Jean-Yves_Girard
|
| gptkbp:notableWorks |
The Logic of Logic
From Frege to Gödel The_Philosophy_of_Mathematics |
| gptkbp:occupation |
Professor
|
| gptkbp:spouse |
gptkb:Margaret_van_Heijenoort
|
| gptkbp:workLocation |
gptkb:University_of_California,_Berkeley
gptkb:University_of_Chicago gptkb:Brandeis_University |