stringtranslate.com

Ruy de Queiroz

Ruy de Queiroz

Ruy J. Guerra B. de Queiroz (nacido el 11 de enero de 1958 en Recife ) es profesor asociado en la Universidade Federal de Pernambuco y tiene trabajos significativos en los campos de investigación de lógica matemática, teoría de la prueba, fundamentos de las matemáticas y filosofía de las matemáticas. [1] Es el fundador del Taller sobre Lógica, Lenguaje, Información y Computación (WoLLIC), que se organiza anualmente desde 1994, generalmente en junio o julio.

Ruy de Queiroz recibió su licenciatura en Ingeniería Eléctrica de la Escola Politecnica de Pernambuco en 1980, su maestría en Informática de la Universidade Federal de Pernambuco en 1984 y su doctorado en Computación del Imperial College de Londres en 1990, para el cual defendió la Tesis Proof Theory and Computer Programming. An Essay into the Logical Foundations of Computation .

Perfil de investigación

A finales de los años 1980, Ruy de Queiroz propuso una reformulación de la teoría de tipos de Martin-Löf basada en una lectura novedosa del "significado es uso" de Wittgenstein , donde la explicación de las consecuencias de una proposición dada da el significado a la constante lógica que domina la proposición. Esto equivale a una interpretación no dialógica de las constantes lógicas a través del efecto de las reglas de eliminación sobre las reglas de introducción, que encuentra un paralelo en la semántica de diálogo/juego de Paul Lorenzen y Jaakko Hintikka . Esto condujo a una teoría de tipos llamada "Teoría de tipos del significado como uso". [2] En referencia al uso del dictum de Wittgenstein, ha demostrado que el aspecto relativo a la explicación de las consecuencias de una proposición está presente desde una fecha muy temprana cuando en una carta a Bertrand Russell , Wittgenstein se refiere al cuantificador universal que solo tiene significado cuando uno ve lo que se sigue de él. [3]

Desde finales de los años 1990, Ruy de Queiroz se ha involucrado, junto con Dov Gabbay , en un programa para proporcionar una explicación general de la interpretación funcional de las lógicas clásicas y no clásicas a través de la noción de deducción natural etiquetada. Como resultado, se propusieron nuevas explicaciones de la interpretación funcional del cuantificador existencial, así como la noción de igualdad proposicional, esta última permitiendo una reformulación de la noción de computación directa de Richard Statman y un enfoque novedoso para la dicotomía de las explicaciones "intensionales versus extensionales" de la igualdad proposicional a través de la correspondencia Curry-Howard .

Desde principios de la década de 2000, Ruy de Queiroz ha estado investigando, junto con Anjolina de Oliveira, una perspectiva geométrica de la deducción natural basada en una explicación gráfica de la deducción natural simétrica de Kneale . [4]

Servicio a la profesión

