stringtranslate.com

Stanislaw Jaśkowski

Stanisław Jaśkowski ( pronunciación polaca : [staˈɲsvaf jaɕˈkɔfskʲi] ; 22 de abril de 1906, en Varsovia - 16 de noviembre de 1965, en Varsovia) fue un lógico polaco que realizó importantes contribuciones a la teoría de la prueba y la semántica formal . Fue alumno de Jan Łukasiewicz y miembro de la Escuela de Lógica de Lwów-Varsovia . Se le considera uno de los fundadores de la deducción natural , que descubrió independientemente de Gerhard Gentzen en la década de 1930. [1] También es conocido por su investigación sobre la lógica paraconsistente . [2] Tras su muerte, su nombre fue añadido al Muro de la Fama de los Genios. Fue presidente (rector) de la Universidad Nicolás Copérnico de Toruń .

Vida y carrera

Nació en 1906 en Varsovia , hijo de Feliks Jaśkowski y Kazimiera (de soltera Dzierzbicka). En 1924 se graduó de la escuela secundaria en Zakopane y se matriculó en la Universidad de Varsovia para estudiar matemáticas . Aprendió lógica matemática con Jan Łukasiewicz y participó en los congresos de matemáticos polacos de Lviv (1927) y Vilnius (1931).

Tras el estallido de la Segunda Guerra Mundial , participó como voluntario en la Campaña de Septiembre . En 1942, fue encarcelado brevemente por los alemanes. En 1945, continuó su carrera científica en la Universidad de Toruń , donde defendió su habilitación y asumió el puesto de director de la Facultad de Lógica Matemática.

Desde 1950 colaboró ​​con el Instituto Estatal de Matemáticas de la Academia Polaca de Ciencias (PAN). Entre 1959 y 1962 fue rector de la universidad. Fue uno de los fundadores y el primer presidente de la filial de la Sociedad Polaca de Matemáticas en Toruń.

Jaśkowski es considerado uno de los fundadores de la deducción natural , que descubrió independientemente de Gerhard Gentzen en la década de 1930. [3] [4] El enfoque de Gentzen inicialmente se hizo más popular entre los lógicos porque podía usarse para demostrar el teorema de eliminación de cortes . Sin embargo, el de Jaśkowski se acerca más a la forma en que se realizan las demostraciones en la práctica. También fue uno de los primeros en proponer un cálculo formal de lógica tolerante a la inconsistencia (o paraconsistente) . Además, Jaśkowski fue un pionero en la investigación tanto de la lógica intuicionista como de la lógica libre .

Murió en 1965 en Varsovia y fue enterrado en el cementerio Powązki . [5]

Obras

en polaco

Véase también

Referencias

  1. ^ "Sistemas de deducción natural en lógica". plato.stanford.edu . 29 de octubre de 2021 . Consultado el 2 de mayo de 2023 .
  2. ^ Ricardo Arturo Nicolás-Francisco. "Sobre el enfoque polaco de la "modalización por vía" para la paraconsistencia" (PDF) . edukacja-filozoficzna.uw.edu.pl . Consultado el 2 de mayo de 2023 .
  3. ^ Jaśkowski, Stanisław (1934). "Sobre las reglas de suposiciones en lógica formal". Lógica polaca 1920–39 .
  4. ^ Indrzejczak, Andrzej (2018). "Stanisław Jaśkowski y los sistemas de deducción natural". La Escuela de Lvov-Varsovia. Pasado y presente . Estudios de lógica universal. págs. 465–483. doi :10.1007/978-3-319-65430-0_33. ISBN 978-3-319-65429-4. Recuperado el 2 de mayo de 2023 . {{cite book}}: |website=ignorado ( ayuda )
  5. ^ "Warszawskie Zabytkowe Pomniki Nagrobne" (en polaco). Archivado desde el original el 22 de abril de 2019 . Consultado el 2 de mayo de 2023 .

Fuentes

Enlaces externos