Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Stanley_Tennenbaum> ?p ?o }
Showing triples 1 to 63 of
63
with 100 triples per page.
- Stanley_Tennenbaum 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.".
- Stanley_Tennenbaum birthDate "1927-04-11".
- Stanley_Tennenbaum birthYear "1927".
- Stanley_Tennenbaum deathDate "2005-05-04".
- Stanley_Tennenbaum deathYear "2005".
- Stanley_Tennenbaum wikiPageExternalLink 18.pdf.
- Stanley_Tennenbaum wikiPageExternalLink Tennenbaum.
- Stanley_Tennenbaum wikiPageID "33807699".
- Stanley_Tennenbaum wikiPageLength "1781".
- Stanley_Tennenbaum wikiPageOutDegree "11".
- Stanley_Tennenbaum wikiPageRevisionID "646501411".
- Stanley_Tennenbaum wikiPageWikiLink Akihiro_Kanamori.
- Stanley_Tennenbaum wikiPageWikiLink Category:1927_births.
- Stanley_Tennenbaum wikiPageWikiLink Category:2005_deaths.
- Stanley_Tennenbaum wikiPageWikiLink Category:20th-century_American_mathematicians.
- Stanley_Tennenbaum wikiPageWikiLink Category:21st-century_American_mathematicians.
- Stanley_Tennenbaum wikiPageWikiLink Computability_theory.
- Stanley_Tennenbaum wikiPageWikiLink Countable_set.
- Stanley_Tennenbaum wikiPageWikiLink Logic.
- Stanley_Tennenbaum wikiPageWikiLink Non-standard_model_of_arithmetic.
- Stanley_Tennenbaum wikiPageWikiLink Peano_axioms.
- Stanley_Tennenbaum wikiPageWikiLink Tennenbaums_theorem.
- Stanley_Tennenbaum wikiPageWikiLinkText "Stanley Tennenbaum".
- Stanley_Tennenbaum wikiPageWikiLinkText "Tennenbaum".
- Stanley_Tennenbaum wikiPageWikiLinkText "Tennenbaum, Stanley".
- Stanley_Tennenbaum dateOfBirth "1927-04-11".
- Stanley_Tennenbaum dateOfDeath "2005-05-04".
- Stanley_Tennenbaum name "Tennenbaum, Stanley".
- Stanley_Tennenbaum shortDescription "American mathematician".
- Stanley_Tennenbaum wikiPageUsesTemplate Template:Persondata.
- Stanley_Tennenbaum wikiPageUsesTemplate Template:Reflist.
- Stanley_Tennenbaum wikiPageUsesTemplate Template:US-mathematician-stub.
- Stanley_Tennenbaum description "American mathematician".
- Stanley_Tennenbaum description "American mathematician".
- Stanley_Tennenbaum subject Category:1927_births.
- Stanley_Tennenbaum subject Category:2005_deaths.
- Stanley_Tennenbaum subject Category:20th-century_American_mathematicians.
- Stanley_Tennenbaum subject Category:21st-century_American_mathematicians.
- Stanley_Tennenbaum hypernym Mathematician.
- Stanley_Tennenbaum type Agent.
- Stanley_Tennenbaum type Person.
- Stanley_Tennenbaum type Scientist.
- Stanley_Tennenbaum type Person.
- Stanley_Tennenbaum type Mathematician.
- Stanley_Tennenbaum type Scientist.
- Stanley_Tennenbaum type Agent.
- Stanley_Tennenbaum type NaturalPerson.
- Stanley_Tennenbaum type Thing.
- Stanley_Tennenbaum type Q215627.
- Stanley_Tennenbaum type Q5.
- Stanley_Tennenbaum type Person.
- Stanley_Tennenbaum 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.".
- Stanley_Tennenbaum label "Stanley Tennenbaum".
- Stanley_Tennenbaum sameAs Q2331815.
- Stanley_Tennenbaum sameAs Stanley_Tennenbaum.
- Stanley_Tennenbaum sameAs m.0hhwd2h.
- Stanley_Tennenbaum sameAs Q2331815.
- Stanley_Tennenbaum wasDerivedFrom Stanley_Tennenbaum?oldid=646501411.
- Stanley_Tennenbaum givenName "Stanley".
- Stanley_Tennenbaum isPrimaryTopicOf Stanley_Tennenbaum.
- Stanley_Tennenbaum name "Stanley Tennenbaum".
- Stanley_Tennenbaum name "Tennenbaum, Stanley".
- Stanley_Tennenbaum surname "Tennenbaum".