Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Anil_Nerode> ?p ?o }
Showing triples 1 to 61 of
61
with 100 triples per page.
- Anil_Nerode abstract "Anil Nerode (born 1932) is an American mathematician. He received his undergraduate education and a Ph.D. in mathematics from the University of Chicago, the latter under the directions of Saunders Mac Lane. He enrolled in the Hutchins College at the University of Chicago in 1947 at the age of 15, and received his Ph.D. in 1956. His Ph.D. thesis was on an algebraic abstract formulation of substitution in many-sorted free algebras and its relation to equational definitions of the partial recursive functions.While in graduate school, beginning in 1954, he worked at Prof. Walter Bartky's Institute for Air Weapons Research, which did classified work for the US Air Force. He continued to work there following the completion of his Ph.D., from 1956 to 1957. In the summer of 1957 he attended the Cornell NSF Summer 1957 Institute in Logic. In 1958 to 1959 he went to the Institute for Advanced Study in Princeton, New Jersey, where he worked with Kurt Gödel.Nerode is Goldwin Smith Professor of Mathematics at Cornell University. His interests are in mathematical logic, the theory of automata, computability and complexity theory, the calculus of variations, and distributed systems. With John Myhill, Nerode proved the Myhill–Nerode theorem specifying necessary and sufficient conditions for a formal language to be regular.Nerode is an Editorial Board member of the journals Annals of Mathematics and Artificial Intelligence, Mathematical and Computer Modelling, Documenta Mathematica and others.In 2012 he became a fellow of the American Mathematical Society.".
- Anil_Nerode wikiPageExternalLink ~anil.
- Anil_Nerode wikiPageID "3057551".
- Anil_Nerode wikiPageLength "3981".
- Anil_Nerode wikiPageOutDegree "21".
- Anil_Nerode wikiPageRevisionID "706147008".
- Anil_Nerode wikiPageWikiLink American_Mathematical_Society.
- Anil_Nerode wikiPageWikiLink Category:1932_births.
- Anil_Nerode wikiPageWikiLink Category:20th-century_American_mathematicians.
- Anil_Nerode wikiPageWikiLink Category:21st-century_American_mathematicians.
- Anil_Nerode wikiPageWikiLink Category:American_computer_scientists.
- Anil_Nerode wikiPageWikiLink Category:American_people_of_Indian_descent.
- Anil_Nerode wikiPageWikiLink Category:Cornell_University_faculty.
- Anil_Nerode wikiPageWikiLink Category:Fellows_of_the_American_Mathematical_Society.
- Anil_Nerode wikiPageWikiLink Category:Living_people.
- Anil_Nerode wikiPageWikiLink Category:University_of_Chicago_alumni.
- Anil_Nerode wikiPageWikiLink Cornell_University.
- Anil_Nerode wikiPageWikiLink Formal_language.
- Anil_Nerode wikiPageWikiLink Introduction_to_Automata_Theory,_Languages,_and_Computation.
- Anil_Nerode wikiPageWikiLink John_Myhill.
- Anil_Nerode wikiPageWikiLink Kurt_Gödel.
- Anil_Nerode wikiPageWikiLink Mathematics.
- Anil_Nerode wikiPageWikiLink Myhill–Nerode_theorem.
- Anil_Nerode wikiPageWikiLink Regular_language.
- Anil_Nerode wikiPageWikiLink Saunders_Mac_Lane.
- Anil_Nerode wikiPageWikiLink United_States.
- Anil_Nerode wikiPageWikiLink University_of_Chicago.
- Anil_Nerode wikiPageWikiLinkText "Anil Nerode".
- Anil_Nerode wikiPageWikiLinkText "Nerode, Anil".
- Anil_Nerode wikiPageUsesTemplate Template:Authority_control.
- Anil_Nerode wikiPageUsesTemplate Template:MathGenealogy.
- Anil_Nerode wikiPageUsesTemplate Template:Reflist.
- Anil_Nerode subject Category:1932_births.
- Anil_Nerode subject Category:20th-century_American_mathematicians.
- Anil_Nerode subject Category:21st-century_American_mathematicians.
- Anil_Nerode subject Category:American_computer_scientists.
- Anil_Nerode subject Category:American_people_of_Indian_descent.
- Anil_Nerode subject Category:Cornell_University_faculty.
- Anil_Nerode subject Category:Fellows_of_the_American_Mathematical_Society.
- Anil_Nerode subject Category:Living_people.
- Anil_Nerode subject Category:University_of_Chicago_alumni.
- Anil_Nerode hypernym Mathematician.
- Anil_Nerode type List.
- Anil_Nerode type Person.
- Anil_Nerode type Scientist.
- Anil_Nerode type List.
- Anil_Nerode type Mathematician.
- Anil_Nerode type Scholar.
- Anil_Nerode type Scientist.
- Anil_Nerode type Thing.
- Anil_Nerode comment "Anil Nerode (born 1932) is an American mathematician. He received his undergraduate education and a Ph.D. in mathematics from the University of Chicago, the latter under the directions of Saunders Mac Lane. He enrolled in the Hutchins College at the University of Chicago in 1947 at the age of 15, and received his Ph.D. in 1956. His Ph.D.".
- Anil_Nerode label "Anil Nerode".
- Anil_Nerode sameAs Q500281.
- Anil_Nerode sameAs Anil_Nerode.
- Anil_Nerode sameAs آنیل_نرود.
- Anil_Nerode sameAs Anil_Nerode.
- Anil_Nerode sameAs Anil_Nerode.
- Anil_Nerode sameAs m.08np25.
- Anil_Nerode sameAs Q500281.
- Anil_Nerode wasDerivedFrom Anil_Nerode?oldid=706147008.
- Anil_Nerode isPrimaryTopicOf Anil_Nerode.