Ruy de Queiroz - Ruy de Queiroz - Wikipedia

Ruy de Queiroz bw

Ruy J. Guerra B. de Queiroz (narozen 11. ledna 1958 v Recife ) je docentem na Universidade Federal de Pernambuco a je držitelem významných prací ve výzkumných oblastech matematické logiky, teorie důkazů, základů matematiky a filozofie matematiky.[1] Je zakladatelem Workshop o logice, jazyce, informacích a výpočtu (WoLLIC), která se každoročně organizuje od roku 1994, obvykle v červnu nebo červenci.

Ruy de Queiroz získal titul B.Eng v oboru elektrotechniky od Escola Politecnica de Pernambuco v roce 1980, titul M.Sc v oboru informatiky od Universidade Federal de Pernambuco v roce 1984 a jeho Ph.D v oboru výpočetní techniky z Imperial College, Londýn v roce 1990, za kterou obhájil disertační práci Teorie důkazů a počítačové programování. Esej do logických základů výpočtu.

Profil výzkumu

Na konci 80. let Ruy de Queiroz nabídl přeformulování Teorie typu Martin-Löf na základě nového čtení Wittgenstein „Význam-je-použití“, kde vysvětlení důsledků dané výroku dává význam logické konstantě dominující výroku. To se rovná nedialogické interpretaci logických konstant pomocí efektu eliminačních pravidel nad úvodními pravidly, který je obdobou Paul Lorenzen a Jaakko Hintikka sémantika dialogu / hry. To vedlo k teorii typů s názvem „Význam jako teorie typů použití“.[2] S odkazem na použití Wittgensteinova výroku ukázal, že aspekt týkající se vysvětlení důsledků tvrzení existuje od velmi raného data, kdy v dopise Bertrand Russell, kde Wittgenstein odkazuje na univerzální kvantifikátor, který má význam pouze tehdy, když člověk vidí, co z něj vyplývá.[3]

Od později v 90. letech byl Ruy de Queiroz zaměstnán společně s Dov Gabbay, v rámci programu poskytujícího obecný popis funkční interpretace klasické a neklasické logiky prostřednictvím pojmu značená přirozená dedukce. V důsledku toho byly předloženy nové zprávy o funkční interpretaci existenčního kvantifikátoru, jakož i o pojmu výrokové rovnosti, který umožňuje přepracování Richard Statman pojem přímého výpočtu a nový přístup k dichotomii „intenzionální versus extenzivní“ účty výrokové rovnosti prostřednictvím Curry – Howardova korespondence.

Od počátku dvacátých let vyšetřuje Ruy de Queiroz společně s Anjolina de Oliveira, geometrická perspektiva přirozené dedukce na základě grafického popisu Kneale symetrický přirozený dedukce.[4]

