Sushko, Roman (lógico)

sushko romano
Fecha de nacimiento 9 de noviembre de 1919( 09/11/1919 )
Lugar de nacimiento
Fecha de muerte 3 de junio de 1979( 03/06/1979 ) (59 años)
Un lugar de muerte
País
Lugar de trabajo
consejero científico Kazimir Aidukévich [2]

Roman Sushko ( polaco: Roman Suszko ; nacido el 9 de noviembre de 1919 en Podobor, fallecido el 3 de junio de 1979 en Varsovia) fue un lógico polaco que trabajó, entre otras cosas, en teoría de conjuntos , semántica y lingüística matemática. Hijo de Jerzy Sushko, químico. Creador de la lógica no fregeviana .

Biografía

Roman Sushko asistió a escuelas en Cieszyn, Cracovia, Lvov y Poznan. Durante la ocupación, trabajó en Cracovia, entre otros, como vigilante nocturno, portero y telefonista. Al mismo tiempo, estudió en cursos ilegales en la Universidad Jagiellonian, en la que se graduó el 15 de mayo de 1945 (el título de su tesis de maestría: "Logros de la lógica polaca"). De 1946 a 1952 trabajó en la Facultad de Matemáticas y Ciencias Naturales de la Universidad de Poznań en el Departamento de Teoría y Metodología de las Ciencias, dirigido por Kazimierz Aidukiewicz. En 1948 se doctoró, y en 1951 fue habilitado sobre la base de su tesis "Sistemas axiomáticos canónicos". En 1953 se trasladó al Departamento de Lógica de la Facultad de Filosofía de la Universidad de Varsovia, donde trabajó hasta 1965. En 1965 se trasladó al Instituto de Filosofía y Sociología de la Academia Polaca de Ciencias, donde dirigió el Departamento de Lógica de 1966 a 1969. De 1967 a 1969 y de 1970 a 1973 estuvo en los Estados Unidos como profesor invitado en el Instituto de Tecnología Stevens en Hoboken , Nueva Jersey . De 1974 a 1978 trabajó en la Escuela Superior de Agricultura y Pedagogía de Siedlce .

Notas

  1. ↑ Base de datos de la autoridad nacional checa
  2. ↑ Genealogía matemática  (inglés) - 1997.

Literatura

  Ir al elemento de Wikidata  sitios temáticos