Ruy de Queiroz

Ruy de Queiroz

Ruy J. Guerra B. de Queiroz (född 11 januari 1958 i Recife ) är docent vid Universidade Federal de Pernambuco och har betydande arbeten inom forskningsfälten matematisk logik, bevisteori, matematikens grunder och matematikens filosofi. Han är grundaren av Workshop on Logic, Language, Information and Computation (WoLLIC), som har anordnats årligen sedan 1994, vanligtvis i juni eller juli.

Ruy de Queiroz tog sin civilingenjör i elektroteknik från Escola Politecnica de Pernambuco 1980, sin M.Sc i informatik från Universidade Federal de Pernambuco 1984 och sin doktorsexamen i databehandling från Imperial College , London 1990, för som han försvarade avhandlingen Proof Theory and Computer Programming. En uppsats om beräkningens logiska grunder .

Forskningsprofil

I slutet av 1980-talet har Ruy de Queiroz erbjudit en omformulering av Martin-Löfs typteori baserad på en ny läsning av Wittgensteins "mening-är-användning", där förklaringen av konsekvenserna av en given proposition ger innebörden till logisk konstant som dominerar propositionen. Detta motsvarar en icke-dialogisk tolkning av logiska konstanter via effekten av elimineringsregler över introduktionsregler, vilket finner en parallell i Paul Lorenzens och Jaakko Hintikkas dialog/spel-semantik. Detta ledde till en typteori som heter "Meaning as Use Type Theory". Med hänvisning till användningen av Wittgensteins dictum har han visat att aspekten som rör förklaringen av konsekvenserna av en proposition finns sedan ett mycket tidigt datum då i ett brev till Bertrand Russell, där Wittgenstein hänvisar till att den universella kvantifieraren endast har betydelse när man ser vad som följer av det.

Dov Gabbay , varit engagerad i ett program för att ge en allmän redogörelse för den funktionella tolkningen av klassisk och icke-klassisk logik via begreppet märkt naturlig deduktion. Som ett resultat lades fram nya redogörelser för den funktionella tolkningen av den existentiella kvantifieraren, såväl som begreppet propositionell jämlikhet, varvid den senare möjliggjorde en omarbetning av Richard Statmans uppfattning om direkt beräkning och ett nytt förhållningssätt till dikotomi "avsiktliga kontra extensionella" redogörelser för propositionell jämlikhet via Curry-Howard-korrespondensen .

Sedan början av 2000-talet har Ruy de Queiroz, tillsammans med Anjolina de Oliveira, undersökt ett geometriskt perspektiv på naturlig deduktion baserat på en grafbaserad redogörelse för Kneales symmetriska naturliga deduktion.

