Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Anil_Nerode> ?p ?o. }
Showing items 1 to 66 of
66
with 100 items 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 several others.In 2012 he became a fellow of the American Mathematical Society.".
- Anil_Nerode birthDate "1932".
- Anil_Nerode birthYear "1932".
- Anil_Nerode viafId "56701872".
- Anil_Nerode wikiPageExternalLink ~anil.
- Anil_Nerode wikiPageID "3057551".
- Anil_Nerode wikiPageRevisionID "585852018".
- Anil_Nerode dateOfBirth "1932".
- Anil_Nerode hasPhotoCollection Anil_Nerode.
- Anil_Nerode name "Nerode, Anil".
- Anil_Nerode shortDescription "American mathematician".
- Anil_Nerode description "American mathematician".
- Anil_Nerode description "American mathematician".
- Anil_Nerode subject Category:1932_births.
- Anil_Nerode subject Category:21st-century_mathematicians.
- Anil_Nerode subject Category:American_computer_scientists.
- Anil_Nerode subject Category:American_mathematicians.
- 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 type 21st-centuryMathematicians.
- Anil_Nerode type AmericanComputerScientists.
- Anil_Nerode type AmericanMathematicians.
- Anil_Nerode type AmericanPeopleOfIndianDescent.
- Anil_Nerode type CausalAgent100007347.
- Anil_Nerode type ComputerScientist109951070.
- Anil_Nerode type ComputerUser109951274.
- Anil_Nerode type LivingPeople.
- Anil_Nerode type LivingThing100004258.
- Anil_Nerode type Mathematician110301261.
- Anil_Nerode type Object100002684.
- Anil_Nerode type Organism100004475.
- Anil_Nerode type Person100007846.
- Anil_Nerode type PhysicalEntity100001930.
- Anil_Nerode type Scientist110560637.
- Anil_Nerode type Whole100003553.
- Anil_Nerode type YagoLegalActor.
- Anil_Nerode type YagoLegalActorGeo.
- Anil_Nerode type Agent.
- Anil_Nerode type Person.
- Anil_Nerode type Person.
- Anil_Nerode type Q215627.
- Anil_Nerode type Q5.
- Anil_Nerode type Agent.
- Anil_Nerode type NaturalPerson.
- Anil_Nerode type Thing.
- Anil_Nerode type Person.
- 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 label "Anil Nerode".
- Anil_Nerode label "Anil Nerode".
- Anil_Nerode sameAs Anil_Nerode.
- Anil_Nerode sameAs Anil_Nerode.
- Anil_Nerode sameAs m.08np25.
- Anil_Nerode sameAs Q500281.
- Anil_Nerode sameAs Q500281.
- Anil_Nerode sameAs 173241.
- Anil_Nerode sameAs Anil_Nerode.
- Anil_Nerode wasDerivedFrom Anil_Nerode?oldid=585852018.
- Anil_Nerode givenName "Anil".
- Anil_Nerode isPrimaryTopicOf Anil_Nerode.
- Anil_Nerode name "Anil Nerode".
- Anil_Nerode name "Nerode, Anil".
- Anil_Nerode surname "Nerode".