Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Grigori_Mints> ?p ?o }
- Grigori_Mints abstract "Grigori Mints (June 7, 1939 – May 29, 2014) was a Russian philosopher and mathematician who worked in mathematical logic.He was born in Leningrad, in the Soviet Union (now St. Petersburg, Russia), and received his Ph.D. in 1965 from the Leningrad State University under Nikolai Aleksandrovich Shanin with a thesis entitled \"On Predicate and Operator Variants for Building Theories of Constructive Mathematics\". In 1990 he received his D.Sc. from Leningrad State University with a thesis entitled \"Proof Transformations and Synthesis of Programs\". He was a Stanford University professor. Since 1991, Grigori \"Grisha\" Mints was a professor of philosophy and, by courtesy, of mathematics and of computer science at Stanford University. Before joining Stanford, Mints held research positions at the Steklov Mathematical Institute, the Leningrad University and the Estonian Academy of Sciences.Considered one of the most distinguished logicians in the world, Mints was passionate about the applications of logic to philosophy. His expertise was in proof theory – the analysis of the structure of mathematical reasoning. Mints was elected to the Estonian Academy of Sciences in 2008 and to the American Academy of Arts and Sciences in 2010.Mints was a very active member of the steering committee of the WoLLIC series of workshops on logic and language, after having been a member of the community in several capacities such as invited speaker, PC member, PC chair, Organising Committee chair, guest editor of proceedings and special issue, and steering committee member.".
- Grigori_Mints alias "Mints, Grisha".
- Grigori_Mints birthDate "1928-12-13".
- Grigori_Mints birthDate "1939-06-07".
- Grigori_Mints birthPlace Russia.
- Grigori_Mints birthPlace Russian_Soviet_Federative_Socialist_Republic.
- Grigori_Mints birthPlace Saint_Petersburg.
- Grigori_Mints birthYear "1928".
- Grigori_Mints birthYear "1939".
- Grigori_Mints deathDate "2014-05-29".
- Grigori_Mints deathPlace California.
- Grigori_Mints deathPlace Palo_Alto,_California.
- Grigori_Mints deathYear "2014".
- Grigori_Mints era Proof_theory.
- Grigori_Mints mainInterest Constructivism_(mathematics).
- Grigori_Mints mainInterest Foundations_of_mathematics.
- Grigori_Mints mainInterest Proof_theory.
- Grigori_Mints philosophicalSchool Proof_theory.
- Grigori_Mints region Mathematical_logic.
- Grigori_Mints wikiPageExternalLink Grigori+Mints.
- Grigori_Mints wikiPageExternalLink words-from-friends.
- Grigori_Mints wikiPageID "43508402".
- Grigori_Mints wikiPageLength "6370".
- Grigori_Mints wikiPageOutDegree "33".
- Grigori_Mints wikiPageRevisionID "701717409".
- Grigori_Mints wikiPageWikiLink American_Academy_of_Arts_and_Sciences.
- Grigori_Mints wikiPageWikiLink California.
- Grigori_Mints wikiPageWikiLink Category:1939_births.
- Grigori_Mints wikiPageWikiLink Category:2014_deaths.
- Grigori_Mints wikiPageWikiLink Category:21st-century_mathematicians.
- Grigori_Mints wikiPageWikiLink Category:Historians_of_mathematics.
- Grigori_Mints wikiPageWikiLink Category:Mathematical_logicians.
- Grigori_Mints wikiPageWikiLink Category:Philosophers_of_mathematics.
- Grigori_Mints wikiPageWikiLink Category:Russian_logicians.
- Grigori_Mints wikiPageWikiLink Category:Stanford_University_Department_of_Philosophy_faculty.
- Grigori_Mints wikiPageWikiLink Constructivism_(mathematics).
- Grigori_Mints wikiPageWikiLink Estonian_Academy_of_Sciences.
- Grigori_Mints wikiPageWikiLink Foundations_of_mathematics.
- Grigori_Mints wikiPageWikiLink Mathematical_logic.
- Grigori_Mints wikiPageWikiLink Mathematician.
- Grigori_Mints wikiPageWikiLink Nikolai_Aleksandrovich_Shanin.
- Grigori_Mints wikiPageWikiLink Palo_Alto,_California.
- Grigori_Mints wikiPageWikiLink Philosopher.
- Grigori_Mints wikiPageWikiLink Professor.
- Grigori_Mints wikiPageWikiLink Proof_theory.
- Grigori_Mints wikiPageWikiLink Russia.
- Grigori_Mints wikiPageWikiLink Russian_Soviet_Federative_Socialist_Republic.
- Grigori_Mints wikiPageWikiLink Saint_Petersburg.
- Grigori_Mints wikiPageWikiLink Saint_Petersburg_State_University.
- Grigori_Mints wikiPageWikiLink Stanford_University.
- Grigori_Mints wikiPageWikiLink Workshop_on_Logic,_Language,_Information_and_Computation.
- Grigori_Mints wikiPageWikiLinkText "Grigori Mints".
- Grigori_Mints wikiPageWikiLinkText "Mints, Grigori".
- Grigori_Mints alternativeNames "Mints, Grisha".
- Grigori_Mints birthDate "1939-06-07".
- Grigori_Mints birthPlace "Leningrad, Russian SFSR, Soviet Union".
- Grigori_Mints caption "Grigori Mints".
- Grigori_Mints dateOfBirth "1928-12-13".
- Grigori_Mints dateOfDeath "2014-05-29".
- Grigori_Mints deathDate "2014-05-29".
- Grigori_Mints deathPlace "Palo Alto, California, US".
- Grigori_Mints era Proof_theory.
- Grigori_Mints mainInterests Constructivism_(mathematics).
- Grigori_Mints mainInterests Foundations_of_mathematics.
- Grigori_Mints mainInterests Proof_theory.
- Grigori_Mints name "Grigori Mints".
- Grigori_Mints name "Mints, Grigori".
- Grigori_Mints placeOfBirth "St. Petersburg, Russia".
- Grigori_Mints placeOfDeath "Palo Alto, CA".
- Grigori_Mints region Mathematical_logic.
- Grigori_Mints schoolTradition Proof_theory.
- Grigori_Mints shortDescription "Russian mathematician".
- Grigori_Mints wikiPageUsesTemplate Template:Birth_date.
- Grigori_Mints wikiPageUsesTemplate Template:Death_date_and_age.
- Grigori_Mints wikiPageUsesTemplate Template:Infobox_philosopher.
- Grigori_Mints wikiPageUsesTemplate Template:Persondata.
- Grigori_Mints wikiPageUsesTemplate Template:Reflist.
- Grigori_Mints wikiPageUsesTemplate Template:Use_mdy_dates.
- Grigori_Mints description "Russian mathematician".
- Grigori_Mints description "Russian mathematician".
- Grigori_Mints subject Category:1939_births.
- Grigori_Mints subject Category:2014_deaths.
- Grigori_Mints subject Category:21st-century_mathematicians.
- Grigori_Mints subject Category:Historians_of_mathematics.
- Grigori_Mints subject Category:Mathematical_logicians.
- Grigori_Mints subject Category:Philosophers_of_mathematics.
- Grigori_Mints subject Category:Russian_logicians.
- Grigori_Mints subject Category:Stanford_University_Department_of_Philosophy_faculty.
- Grigori_Mints hypernym Philosopher.
- Grigori_Mints type Agent.
- Grigori_Mints type Person.
- Grigori_Mints type Philosopher.
- Grigori_Mints type Person.
- Grigori_Mints type Agent.
- Grigori_Mints type NaturalPerson.
- Grigori_Mints type Thing.
- Grigori_Mints type Q215627.
- Grigori_Mints type Q4964182.
- Grigori_Mints type Q5.
- Grigori_Mints type Person.