| http://dbpedia.org/ontology/abstract
|
Henry Gordon Rice (July 18, 1920 – April 1 … Henry Gordon Rice (July 18, 1920 – April 14, 2003) was an American logician and mathematician best known as the author of Rice's theorem, which he proved in his doctoral dissertation of 1951 at Syracuse University with thesis advisor Paul C. Rosenbloom. Rice was also a Professor of Mathematics at the University of New Hampshire. After 1960 he was employed by Computer Sciences Corporation in El Segundo. Rice died on April 14, 2003, in Davis, California.d on April 14, 2003, in Davis, California.
, هنري غوردون رايس (بالإنجليزية: Henry Gordon Rice) هو رياضياتي أمريكي، ولد في 18 يوليو 1920، وتوفي في 14 أبريل 2003.
, Henry Gordon Rice (1920-2003), est un logi … Henry Gordon Rice (1920-2003), est un logicien et un mathématicien connu comme étant l'auteur du théorème de Rice, qu'il prouva dans sa thèse de doctorat en 1951 à l'université de Syracuse. Il a aussi été professeur de mathématiques à l'université du New Hampshire. Après 1960, il fut employé de la Computer Sciences Corporation à El Segundo. Il a proposé un programme en Fortran codant la fonction d'Ackermann.en Fortran codant la fonction d'Ackermann.
, Henry Gordon Rice (18. července 1920 – 14. … Henry Gordon Rice (18. července 1920 – 14. dubna 2003) byl americký logik a matematik, známý zejména jako autor tří Riceových vět, klíčových vět teorie vyčíslitelnosti, poskytujících silný nástroj pro dokazování nerozhodnutelnosti problémů. Rice tyto věty dokázal v rámci své dizertační práce v roce 1951. Rice působil jako profesor matematiky na a od roku 1960 byl zaměstnán v .matiky na a od roku 1960 byl zaměstnán v .
, Henry Gordon Rice (* 18. Juli 1920; † 14. … Henry Gordon Rice (* 18. Juli 1920; † 14. April 2003) war ein Mathematiker und Logiker. Er wurde vor allem durch seine Arbeit in der Theoretischen Informatik bekannt, die schließlich zu dem nach ihm benannten Satz von Rice führte. Den Beweis hierzu gab er in seiner Dissertation 1951 an der Syracuse University. Er lehrte als Professor der Mathematik an der University of New Hampshire und war ab 1960 bei CSC in El Segundo angestellt. ab 1960 bei CSC in El Segundo angestellt.
|
| http://dbpedia.org/ontology/wikiPageID
|
15461434
|
| http://dbpedia.org/ontology/wikiPageLength
|
2466
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1051943782
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Davis%2C_California +
, http://dbpedia.org/resource/Syracuse_University +
, http://dbpedia.org/resource/Category:2003_deaths +
, http://dbpedia.org/resource/Category:21st-century_American_mathematicians +
, http://dbpedia.org/resource/Category:20th-century_American_mathematicians +
, http://dbpedia.org/resource/Category:1920_births +
, http://dbpedia.org/resource/Computer_Sciences_Corporation +
, http://dbpedia.org/resource/University_of_New_Hampshire +
, http://dbpedia.org/resource/Category:Syracuse_University_alumni +
, http://dbpedia.org/resource/Paul_C._Rosenbloom +
, http://dbpedia.org/resource/Category:Mathematicians_from_New_York_%28state%29 +
, http://dbpedia.org/resource/Rice%27s_theorem +
, http://dbpedia.org/resource/El_Segundo%2C_California +
, http://dbpedia.org/resource/Category:American_logicians +
|
| http://dbpedia.org/property/id
|
25421
|
| http://dbpedia.org/property/name
|
Henry G. Rice
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Mathgenealogy +
, http://dbpedia.org/resource/Template:US-mathematician-stub +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Reflist +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Mathematicians_from_New_York_%28state%29 +
, http://dbpedia.org/resource/Category:21st-century_American_mathematicians +
, http://dbpedia.org/resource/Category:American_logicians +
, http://dbpedia.org/resource/Category:Syracuse_University_alumni +
, http://dbpedia.org/resource/Category:1920_births +
, http://dbpedia.org/resource/Category:20th-century_American_mathematicians +
, http://dbpedia.org/resource/Category:2003_deaths +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Logician +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Henry_Gordon_Rice?oldid=1051943782&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Henry_Gordon_Rice +
|
| owl:sameAs |
http://yago-knowledge.org/resource/Henry_Gordon_Rice +
, http://www.wikidata.org/entity/Q1606793 +
, http://rdf.freebase.com/ns/m.03mb235 +
, http://ar.dbpedia.org/resource/%D9%87%D9%86%D8%B1%D9%8A_%D8%BA%D9%88%D8%B1%D8%AF%D9%88%D9%86_%D8%B1%D8%A7%D9%8A%D8%B3 +
, http://cs.dbpedia.org/resource/Henry_Gordon_Rice +
, http://fr.dbpedia.org/resource/Henry_Gordon_Rice +
, http://dbpedia.org/resource/Henry_Gordon_Rice +
, https://global.dbpedia.org/id/b4VU +
, http://de.dbpedia.org/resource/Henry_Gordon_Rice +
|
| rdf:type |
http://dbpedia.org/class/yago/Logician110269785 +
, http://dbpedia.org/class/yago/Intellectual109621545 +
, http://dbpedia.org/class/yago/WikicatSyracuseUniversityAlumni +
, http://dbpedia.org/class/yago/Scholar110557854 +
, http://dbpedia.org/class/yago/Organism100004475 +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://dbpedia.org/class/yago/Scientist110560637 +
, http://dbpedia.org/class/yago/Expert109617867 +
, http://dbpedia.org/class/yago/WikicatAmericanPeople +
, http://dbpedia.org/class/yago/WikicatAmericanMathematicians +
, http://dbpedia.org/class/yago/Mathematician110301261 +
, http://dbpedia.org/class/yago/WikicatLogicians +
, http://dbpedia.org/class/yago/WikicatLivingPeople +
, http://dbpedia.org/class/yago/Alumnus109786338 +
, http://dbpedia.org/class/yago/Person100007846 +
|
| rdfs:comment |
هنري غوردون رايس (بالإنجليزية: Henry Gordon Rice) هو رياضياتي أمريكي، ولد في 18 يوليو 1920، وتوفي في 14 أبريل 2003.
, Henry Gordon Rice (* 18. Juli 1920; † 14. … Henry Gordon Rice (* 18. Juli 1920; † 14. April 2003) war ein Mathematiker und Logiker. Er wurde vor allem durch seine Arbeit in der Theoretischen Informatik bekannt, die schließlich zu dem nach ihm benannten Satz von Rice führte. Den Beweis hierzu gab er in seiner Dissertation 1951 an der Syracuse University. Er lehrte als Professor der Mathematik an der University of New Hampshire und war ab 1960 bei CSC in El Segundo angestellt. ab 1960 bei CSC in El Segundo angestellt.
, Henry Gordon Rice (18. července 1920 – 14. … Henry Gordon Rice (18. července 1920 – 14. dubna 2003) byl americký logik a matematik, známý zejména jako autor tří Riceových vět, klíčových vět teorie vyčíslitelnosti, poskytujících silný nástroj pro dokazování nerozhodnutelnosti problémů. Rice tyto věty dokázal v rámci své dizertační práce v roce 1951. Rice působil jako profesor matematiky na a od roku 1960 byl zaměstnán v .matiky na a od roku 1960 byl zaměstnán v .
, Henry Gordon Rice (1920-2003), est un logi … Henry Gordon Rice (1920-2003), est un logicien et un mathématicien connu comme étant l'auteur du théorème de Rice, qu'il prouva dans sa thèse de doctorat en 1951 à l'université de Syracuse. Il a aussi été professeur de mathématiques à l'université du New Hampshire. Après 1960, il fut employé de la Computer Sciences Corporation à El Segundo. Il a proposé un programme en Fortran codant la fonction d'Ackermann.en Fortran codant la fonction d'Ackermann.
, Henry Gordon Rice (July 18, 1920 – April 1 … Henry Gordon Rice (July 18, 1920 – April 14, 2003) was an American logician and mathematician best known as the author of Rice's theorem, which he proved in his doctoral dissertation of 1951 at Syracuse University with thesis advisor Paul C. Rosenbloom. Rice was also a Professor of Mathematics at the University of New Hampshire. After 1960 he was employed by Computer Sciences Corporation in El Segundo. Rice died on April 14, 2003, in Davis, California.d on April 14, 2003, in Davis, California.
|
| rdfs:label |
Henry Gordon Rice
, هنري غوردون رايس
|