Služba profesi

  • Člen poradní skupiny pro cenu Rolfa Schocka za logiku a filozofii (2008 a 2011), cenový výbor (Královská švédská akademie věd);
  • Šéfredaktor, Logický žurnál zájmové skupiny v čisté a aplikované logice, Oxford University Press, 1993 - dosud;
  • Náměstek redaktora, Journal of Computer System and Sciences, koordinátor a spoluzakladatel (s D. Gabbayem), zájmová skupina v čisté a aplikované logice (IGPL), clearingová společnost Evropské asociace pro logiku, jazyk a informace (FoLLI), 1990 – dosud;
  • Hostující editor několika svazků (ve spolupráci s několika světovými logiky a počítačovými vědci, jako je John Baldwin, Sergej N. Artemov, Bruno Poizat, Dexter Kozen, Angus Macintyre, Grigori Mints, Wilfrid Hodges, Anuj Dawar, Hiroakira Ono, Makoto Kanzawa, Daniel Leivant, Lev Beklemishev) z Annals of Pure and Applied Logic, Theoretical Computer Science, Information and Computation, Journal of Computer System and Sciences, Fundamenta Informaticae, několik svazků elektronických poznámek v teoretické informatice;
  • Tvůrce a hlavní organizátor série workshopů WoLLIC (http://www.cin.ufpe.br/~wollic );
  • Člen redakční rady Mezinárodního adresáře logiků, D. Gabbay & J. Woods (eds.), College Publications;
  • Zvolený člen, Rada, Sdružení pro symbolickou logiku, 2006-2008.

Klíčové publikace

  1. (s de Oliveira, A.) Funkční interpretace přímých výpočtů. Electronic Notes in Theoretical Computer Science 269: 19-40, 2011.
  2. O pravidlech redukce, významu při použití a teoretické korektuře sémantiky, Studia Logica 90 (2): 211-247, listopad 2008.
  3. (s de Oliveira, A.) Geometrie dedukce pomocí grafů důkazu. In Logic for Concurrency and Synchronization, R. de Queiroz (ed.), Volume 18 of the Trends in Logic series, Kluwer Acad. Pub., Dordrecht, červenec 2003, ISBN  1-4020-1270-5, s. 3–88.
  4. Význam, funkce, účel, užitečnost, důsledky - vzájemně propojené pojmy. Logic Journal of the Interest Group in Pure and Applied Logics, 9 (5): 693-734, září 2001, Oxford Univ. Lis.
  5. (s Gabbay, D.) Označený přírodní odpočet. V logice, jazyce a uvažování. Eseje na počest Dov Gabbaye, H. J. Ohlbach a U. Reyle (eds.), Svazek 5 série Trends in Logic, Kluwer Academic Publishers, Dordrecht, červen 1999, str. 173–250.
  6. (s de Oliveira, A.) Normalizační postup pro rovnovážný fragment označeného přírodního odpočtu. Logic Journal of the Interest Group in Pure and Applied Logics, 7 (2): 173-215, 1999, Oxford Univ. Lis. Plná verze článku prezentovaného na 2. WoLLIC'95, Recife, Brazílie, červenec 1995. Abstrakt se objevil v Journal of the Interest Group in Pure and Applied Logics 4 (2): 330-332, 1996.
  7. (with Gabbay, D.) The Functional Interpretation of the Existential Quantifier, in Bulletin of the Interest Group in Pure and Applied Logics 3 (2-3): 243-290, 1995. (Special Issue on Deduction and Language, Guest Editor: Ruth Kempson). Plná verze příspěvku prezentovaného na Logic Colloquium '91, Uppsala. Abstrakt v JSL 58 (2): 753-754, 1993.
  8. Normalizace a jazykové hry. In Dialectica 48 (2): 83-123, 1994. (Raná verze představená na Logic Colloquium '88, Padova. Abstrakt v JSL 55: 425, 1990.)
  9. (with Gabbay, D.) Extending the Curry-Howard implementation to linear, relevant and other resource logics, in Journal of Symbolic Logic 57 (4): 1319-1365. Příspěvek prezentovaný na Logic Colloquium '90, Helsinky. Abstrakt v JSL 56 (3): 1139-1140, 1991.
  10. (with Maibaum, T.) Abstract Data Types and Type Theory: Theories as Types, in Zeitschrift für mathematische Logik und Grundlagen der Mathematik 37: 149-166.
  11. (with Maibaum, T.) Proof Theory and Computer Programming, in Zeitschrift für mathematische Logik und Grundlagen der Mathematik 36: 389-414.
  12. Důkazně-teoretický popis programování a role pravidel redukce, Dialectica 42 (4): 265-282.
  13. de Queiroz, R. de Oliveira, A., & Gabbay, D .: 2011, The Functional Interpretation of Logical Deduction. Sv. 5 Advances in Logic series. Imperial College Press / World Scientific. ISBN  978-981-4360-95-1.

Výuka

Ruy de Queiroz učil několik oborů souvisejících s logikou a teoretickou informatikou, včetně Teorie množin, Teorie rekurze (v návaznosti na kurz od Solomona Fefermana), Logika pro informatiku, Diskrétní matematika, Teorie výpočtu, Teorie důkazů , Teorie modelu, Základy kryptografie. Měl sedm Ph.D. studenti v oborech Matematická logika a Teoretická informatika.

Vyznamenání a ocenění

Reference

  1. ^ GABBAY, Dov M .; WOODS, John (2009-04-27). Mezinárodní adresář logiků. College Publications. ISBN  978-1-904987-90-1. Citováno 2011-07-28.
  2. ^ de Queiroz, R. "Význam jako gramatika plus důsledky", in Dialectica 45(1):83-86.
  3. ^ de Queiroz, R. „Matematický jazyk a jeho sémantika: ukázat důsledky výroku znamená dát jeho význam“. Ve Weingartner, Paul a Schurz, Gerhard, redaktoři, Zprávy z třináctého mezinárodního Wittgensteinova sympozia 1988, díl 18 Schriftenreihe der Wittgenstein-Gesellschaft, Vídeň, 304pp. Hölder – Pichler – Tempsky, s. 259–266. Symposium konané v Kirchberg / Wechsel, Rakousko, 14. – 21. Srpna 1988.
  4. ^ de Queiroz; de Oliveira (2011). "Propoziční rovnost, typy identity a přímé výpočetní cesty". arXiv:1107.1901 [cs.LO ].

externí odkazy