Publicaciones clave

  1. (con de Oliveira, A.) La interpretación funcional de los cálculos directos. Electronic Notes in Theoretical Computer Science 269:19-40, 2011.
  2. Sobre reglas de reducción, significado como uso y semántica de teoría de la prueba, Studia Logica 90(2):211-247, noviembre de 2008.
  3. (con de Oliveira, A.) Geometría de la deducción mediante grafos de prueba. En Logic for Concurrency and Synchronisation, R. de Queiroz (ed.), volumen 18 de la serie Trends in Logic, Kluwer Acad. Pub., Dordrecht, julio de 2003, ISBN  1-4020-1270-5 , pp. 3–88.
  4. Significado, función, propósito, utilidad, consecuencias: conceptos interconectados. Logic Journal of the Interest Group in Pure and Applied Logics, 9(5):693-734, septiembre de 2001, Oxford Univ. Press.
  5. (con Gabbay, D.) Labelled Natural Deduction. En Logic, Language and Reasoning. Essays in Honor of Dov Gabbay, HJ Ohlbach and U. Reyle (eds.), volumen 5 de la serie Trends in Logic, Kluwer Academic Publishers, Dordrecht, junio de 1999, pp. 173–250.
  6. (con de Oliveira, A.) Un procedimiento de normalización para el fragmento ecuacional de la deducción natural etiquetada. Revista de lógica del grupo de interés en lógica pura y aplicada, 7(2):173-215, 1999, Oxford Univ. Press. Versión completa de un artículo presentado en el 2.º WoLLIC'95, Recife, Brasil, julio de 1995. El resumen apareció en la revista Journal of the Interest Group in Pure and Applied Logics 4(2):330-332, 1996.
  7. (con Gabbay, D.) La interpretación funcional del cuantificador existencial, en Bulletin of the Interest Group in Pure and Applied Logics 3(2-3):243-290, 1995. (Número especial sobre deducción y lenguaje, editora invitada: Ruth Kempson). Versión completa de un artículo presentado en el Logic Colloquium '91, Uppsala. Resumen en JSL 58(2):753-754, 1993.
  8. Normalización y juegos de lenguaje. En Dialectica 48(2):83-123, 1994. (Versión preliminar presentada en el Coloquio de Lógica '88, Padua. Resumen en JSL 55:425, 1990.)
  9. (con Gabbay, D.) Extendiendo la interpretación de Curry-Howard a lógicas lineales, relevantes y de otros recursos, en Journal of Symbolic Logic 57(4):1319-1365. Trabajo presentado en Logic Colloquium '90, Helsinki. Resumen en JSL 56(3):1139-1140, 1991.
  10. (con Maibaum, T.) Tipos de datos abstractos y teoría de tipos: teorías como tipos, en Zeitschrift für mathematische Logik und Grundlagen der Mathematik 37:149-166.
  11. (con Maibaum, T.) Teoría de la prueba y programación informática, en Zeitschrift für mathematische Logik und Grundlagen der Mathematik 36:389-414.
  12. Una explicación de la programación desde la teoría de pruebas y el papel de las reglas de reducción, en Dialectica 42(4):265-282.
  13. de Queiroz, R. de Oliveira, A., y Gabbay, D.: 2011, La interpretación funcional de la deducción lógica. Vol. 5 de la serie Advances in Logic. Imperial College Press / World Scientific. ISBN 978-981-4360-95-1 . 

Enseñanza

Ruy de Queiroz ha enseñado varias disciplinas relacionadas con la lógica y la informática teórica, incluyendo teoría de conjuntos, teoría de la recursión (como continuación de un curso impartido por Solomon Feferman), lógica para la informática, matemáticas discretas, teoría de la computación, teoría de la prueba, teoría de modelos y fundamentos de la criptografía. Ha tenido siete estudiantes de doctorado en los campos de la lógica matemática y la informática teórica.

Honores y premios

Referencias

  1. ^ GABBAY, Dov M.; WOODS, John (27 de abril de 2009). Directorio internacional de lógicos. Publicaciones universitarias. ISBN 978-1-904987-90-1. Consultado el 28 de julio de 2011 .
  2. ^ de Queiroz, R. "El significado como gramática más consecuencias", en Dialectica 45(1):83-86.
  3. ^ de Queiroz, R. "El lenguaje matemático y su semántica: mostrar las consecuencias de una proposición es dar su significado". En Weingartner, Paul y Schurz, Gerhard, editores, Informes del Decimotercer Simposio Internacional de Wittgenstein 1988 , volumen 18 de Schriftenreihe der Wittgenstein-Gesellschaft, Viena, 304pp. Hölder–Pichler–Tempsky, pp. 259–266. Simposio celebrado en Kirchberg/Wechsel, Austria, del 14 al 21 de agosto de 1988.
  4. ^ de Queiroz; de Oliveira (2011). "Igualdad proposicional, tipos identidad y caminos computacionales directos". arXiv : 1107.1901 [cs.LO].

Enlaces externos