Grigori mincovny - Grigori Mints

Grigori mincovny
narozený(1939-06-07)7. června 1939
Leningrad, Ruský SFSR, Sovětský svaz
Zemřel29. května 2014(2014-05-29) (ve věku 74)
Palo Alto, Kalifornie, USA
ÉraTeorie důkazů
KrajMatematická logika
ŠkolaAnalytická filozofie
Hlavní zájmy
Základy matematiky
Teorie důkazů
Konstruktivní matematika

Grigori mincovny (7. června 1939 - 29. května 2014) byl a ruština filozof a matematik kdo pracoval v matematická logika.Narodil se v Leningrad, v Sovětském svazu (nyní Petrohrad, Rusko) a získal titul Ph.D. v roce 1965 od Leningradská státní univerzita pod Nikolai Aleksandrovich Shanin s prací s názvem „O predikátu a operátorových variantách pro budování teorií konstruktivní matematiky“. V roce 1990 získal titul D.Sc. z Leningradská státní univerzita s prací nazvanou „Důkazové transformace a syntéza programů“.[1] Byl Stanfordská Univerzita profesor.[2] Od roku 1991 byl Grigori "Grisha" Mints profesorem filozofie a se svolením matematiky a informatiky na Stanfordské univerzitě. Před příchodem do Stanfordu Mints zastával výzkumné pozice na Steklovově matematickém institutu, Leningradské univerzitě a Estonské akademii věd.

Mints, považovaný za jednoho z nejvýznamnějších logiků na světě, byl nadšený z aplikace logiky ve filozofii. Specializoval se na teorii důkazů - analýzu struktury matematického uvažování. Mincovny byly zvoleny do Estonská akademie věd v roce 2008 a do Americká akademie umění a věd v roce 2010.

Mints byl velmi aktivním členem řídícího výboru WOLIC série workshopů o logice a jazyce poté, co byl členem komunity v několika funkcích, jako je pozvaný řečník, člen PC, předseda PC, předseda organizačního výboru, hostující redaktor sborníku a zvláštního vydání a člen řídícího výboru.

Vybrané publikace

  • Mints, G. (2013) Substituce epsilonu za predikátovou logiku prvního a druhého řádu. „Ann. Pure Appl. Logic“ 164 (6): 733-739.
  • Mints, G., Olkhovikov, G.V., Urquhart, A. (2013) Selhání interpolace v intuitivní logice konstantní domény. „J. Symb. Protokol.“ 78 (3): 937-950.
  • Mints, G. (2013) ADC Metoda korektního hledání intuitivní výrokové přírodní dedukce. Objevit se v „Festsschrift pro A. Avrona“.
  • Mints, G. (2012) Efektivní eliminace řezu pro fragment modálního mu-počtu. „Studia Logica“ 100 (1–2): 279–287.
  • Mints, G. (2010) Bezobslužné formulace pro kvantifikovanou logiku tu a tam. „Ann. Pure Appl. Logic“ 162 (3): 237-242.
  • Mints, G. (2008) Eliminace řezu pro jednoduchou formulaci epsilonového počtu. „Ann. Pure Appl. Logic“ 152 (1-3): 148-160.
  • Mints, G. (2006) Poznámky ke konstruktivní negaci. in R. Kahle and P. Schroeder-Heister (eds.), „Proof-Theoretic Semantics“, speciální vydání časopisu „Synthese“, 2006, 148, číslo 3, s. 701–717.
  • Mints, G. (2006) Eliminace řezu pro jednoduchou formulaci PAepsilonu. „Teorie elektrotechnických poznámek. Výpočet. Sci.“ 143: 159-169.
  • Mints, G. (2006) S4 je topologicky kompletní pro (0, 1): krátký důkaz. „Logic Journal of the IGPL“ 14 (1): 63-71.
  • Mints, G. (2006) Eliminace řezu pro S4C: Případová studie. „Studia Logica“ 82 (1): 121–132.
  • Mints, G. & Zhang, T. (2005) Propoziční logika kontinuálních transformací v Cantorově prostoru. „Arch. Mat. Log.“ 44 (6): 783-799.
  • Kremer, Ph. & Mints, G. (2005) Dynamická topologická logika. „Ann. Pure Appl. Logic“ 131 (1-3): 133-158.
  • Mints, G. & Zhang, T. (2005) Důkaz topologické úplnosti pro S4 v (0, 1). „Ann. Pure Appl. Logic“ 133 (1-3): 231-245.
  • Tatsuta, M. & Mints, G. (2005) Jednoduchý důkaz silné normalizace druhého řádu s permutativními převody. „Ann. Pure Appl. Logic“ 136 (1-2): 134-155
  • Mints, G. & Muskens, R. (eds.) (2003) „Hry, logika a konstruktivní sady“. Vydalo Centrum pro studium jazyka a informací - poznámky k přednášce (kniha 161), 2003. ISBN  978-1575864501
  • Mints, G. (2001) „Krátký úvod do intuitivní logiky“ (Univerzitní řada z matematiky). Vydal Kluwer Academic Publisher, 2001.
  • Mints, G. (1992) „Krátký úvod do modální logiky“. Publikováno Centrem pro studium jazyka a informací - poznámky k přednášce (kniha 30), 1992. ISBN  978-0937073759
  • Vybrané příspěvky v teorii důkazů (Severní Holandsko), srpen 1992, ISBN  978-0444896193Série studií v teorii důkazů)
  • Mints, G. & Martin-Löf, P. (eds.) (1990) „COLOG-88: International Conference on Computer Logic“, Tallinn, SSSR, 12. – 16. Prosince 1988, Proceedings - Lecture Notes in Computer Science (Vol. 417), 1990. ISBN  978-3540523352

Reference

  1. ^ Grigori mincovny na Matematický genealogický projekt
  2. ^ Wakefield, Tanu (12. června 2014). „Stanfordská filozofie Profesor Grigori Mints, světoznámý logik, zemřel ve věku 74 let“. News.stanford.edu. Citováno 9. srpna 2014.

externí odkazy