Giorgi Japaridze - Giorgi Japaridze

Giorgi Japaridze (také hláskoval Giorgie Dzhaparidze) je gruzínsko-americký výzkumník v logika a teoretická informatika. V současné době je držitelem titulu Full Professor[1] na oddělení počítačových věd v Villanova University. Japaridze je nejlépe známý pro jeho vynález logika vypočítatelnosti, cirkulující počet, a Polymodální logika Japaridze.

Výzkum

V letech 1985–1988[2] Japaridze vyvinul systém GLP, známý jako Polymodální logika Japaridze.[3][4][5][6] Toto je systém modální logika s operátory „nutnosti“ [0], [1], [2],…, chápané jako přirozená řada přírůstkově slabých predikátů prokazatelnosti pro Peano aritmetika. V „Polymodální logice prokazatelnosti“[7] Japaridze prokázal aritmetickou úplnost tohoto systému i jeho inherentní neúplnost s ohledem na Kripke rámy. GLP byl rozsáhle studován různými autory během následujících tří desetiletí, zejména poté Lev Beklemishev v roce 2004,[8] poukázal na jeho užitečnost při porozumění důkazní teorii aritmetiky (algebry prokazatelnosti a ordinálni důkazní teoretici ).

Japaridze také studoval verze (predikátu) verze logiky prokazatelnosti prvního řádu. Přišel s axiomatizací fragmentu jedné proměnné této logiky a dokázal jeho aritmetickou úplnost a rozhodnutelnost.[9] Ve stejném článku ukázal, že za podmínky 1-úplnosti základní aritmetické teorie je logika predikátu prokazatelnosti s ne iterovanými modalitami rekurzivně spočetné. v[10] to samé udělal pro logiku prokazatelnosti predikátu s nemodalizovanými kvantifikátory.

V letech 1992–1993 přišel Japaridze s koncepty interpretovatelnost, tolerance a cotolerance, přirozeně vyplývající z logiky interpretovatelnosti.[11][12] Dokázal, že interpretovatelnost je ekvivalentní 1-konzervativnosti a tolerance je ekvivalentní 1-konzistenci. První z nich byla odpovědí na dlouhodobý otevřený problém týkající se metamathematického významu 1-konzervativity. Ve stejné linii výzkumu Japaridze zkonstruoval modální logiku tolerance[13] (1993) a aritmetická hierarchie[14] (1994), a prokázali svou aritmetickou úplnost. V roce 2002 představil Japaridze „Logiku úkolů“,[15] který se později stal součástí jeho sémantiky abstraktních zdrojů[16][17] na jedné straně a fragment Computability Logic (viz níže) na druhé straně.

Japaridze je nejlépe známý[Citace je zapotřebí ] za založení Logika vypočítatelnosti v roce 2003 a následném přispění k jeho vývoji. Jedná se o dlouhodobý výzkumný program a sémantickou platformu pro „rekonstrukci logiky jako formální teorie (interaktivní) vyčíslitelnosti, na rozdíl od formální teorie pravdy, kterou tradičně měla“.[18]V roce 2006[19] Japaridze počala cirkulující počet jako důkazně-teoretický přístup, který manipuluje s konstrukty ve stylu grafu, nazývanými cirquents, místo tradičnějších a méně obecných stromových konstrukcí, jako jsou vzorce nebo sekvence. Tento nový důkazně-teoretický přístup byl později úspěšně použit k „zkrocení“ různých fragmentů logiky vypočítatelnosti,[20][21] který jinak tvrdohlavě odolával všem pokusům o axiomatizaci s využitím tradičních důkazních systémů, jako je následný počet nebo Systémy podle Hilberta. To bylo také používáno k (definovat a) axiomatizovat čistě výrokový fragment logika vstřícná k nezávislosti.[22][23][24]Zrození cirkulárního počtu bylo doprovázeno nabídkou související „sémantiky abstraktních zdrojů“. Cirkulární počet s touto sémantikou lze považovat za logiku zdrojů, které, na rozdíl od lineární logika umožňuje účtovat o sdílení zdrojů. Jako taková ji jako životaschopnou alternativu k lineární logice představil Japaridze, který ji opakovaně kritizoval za to, že není ani dostatečně expresivní, ani úplná jako logika zdrojů. Tato výzva však zůstala do značné míry bez povšimnutí komunitou lineární logiky, která na ni nikdy neodpověděla.[Citace je zapotřebí ]

