Statements (11)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:philosopher
|
| gptkbp:academicAdvisor |
gptkb:John_McCarthy
|
| gptkbp:affiliation |
gptkb:Carnegie_Mellon_University
|
| gptkbp:birthPlace |
gptkb:Germany
|
| gptkbp:field |
logic
|
| https://www.w3.org/2000/01/rdf-schema#label |
Wilfried Sieg
|
| gptkbp:influenced |
computer science
|
| gptkbp:influencedBy |
gptkb:Gottlob_Frege
|
| gptkbp:knownFor |
philosophy of mathematics
|
| gptkbp:notableWork |
Formalism in Mathematics
|
| gptkbp:researchFocus |
computational logic
|