Service till yrket

  • Medlem av den rådgivande gruppen till Rolf Schock-priset i logik och filosofi (2008 och 2011) priskommitté (Kungliga Vetenskapsakademien);
  • Chefredaktör, Logic Journal of the Interest Group in Pure and Applied Logics , Oxford University Press, 1993–nutid;
  • Biträdande redaktör, Journal of Computer System and Sciences , koordinator och medgrundare (tillsammans med D. Gabbay), intressegrupp för ren och tillämpad logik (IGPL), clearinghuset för European Association for Logic, Language and Information (FoLLI), 1990–nutid;
  • Gästredaktör för flera volymer (i samarbete med flera världsledande logiker och datavetare som John Baldwin, Sergei N. Artemov , Bruno Poizat, Dexter Kozen, Angus Macintyre, Grigori Mints, Wilfrid Hodges, Anuj Dawar, Hiroakira Ono, Makoto Kanzawa, Daniel Leivant, Lev Beklemishev) från Annals of Pure and Applied Logic, Theoretical Computer Science, Information and Computation, Journal of Computer System and Sciences, Fundamenta Informaticae, flera volymer av elektroniska anteckningar i teoretisk datavetenskap;
  • Skapare och huvudarrangör av serien av workshops WoLLIC ( http://www.cin.ufpe.br/~wollic );
  • Ledamot av redaktionen för International Directory of Logicians , D. Gabbay & J. Woods (red.), College Publications;
  • Invald ledamot, rådet, Föreningen för symbolisk logik, 2006-2008.

Nyckelpublikationer

  1. (med de Oliveira, A.) Den funktionella tolkningen av direkta beräkningar. Electronic Notes in Theoretical Computer Science 269:19-40, 2011.
  2. Om reduktionsregler, mening-som-användning och bevisteoretisk semantik, Studia Logica 90(2):211-247, november 2008.
  3.   (med de Oliveira, A.) Geometry of Deduction via Graphs of Proof. I Logic for Concurrency and Synchronisation, R. de Queiroz (red.), volym 18 av Trends in Logic-serien, Kluwer Acad. Pub., Dordrecht, juli 2003, ISBN 1-4020-1270-5 , s. 3–88.
  4. Mening, funktion, syfte, användbarhet, konsekvenser – sammankopplade begrepp. Logic Journal of the Interest Group in Pure and Applied Logics, 9(5):693-734, september 2001, Oxford Univ. Tryck.
  5. (med Gabbay, D.) Märkt naturligt avdrag. I logik, språk och resonemang. Essays in Honor of Dov Gabbay, HJ Ohlbach och U. Reyle (red.), volym 5 av Trends in Logic-serien, Kluwer Academic Publishers, Dordrecht, juni 1999, s. 173–250.
  6. (med de Oliveira, A.) En normaliseringsprocedur för det ekvationella fragmentet av märkt naturlig deduktion. Logic Journal of the Interest Group in Pure and Applied Logics, 7(2):173-215, 1999, Oxford Univ. Tryck. Fullständig version av en artikel presenterad på 2nd WoLLIC'95, Recife, Brasilien, juli 1995. Sammanfattningen publicerades i Journal of the Interest Group in Pure and Applied Logics 4(2):330-332, 1996.
  7. (med Gabbay, D.) The Functional Interpretation of the Existential Quantifier, i Bulletin of the Interest Group in Pure and Applied Logics 3(2-3):243-290, 1995. (Special Issue on Deduction and Language, gästredaktör: Ruth Kempson). Full version av en artikel presenterad på Logic Colloquium '91, Uppsala. Sammanfattning i JSL 58(2):753-754, 1993.
  8. Normalisering och språkspel. I Dialectica 48(2):83-123, 1994. (Tidig version presenterad på Logic Colloquium '88, Padova. Abstract i JSL 55:425, 1990.)
  9. (med Gabbay, D.) Extending the Curry-Howard-tolkning till linjär, relevant och annan resurslogik, i Journal of Symbolic Logic 57(4):1319-1365. Artikel presenterad på Logic Colloquium '90, Helsingfors. Sammanfattning i JSL 56(3):1139-1140, 1991.
  10. (med Maibaum, T.) Abstrakta datatyper och typteori: teorier som typer, i Zeitschrift für mathematische Logik und Grundlagen der Mathematik 37:149-166.
  11. (med Maibaum, T.) Proof Theory and Computer Programming, i Zeitschrift für mathematische Logik und Grundlagen der Mathematik 36:389-414.
  12. A Proof-Theoretic Account of Programming and the Rôle of Reduction Rules, i Dialectica 42(4):265-282.
  13.   de Queiroz, R. de Oliveira, A., & Gabbay, D.: 2011, The Functional Interpretation of Logical Deduction. Vol. 5 av Advances in Logic-serien. Imperial College Press / World Scientific. ISBN 978-981-4360-95-1 .

Undervisning

Ruy de Queiroz har undervisat i flera discipliner relaterade till logik och teoretisk datavetenskap, inklusive mängdteori, rekursionsteori (som en uppföljning av en kurs som ges av Solomon Feferman), logik för datavetenskap, diskret matematik, beräkningsteori, bevisteori , Modellteori, Kryptografins grunder. Han har haft sju Ph.D. studenter inom områdena matematisk logik och teoretisk datavetenskap.

Heder och utmärkelser

externa länkar

Hämtad från " https://en.wikipedia.org/w/index.php?title=Ruy_de_Queiroz&oldid=1117254816 "