| Birthplace
|
http://dbpedia.org/resource/United_Kingdom +
, http://dbpedia.org/resource/Birmingham +
|
| http://dbpedia.org/ontology/abstract
|
John R. Myhill (* 11. August 1923 in Birmingham; † 15. Februar 1987) war ein britischer Mathematiker, Logiker, Philosoph, Informatiker und Hochschullehrer an der State University of New York at Buffalo.
, John R. Myhill, né le 11 août 1923 à Birmingham (Angleterre) et mort le 15 février 1987, est un mathématicien britannique.
, John R. Myhill (ur. 11 sierpnia 1923, zm. … John R. Myhill (ur. 11 sierpnia 1923, zm. 15 lutego 1987) – brytyjski matematyk. Od roku 1966 aż do śmierci był wykładowcą na Uniwersytecie Stanowym Nowego Jorku. Wykładał też na kilku innych uniwersytetach. Jego syn, John Myhill, jest wykładowcą lingwistyki na wydziale anglistyki Uniwersytetu w Hajfie.wydziale anglistyki Uniwersytetu w Hajfie.
, John R. Myhill, Sr. (11 de agosto de 1923 – 15 de fevereiro de 1987) foi um matemático britânico.
, John R. Myhill Sr. (11 August 1923 – 15 February 1987) was a British mathematician.
|
| http://dbpedia.org/ontology/academicAdvisor
|
http://dbpedia.org/resource/Lynn_Harold_Loomis +
|
| http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Mathematics +
|
| http://dbpedia.org/ontology/almaMater
|
http://dbpedia.org/resource/Harvard_University +
|
| http://dbpedia.org/ontology/birthDate
|
"1923-08-11"^^xsd:date
|
| http://dbpedia.org/ontology/deathDate
|
"1987-02-15"^^xsd:date
|
| http://dbpedia.org/ontology/doctoralAdvisor
|
http://dbpedia.org/resource/Willard_Van_Orman_Quine +
|
| http://dbpedia.org/ontology/knownFor
|
http://dbpedia.org/resource/Rice%E2%80%93Myhill%E2%80%93Shapiro_theorem +
, http://dbpedia.org/resource/Russell%E2%80%93Myhill_paradox +
, http://dbpedia.org/resource/Garden_of_Eden_theorem +
, http://dbpedia.org/resource/Myhill%E2%80%93Nerode_theorem +
, http://dbpedia.org/resource/Myhill%27s_property +
, http://dbpedia.org/resource/Constructive_set_theory +
|
| http://dbpedia.org/ontology/nationality
|
http://dbpedia.org/resource/United_Kingdom +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://www.worldcat.org/title/semantically-complete-foundation-for-logic-and-mathematics/oclc/25214080 +
|
| http://dbpedia.org/ontology/wikiPageID
|
2611636
|
| http://dbpedia.org/ontology/wikiPageLength
|
6030
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1082303090
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Edward_F._Moore +
, http://dbpedia.org/resource/Rice%E2%80%93Myhill%E2%80%93Shapiro_theorem +
, http://dbpedia.org/resource/United_Kingdom +
, http://dbpedia.org/resource/Mathematician +
, http://dbpedia.org/resource/Myhill%E2%80%93Nerode_theorem +
, http://dbpedia.org/resource/Category:George_Berkeley_scholars +
, http://dbpedia.org/resource/Formal_language +
, http://dbpedia.org/resource/Regular_language +
, http://dbpedia.org/resource/Myhill_isomorphism_theorem +
, http://dbpedia.org/resource/Law_of_the_excluded_middle +
, http://dbpedia.org/resource/Harvard_University +
, http://dbpedia.org/resource/Lynn_Harold_Loomis +
, http://dbpedia.org/resource/Diaconescu%E2%80%93Goodman%E2%80%93Myhill_theorem +
, http://dbpedia.org/resource/Constructive_set_theory +
, http://dbpedia.org/resource/Firing_squad_synchronization_problem +
, http://dbpedia.org/resource/Birmingham +
, http://dbpedia.org/resource/Russell%E2%80%93Myhill_paradox +
, http://dbpedia.org/resource/Axiom_of_choice +
, http://dbpedia.org/resource/Computability_theory +
, http://dbpedia.org/resource/Myhill%27s_property +
, http://dbpedia.org/resource/Category:University_at_Buffalo_faculty +
, http://dbpedia.org/resource/Category:20th-century_British_mathematicians +
, http://dbpedia.org/resource/Bertrand_Russell +
, http://dbpedia.org/resource/Cantor%E2%80%93Bernstein%E2%80%93Schroeder_theorem +
, http://dbpedia.org/resource/Undecidable_problem +
, http://dbpedia.org/resource/The_Principles_of_Mathematics +
, http://dbpedia.org/resource/State_University_of_New_York +
, http://dbpedia.org/resource/Anil_Nerode +
, http://dbpedia.org/resource/Category:1987_deaths +
, http://dbpedia.org/resource/Cellular_automata +
, http://dbpedia.org/resource/Musical_scale +
, http://dbpedia.org/resource/Music_theory +
, http://dbpedia.org/resource/Category:Cellular_automatists +
, http://dbpedia.org/resource/Garden_of_Eden_theorem +
, http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/Category:1923_births +
, http://dbpedia.org/resource/Willard_Van_Orman_Quine +
, http://dbpedia.org/resource/Category:Harvard_University_alumni +
|
| http://dbpedia.org/property/academicAdvisors
|
http://dbpedia.org/resource/Lynn_Harold_Loomis +
|
| http://dbpedia.org/property/almaMater
|
http://dbpedia.org/resource/Harvard_University +
|
| http://dbpedia.org/property/birthDate
|
"1923-08-11"^^xsd:date
|
| http://dbpedia.org/property/birthPlace
|
http://dbpedia.org/resource/Birmingham +
, http://dbpedia.org/resource/United_Kingdom +
|
| http://dbpedia.org/property/deathDate
|
"1987-02-15"^^xsd:date
|
| http://dbpedia.org/property/doctoralAdvisor
|
http://dbpedia.org/resource/Willard_Van_Orman_Quine +
|
| http://dbpedia.org/property/fields
|
http://dbpedia.org/resource/Mathematics +
|
| http://dbpedia.org/property/knownFor
|
http://dbpedia.org/resource/Myhill%E2%80%93Nerode_theorem +
, http://dbpedia.org/resource/Constructive_set_theory +
, http://dbpedia.org/resource/Myhill%27s_property +
, http://dbpedia.org/resource/Russell%E2%80%93Myhill_paradox +
, http://dbpedia.org/resource/Garden_of_Eden_theorem +
, http://dbpedia.org/resource/Rice%E2%80%93Myhill%E2%80%93Shapiro_theorem +
|
| http://dbpedia.org/property/name
|
John Myhill
|
| http://dbpedia.org/property/nationality
|
http://dbpedia.org/resource/United_Kingdom +
|
| http://dbpedia.org/property/spouse
|
Akiko Kino
|
| http://dbpedia.org/property/thesisTitle
|
A Semantically Complete Foundation for Logic and Mathematics
|
| http://dbpedia.org/property/thesisUrl
|
https://www.worldcat.org/title/semantically-complete-foundation-for-logic-and-mathematics/oclc/25214080 +
|
| http://dbpedia.org/property/thesisYear
|
1949
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:Death_date_and_age +
, http://dbpedia.org/resource/Template:Birth_date +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Use_dmy_dates +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:1987_deaths +
, http://dbpedia.org/resource/Category:1923_births +
, http://dbpedia.org/resource/Category:University_at_Buffalo_faculty +
, http://dbpedia.org/resource/Category:20th-century_British_mathematicians +
, http://dbpedia.org/resource/Category:Cellular_automatists +
, http://dbpedia.org/resource/Category:Harvard_University_alumni +
, http://dbpedia.org/resource/Category:George_Berkeley_scholars +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/271404040 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/John_Myhill?oldid=1082303090&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/John_Myhill +
|
| http://xmlns.com/foaf/0.1/name
|
John Myhill
|
| owl:sameAs |
http://de.dbpedia.org/resource/John_Myhill +
, http://yago-knowledge.org/resource/John_Myhill +
, http://www.wikidata.org/entity/Q402579 +
, https://dblp.org/pid/55/2892 +
, https://global.dbpedia.org/id/3jSGG +
, http://fa.dbpedia.org/resource/%D8%AC%D8%A7%D9%86_%D9%85%D8%A7%DB%8C%E2%80%8C%D9%87%DB%8C%D9%84 +
, http://viaf.org/viaf/271404040 +
, http://arz.dbpedia.org/resource/%DA%86%D9%88%D9%87%D9%86_%D9%85%D9%8A%D9%87%D9%8A%D9%84 +
, http://dbpedia.org/resource/John_Myhill +
, http://pt.dbpedia.org/resource/John_Myhill +
, http://fr.dbpedia.org/resource/John_R._Myhill +
, http://d-nb.info/gnd/117716529 +
, http://azb.dbpedia.org/resource/%D8%AC%D8%A7%D9%86_%D9%85%D8%A7%DB%8C%E2%80%8C%D9%87%DB%8C%D9%84 +
, http://pl.dbpedia.org/resource/John_Myhill +
, http://data.bibliotheken.nl/id/thes/p071556923 +
, http://rdf.freebase.com/ns/m.07rn46 +
, http://d-nb.info/gnd/1089094345 +
, http://viaf.org/viaf/6495165326541116290003 +
|
| rdf:type |
http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://dbpedia.org/class/yago/WikicatGuggenheimFellows +
, http://www.wikidata.org/entity/Q901 +
, http://dbpedia.org/class/yago/Associate109816771 +
, http://dbpedia.org/class/yago/Scientist110560637 +
, http://dbpedia.org/class/yago/Mathematician110301261 +
, http://dbpedia.org/ontology/Species +
, http://dbpedia.org/ontology/Scientist +
, http://dbpedia.org/class/yago/Person100007846 +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/class/yago/WikicatBritishMathematicians +
, http://dbpedia.org/ontology/Animal +
, http://dbpedia.org/class/yago/Object100002684 +
, http://www.wikidata.org/entity/Q19088 +
, http://dbpedia.org/ontology/Eukaryote +
, http://schema.org/Person +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/class/yago/Anomaly109606527 +
, http://dbpedia.org/class/yago/Wikicat20th-centuryMathematicians +
, http://dbpedia.org/class/yago/Organism100004475 +
, http://dbpedia.org/class/yago/Automaton109825519 +
, http://dbpedia.org/class/yago/WikicatCellularAutomata +
, http://www.wikidata.org/entity/Q215627 +
, http://www.wikidata.org/entity/Q729 +
, http://www.wikidata.org/entity/Q5 +
, http://xmlns.com/foaf/0.1/Person +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://dbpedia.org/class/yago/WikicatHarvardUniversityAlumni +
, http://dbpedia.org/class/yago/Wikicat20th-centuryBritishMathematicians +
, http://dbpedia.org/class/yago/Alumnus109786338 +
, http://dbpedia.org/class/yago/Intellectual109621545 +
, http://dbpedia.org/class/yago/Scholar110557854 +
, http://dbpedia.org/class/yago/Colleague109935990 +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/class/yago/Peer109626238 +
|
| rdfs:comment |
John R. Myhill (ur. 11 sierpnia 1923, zm. … John R. Myhill (ur. 11 sierpnia 1923, zm. 15 lutego 1987) – brytyjski matematyk. Od roku 1966 aż do śmierci był wykładowcą na Uniwersytecie Stanowym Nowego Jorku. Wykładał też na kilku innych uniwersytetach. Jego syn, John Myhill, jest wykładowcą lingwistyki na wydziale anglistyki Uniwersytetu w Hajfie.wydziale anglistyki Uniwersytetu w Hajfie.
, John R. Myhill (* 11. August 1923 in Birmingham; † 15. Februar 1987) war ein britischer Mathematiker, Logiker, Philosoph, Informatiker und Hochschullehrer an der State University of New York at Buffalo.
, John R. Myhill Sr. (11 August 1923 – 15 February 1987) was a British mathematician.
, John R. Myhill, né le 11 août 1923 à Birmingham (Angleterre) et mort le 15 février 1987, est un mathématicien britannique.
, John R. Myhill, Sr. (11 de agosto de 1923 – 15 de fevereiro de 1987) foi um matemático britânico.
|
| rdfs:label |
John Myhill
, John R. Myhill
|