Japaridze seslal podobnou výzvu (a také na ni nikdy neodpověděl) intuicionistická logika,[25] kritizovat to pro nedostatek přesvědčivého sémantického zdůvodnění související konstruktivistické[nutná disambiguation ] tvrdí, a za neúplnost v důsledku „vyhození dítěte vodou z koupele“. Hej Ukázalo se, že intuitivní logika v plné své obecnosti je zdravá[26] ale neúplné[27] s ohledem na sémantiku logiky vypočítatelnosti. Pozitivní (bez negace) výrokový fragment intuicionistické logiky se však ukázal být úplný s ohledem na sémantiku logiky vypočítatelnosti.[28]V "Na systému CL12 logiky vypočítatelnosti",[29] na platformě logiky vypočítatelnosti Japaridze zobecnil tradiční pojmy čas a prostor složitosti interaktivních výpočtů a zavedl třetí druh míry složitosti pro tyto výpočty, nazývaný „amplitudová složitost“. Mezi příspěvky Japaridzeho patří vypracování řady systémů (Peano) aritmetický na základě logiky vypočítatelnosti s názvem „klaritmetika ".[30][31][32] Patří mezi ně systémy zaměřené na složitost (ve stylu omezené aritmetiky) pro různé kombinace tříd složitosti času, prostoru a amplitudy.

Životopis a akademická kariéra

