Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q2331815> ?p ?o }
Showing triples 1 to 43 of
43
with 100 triples per page.
- Q2331815 description "American mathematician".
- Q2331815 description "American mathematician".
- Q2331815 subject Q15136896.
- Q2331815 subject Q6547526.
- Q2331815 subject Q6647300.
- Q2331815 subject Q8205185.
- Q2331815 abstract "Stanley Tennenbaum (April 11, 1927 – May 4, 2005) was an American mathematician who contributed to the field of logic. In 1959, he published Tennenbaum's theorem, which states that no countable nonstandard model of Peano arithmetic (PA) can be recursive, i.e. the operations + and × of a nonstandard model of PA are not recursively definable in the + and × operations of the standard model.".
- Q2331815 birthDate "1927-04-11".
- Q2331815 birthYear "1927".
- Q2331815 deathDate "2005-05-04".
- Q2331815 deathYear "2005".
- Q2331815 wikiPageExternalLink 18.pdf.
- Q2331815 wikiPageExternalLink Tennenbaum.
- Q2331815 wikiPageWikiLink Q15136896.
- Q2331815 wikiPageWikiLink Q185478.
- Q2331815 wikiPageWikiLink Q2226803.
- Q2331815 wikiPageWikiLink Q3318130.
- Q2331815 wikiPageWikiLink Q418106.
- Q2331815 wikiPageWikiLink Q6547526.
- Q2331815 wikiPageWikiLink Q6647300.
- Q2331815 wikiPageWikiLink Q8078.
- Q2331815 wikiPageWikiLink Q818930.
- Q2331815 wikiPageWikiLink Q8205185.
- Q2331815 wikiPageWikiLink Q842755.
- Q2331815 dateOfBirth "1927-04-11".
- Q2331815 dateOfDeath "2005-05-04".
- Q2331815 name "Tennenbaum, Stanley".
- Q2331815 shortDescription "American mathematician".
- Q2331815 type Person.
- Q2331815 type Agent.
- Q2331815 type Person.
- Q2331815 type Agent.
- Q2331815 type NaturalPerson.
- Q2331815 type Thing.
- Q2331815 type Q215627.
- Q2331815 type Q5.
- Q2331815 type Person.
- Q2331815 comment "Stanley Tennenbaum (April 11, 1927 – May 4, 2005) was an American mathematician who contributed to the field of logic. In 1959, he published Tennenbaum's theorem, which states that no countable nonstandard model of Peano arithmetic (PA) can be recursive, i.e. the operations + and × of a nonstandard model of PA are not recursively definable in the + and × operations of the standard model.".
- Q2331815 label "Stanley Tennenbaum".
- Q2331815 givenName "Stanley".
- Q2331815 name "Stanley Tennenbaum".
- Q2331815 name "Tennenbaum, Stanley".
- Q2331815 surname "Tennenbaum".