Stanisław Leśniewski - Stanisław Leśniewski

Stanisław Leśniewski
Stanisław Leśniewski.jpg
Nació ( 30 de marzo de 1886 )30 de marzo de 1886
Serpukhov , Imperio Ruso
Murió 13 de mayo de 1939 (05/13/1939)(53 años)
Varsovia , Polonia
Nacionalidad polaco
alma mater Universidad de Lviv
Conocido por Cálculo de nombres
Mereología
Carrera científica
Los campos Matemáticas
Instituciones Universidad de Varsovia
Asesor de doctorado Kazimierz Twardowski
Estudiantes de doctorado Alfred Tarski
Influenciado Denis Miéville
Oficina de cifrado polaca
Biuro Szyfrów
Métodos y tecnología
Ubicaciones
Personal
Jefe adjunto
de inteligencia de radio
Jefe de la sección alemana
Maksymilian Ciężki
Jefe de la sección rusa
Jan Graliński
Criptólogo de la Sección rusa
Piotr Smoleński

Stanisław Leśniewski (30 de marzo de 1886 - 13 de mayo de 1939) fue un matemático , filósofo y lógico polaco .

Vida

Nació el 28 de marzo 1886 en Serpukhov , cerca de Moscú , con el padre Izydor, un ingeniero que trabaja en la construcción del ferrocarril Transiberiano , y su madre Helena ( de soltera Palczewska). Leśniewski fue a una escuela secundaria en Irkutsk . Más tarde asistió a conferencias de Hans Cornelius en la Universidad Ludwig Maximilian de Munich y conferencias de Wacław Sierpiński en la Universidad de Lviv .

Leśniewski perteneció a la primera generación de la escuela de lógica Lwów-Varsovia fundada por Kazimierz Twardowski . Junto con Alfred Tarski y Jan Łukasiewicz , formó la troika , que hizo de la Universidad de Varsovia , durante el interbellum , quizás el centro de investigación más importante del mundo para la lógica formal .

Su principal contribución fue la construcción de tres sistemas formales anidados , a los que dio los nombres derivados del griego de prototética, ontología y mereología . ("Cálculo de nombres" se usa a veces en lugar de ontología, un término ampliamente empleado en metafísica en un sentido muy diferente.) Una buena presentación de libro de texto de estos sistemas es la de Simons (1987), quien los compara y contrasta con las variantes de la mereología , más popular hoy en día, que desciende del cálculo de individuos de Leonard y Goodman. Simons aclara algo que es muy difícil de determinar leyendo a Leśniewski y sus estudiantes, a saber, que la mereología polaca es una teoría de primer orden isomorfa a lo que ahora se llama mereología extensional clásica .

Si bien publicó un buen cuerpo de trabajo (Leśniewski, 1992, son sus obras completas en traducción al inglés), algunas de ellas en alemán, el idioma principal para las matemáticas de su época, sus escritos tuvieron un impacto limitado debido a su estilo enigmático y altamente notación idiosincrásica. Leśniewski también fue un nominalista radical : rechazó la teoría axiomática de conjuntos en un momento en que esa teoría estaba en plena floración. Señaló la paradoja de Russell y cosas similares en apoyo de su rechazo, e ideó sus tres sistemas formales como una alternativa concreta a la teoría de conjuntos. Aunque Alfred Tarski fue su único alumno de doctorado, Leśniewski influyó fuertemente en toda una generación de lógicos y matemáticos polacos a través de su enseñanza en la Universidad de Varsovia. Es principalmente gracias a los escritos de sus estudiantes (por ejemplo, Srzednicki y Rickey 1984) que se conoce el pensamiento de Leśniewski.

Durante la guerra polaco-soviética de 1919 a 1921, Leśniewski sirvió a la causa de la independencia de Polonia mediante la ruptura de Rusia Soviética sistemas de cifrado para el polaco Mayor 's Cipher Bureau .

Leśniewski murió repentinamente de cáncer, poco antes de la invasión alemana de Polonia , que resultó en la destrucción de su Nachlass . Fue enterrado en el cementerio Powązki de Varsovia.

Obras

  • 1988. Lecture Notes in Logic . Kluwer. Tabla de contenido.
  • 1992. Obras completas . 2 vols. Kluwer. Tabla de contenido.
  • 1929, "Über Funktionen, deren Felder Gruppen mit Rücksicht auf diese Funktionen sind", Fundamenta Mathematicae 13: 319-32.
  • 1929, "Grundzüge eines neuen Systems der Grundlagen der Mathematik", Fundamenta Mathematicae 14: 1-81.
  • 1929, "Über Funktionen, deren Felder Abelsche Gruppen in bezug auf diese Funktionen sind", Fundamenta Mathematicae 14: 242-51.

Ver también

Referencias

  • Ivor Grattan-Guinness , 2000. En busca de raíces matemáticas . Princeton: Prensa de la Universidad de Princeton.
  • Luschei, Eugene, 1962. Los sistemas lógicos de Lesniewski . Amsterdam: Holanda Septentrional.
  • Miéville, Denis, 1984. "Un desarrollo de sistemas lógicos de Stanislas Lesniewski", Peter Lang, Estudios universitarios europeos.
  • Simons, Peter, 1987. Partes: Un estudio en ontología . Nueva York: Oxford University Press.
  • Srzednicki, JTJ y Rickey, VF , (eds.), 1984. Lesniewski's Systems: Ontology and Mereology . Dordrecht: Kluwer.
  • Surma, Stanislaw J. (editor) (1977/8) "Sobre los sistemas de Leśniewski, Actas de la XXII Conferencia sobre Historia de la Lógica", Studia Logica 36 (4): 247–426 MR 0476370
  • Urbaniak, Rafal, 2013. Sistemas de lógica y fundamentos de las matemáticas de Leśniewski , Dordrecht: Springer.
  • Wolenski, enero de 1989. Lógica y filosofía en la escuela Lwow-Warsaw . Dordrecht: Kluwer.

enlaces externos