Giorgi Japaridze se narodil v roce 1961 v Tbilisi, Gruzie (pak v Sovětský svaz Vystudoval Státní univerzita v Tbilisi v roce 1983 získal titul PhD (filozofie) od Moskevská státní univerzita v roce 1987 a poté druhý titul PhD (v oboru výpočetní techniky) z University of Pennsylvania v roce 1998. V letech 1987–1992 pracoval Japaridze jako vědecký pracovník na Filozofickém ústavu Gruzínská akademie věd. V letech 1992–1993 působil jako postdoktorand v University of Amsterdam (Oddělení matematiky a informatiky). V letech 1993–1994 působil jako hostující docent na VŠE University of Notre Dame (Katedra filozofie). Nastoupil na fakultu Villanova University (Oddělení počítačových věd). Japaridze také pracoval jako hostující profesor na Xiamen University (2007) a Shandong University (2010–2013) v Čína.[33]

Ocenění

V roce 1982 obdržel Japaridze za své dílo „Determinismus a svoboda vůle“ medaili od Gruzínské akademie věd za nejlepší studentský výzkum, udělený každý rok jednomu studentovi v zemi. V roce 2015 obdržel od Villanova University cenu Vynikající fakultní výzkum, udělenou každoročně jednomu členovi fakulty.[34] Japaridze byl příjemcem různých grantů a stipendií, včetně výzkumných grantů z USA Národní vědecká nadace, Villanova University a Shandong University, Postdoktorandské stipendium od nizozemské vlády, Smullyan Společenstvo od Indiana University (nikdy nevyužito) a Deanovo společenství z University of Pennsylvania.[35]

Související bibliografie

Vybrané publikace

Viz také

externí odkazy

Reference

  1. ^ „Archivovaná kopie“. Archivovány od originál dne 30. 10. 2005. Citováno 2015-06-26.CS1 maint: archivovaná kopie jako titul (odkaz)
  2. ^ G. Japaridze, “Polymodální logika prokazatelnosti ". Intenzionální logika a logická struktura teorií. Metsniereba, Tbilisi, 1988, strany 16–48 (rusky).
  3. ^ G. Boolos, “Analytická úplnost Japaridzeových polymodálních logik ". Annals of Pure and Applied Logic 61 (1993), strany 95-111.
  4. ^ L.D. Beklemishev, J.J. Joosten a M. Vervoort, “Finitární zpracování uzavřeného fragmentu prokazatelnosti logiky Japaridze ". Journal of Logic and Computation 15 (4) (2005), strany 447-463.
  5. ^ I. Shapirovsky, “Rozhodovatelnost PSPACE polymodální logiky Japaridze ". Pokroky v Modal Logic 7 (2008), strany 289-304.
  6. ^ F. Pakhomov, “O složitosti uzavřeného fragmentu prokazatelnosti logiky Japaridze ". Archiv pro Mathematical Logic 53 (2014), strany 949-967.
  7. ^ G. Japaridze, “Polymodální logika prokazatelnosti ". Intenzionální logika a logická struktura teorií. Metsniereba, Tbilisi, 1988, strany 16–48 (rusky).
  8. ^ L. Beklemishev, “Algebry prokazatelnosti a ordinály ordinace důkazu, I ". Annals of Pure and Applied Logic 128 (2004), strany 103-123.
  9. ^ G. Japaridze, “Rozhodovatelná a vyčíslitelná predikátová logika prokazatelnosti ". Studia Logica 49 (1990), strany 7-21.
  10. ^ G. Japaridze, “Logika predikce prokazatelnosti s nemodalizovanými kvantifikátory ". Studia Logica 50 (1991), strany 149-160.
  11. ^ G. Japaridze, “Logika lineární tolerance ". Studia Logica 51 (1992), strany 249-277.
  12. ^ G. Japaridze, “Zobecněná představa slabé interpretovatelnosti a odpovídající modální logiky ". Annals of Pure and Applied Logic 61 (1993), strany 113-160.
  13. ^ G. Japaridze, “Zobecněná představa slabé interpretovatelnosti a odpovídající modální logiky ". Annals of Pure and Applied Logic 61 (1993), strany 113-160.
  14. ^ G. Japaridze, “Logika aritmetické hierarchie ". Annals of Pure and Applied Logic 66 (1994), strany 89-112.
  15. ^ G. Japaridze, “Logika úkolů ". Annals of Pure and Applied Logic 117 (2002), strany 261-293.
  16. ^ G. Japaridze, “Úvod do cirkulárního počtu a sémantiky abstraktních zdrojů ". Journal of Logic and Computation 16 (2006), strany 489-532.
  17. ^ I. Mezhirov a N. Vereshchagin, “Na abstraktní sémantice zdrojů a logice vypočítatelnosti ". Journal of Computer and Systems Sciences 76 (2010), strany 356-372.
  18. ^ G. Japaridze, “Úvod do klaritmetiky I ". Information and Computation 209 (2011), strany 1312-1354.
  19. ^ G. Japaridze, “Úvod do cirkulárního počtu a sémantiky abstraktních zdrojů ". Journal of Logic and Computation 16 (2006), strany 489-532.
  20. ^ G. Japaridze, “Zkrocení opakování v logice vypočítatelnosti pomocí obíhajícího počtu, část I. ". Archiv pro Mathematical Logic 52 (2013), strany 173-212.
  21. ^ G. Japaridze, “Zkrocení opakování v logice vyčíslitelnosti pomocí kruhového počtu, část II ". Archiv pro Mathematical Logic 52 (2013), strany 213-259.
  22. ^ G. Japaridze, “Od vzorců po okruhy v logice vypočítatelnosti ". Logical Methods is Computer Science 7 (2011), Issue 2, Paper 1, pages 1-55.
  23. ^ G. Japaridze, „V systému CL12 logiky vypočítatelnosti“. Logické metody v informatice (v tisku).
  24. ^ W. Xu, “Výrokový systém indukovaný přístupem Japaridze k logice IF ". Logický deník IGPL 22 (2014), strany 982-991.
  25. ^ G. Japaridze, “Na začátku byla herní sémantika ". Hry: Unification Logic, Language and Philosophy. O. Majer, A.-V. Pietarinen a T. Tulenheimo, eds. Springer 2009, strany 249-350.
  26. ^ G. Japaridze, “Intuicionistická logika vypočítatelnosti ". Acta Cybernetica 18 (2007), strany 77-113.
  27. ^ I. Mezhirov a N. Vereshchagin, “Na abstraktní sémantice zdrojů a logice vypočítatelnosti ". Journal of Computer and Systems Sciences 76 (2010), strany 356-372.
  28. ^ G. Japaridze, “Intuicionistický fragment logiky vypočítatelnosti na výrokové úrovni ". Annals of Pure and Applied Logic 147 (2007), strany 187-227.
  29. ^ G. Japaridze, “V systému CL12 logiky vypočítatelnosti ". Logickými metodami je informatika (v tisku).
  30. ^ G. Japaridze, “Směrem k aplikovaným teoriím založeným na logice vypočítatelnosti Archivováno 2015-06-29 na Wayback Machine ". Journal of Symbolic Logic 75 (2010), strany 565-601.
  31. ^ G. Japaridze, “Úvod do klaritmetiky I ". Information and Computation 209 (2011), strany 1312-1354.
  32. ^ G. Japaridze, “Úvod do klaritmetiky III ". Annals of Pure and Applied Logic 165 (2014), strany 241-252.
  33. ^ [1] Domovská stránka Giorgiho Japaridzeho
  34. ^ Profesor Villanova oceněn za výzkum (Philadelphia Inquirer článek)
  35. ^ Giorgi Japaridze: Výzkum a publikace