Matemáticos

Línea de Tiempo Fotos Dinero Estampillas Bosquejo Búsqueda

Stanislaw Lesniewski

Fecha del nacimiento:

Lugar del nacimiento:

Fecha de la muerte:

Lugar de la muerte:

30 March 1886

Serpukhov (near Ivanovo-Vosniesiensk), Russia

13 May 1939

Warsaw, Poland

Presentación
ATENCIÓN - traducción automática de la versión inglesa

Stanislaw Lesniewski 's nombre debe ser escrito como Le niewski pero suele transcribirse como Lesniewski y haremos uso de esta forma a lo largo de este artículo. Lesniewski fue el padre de Isydor Lesniewski, un ingeniero ferroviario polaco. Es un trabajo que participan Isydor Lesniewski de ser enviados a los lugares donde se están construyendo vías férreas y en la etapa cuando se Stanislaw asisten a la escuela secundaria de la familia vivían en Siberia. Stanislaw allí a la escuela en la ciudad de Irkutsk.

Estudió en varias universidades, el gasto algún tiempo en Munich, donde asistió a los profesores por Hans Cornelius, antes de tomar su doctorado en la Universidad polaca de Lwów (ahora Lvov, Ucrania, pero entonces bajo el control de Austria). En Lwów estudió principalmente la filosofía y también tomó cursos de matemática, que asisten a clases de matemáticas y por Jozef Puzyna Waclaw Sierpinski. Lesniewski, cuya tesis fue Kazimierz Twardowski, publicó los dos documentos de una contribución al análisis de las propuestas existencial y un intento de una prueba del principio de contradicción ontológica mientras que su empresa de investigación de doctorado. Estos documentos fueron publicados en la lengua materna Lesniewski de polaco, pero en 1913 una traducción al ruso de los dos documentos se publicó bajo el título único de Estudios Lógico. Su doctorado fue otorgado en 1912.

En ese momento Jan Lukasiewicz enseñaba en Lwów, que se promueven desde Privatdozent a profesor extraordinario en 1911, y que influye en gran Lesniewski en el primer curso de lógica matemática que hizo allí. Una de las formas, en particular, que esta influencia se ejerció fue de más de la ley del medio excluido. Uno de los primeros proyectos Lesniewski había sido el de tratar de refutar este principio, pero Lukasiewicz ha publicado un apéndice de su publicación en 1910 el principio de la contracción de Aristóteles que causó Lesniewski para cambiar a la dirección de su investigación. Comenzó a estudiar la lógica formal y comenzó a hacer arduos esfuerzos para comprender Russell 's paradoja que había aprendido a través de Lukasiewicz.

En 1913 Lesniewski publicó un artículo sobre el derecho de los excluidos media y, a continuación, en el año siguiente, una publicación sobre Russell 's paradoja. Lwów él dejó de tomar un puesto docente en una escuela de Varsovia, pero tras el inicio de la Primera Guerra Mundial, que tomó la decisión de regresar a Rusia, pasó 1914-18 en Moscú, donde enseñó en una escuela secundaria polaco. A pesar de que había presentado sus primeras ideas sobre una nueva teoría de las clases que se evitarían las paradojas cuando se encontraba en Lwów, fue durante su tiempo en Moscú Lesniewski que publicó su teoría llamada mereology oficial. Damos algunos detalles más técnicos de esta teoría a continuación.

Tan pronto como Polonia fue liberada al final de la guerra, regresó a Varsovia Lesniewski. Allí comenzó a participar más en el estudio de la lógica matemática. Janiszewski Mazurkiewicz y había creado en Varsovia a finales de la guerra uno de los más fuertes de la matemática en las escuelas del mundo. Liderados por Janiszewski esta escuela está particularmente interesado en la teoría de conjuntos, y los fundamentos de la matemática. Lesniewski se sumaron con entusiasmo Janiszewski 's escuela de matemáticas. En 1919, aceptó la presidencia de la filosofía de las matemáticas en Varsovia donde Lukasiewicz ya la enseñanza.

Varios matemáticos en Varsovia, incluyendo Janiszewski, y Lesniewski Mazurkiewicz, jugó un papel importante en la creación de la revista fundamenta Mathematicae. Janiszewski Fue quien propuso el nombre de la revista en 1919, pero Lesniewski fue miembro del consejo editorial de influir en las políticas. El primer volumen apareció en 1920 y, aunque la intención era verdaderamente internacional para una revista, los editores deliberadamente había decidido hacer el primer volumen contiene trabajos de autores polacos. Janiszewski escribió:

... es mi intención de presentar, si es posible, todos los matemáticos polacos que trabajan en el campo de la teoría de conjuntos, a la que la revista está dedicado.

Lukasiewicz, que como hemos mencionado también en el personal en la Universidad de Varsovia en ese momento, comenzó a colaborar con Lesniewski. Lukasiewicz tiene una influencia considerable en polaco educación durante este período de se desempeñó como Ministro de Educación polaco en 1919 y fue dos veces rector de la Universidad de Varsovia. Durante este tiempo Lesniewski Lukasiewicz y fundó la Escuela de Varsovia de la Lógica. Ellos se reunieron alrededor de un impresionante grupo de estudiantes. Tarski es un estudiante de Lesniewski que han ayudado a crear esta escuela de fama internacional como lo avanzado de estudiante y colega de Lesniewski Lukasiewicz.

En 1927 publicó su primer Lesniewski importante labor sobre los cimientos de las matemáticas. Desde entonces hasta 1939 publicó una serie de doce documentos que sus teorías de lógica y matemáticas. Sus teorías se sobrepuso a las paradojas de Russell en la teoría de conjuntos. Los editores de escribir en la introducción a esa labor:

Para Lesniewski sus publicaciones no son la única manera de publicar su nuevo sistema de los fundamentos de la matemática. Él atribuye gran importancia a sus clases universitarias y conferencias casi enteramente sobre su propio trabajo.

Estas conferencias se ofrecen en. Afortunadamente Tarski pudo dar a conocer los resultados no publicados de Lesniewski que fueron destruidas en la Segunda Guerra Mundial.

El autor sostiene que de la importancia de Lesniewski del trabajo es proporcionar una alternativa al enfoque clásico de la lógica y los fundamentos de la matemática. Lesniewski su contribución a la lógica de concentrarse en la estructura de una frase, y que aboga por la idea tradicional de una frase como una materia, un objeto y una cópula. Su trabajo se concentra en matemáticas, teoría de conjuntos, donde su preocupación es la naturaleza de un conjunto. Lesniewski pone el énfasis principal en la distinción entre grupos en el sentido de distribución y establece en el sentido colectivo.

Lesniewski desarrollado a partir de los puntos de vista de su análisis de Russell 's paradoja la que llegó a la conclusión de confundir dos diferentes nociones de clase. Los tres principales sistemas de lógica que Lesniewski desarrollados fueron: Protothetic, una teoría de las proposiciones y functors proposicional, similares en poder de una teoría de los tipos proposicional, proporcionar un cálculo proposicional ampliado con las variables funcionales cuantificados; Ontología, que es una teoría de la axiomatised nombres comunes protothetic sobre la base de que puede ser caracterizado como un cruce entre la lógica tradicional y moderna teoría, que contiene, además de lo singular, también lo vacío y plural y una serie de otras características interesantes, y Mereology, que es un axioma de extensión de la ontología de teoría de clases muy diferentes de la teoría de conjuntos una teoría formal de la parte y el conjunto similar al cálculo de las personas.

Surma, Srzednicki, Barnett y Rickey como los editores de resumir las contribuciones de la Lesniewski:

Stanislaw Lesniewski fue uno de los co-fundadores de la escuela polaca de lógica y un autor de un nuevo sistema original y totalmente de los fundamentos de la lógica y las matemáticas. También fue el creador y precursor de muchas ideas como cuestión de rutina en los modernos libros de texto de la lógica y los fundamentos de la matemática. Aunque Lesniewski desempeñado un papel considerable en el período de desarrollo de la moderna lógica matemática y de los fundamentos de las matemáticas, sus sistemas no son tan conocidas como se merecen y el hecho es que sus sistemas no son generalmente aceptados como una herramienta en la fundacional de la práctica. Sin embargo, tienen gran influencia en la filosofía misma de la matemática.

Source:School of Mathematics and Statistics University of St Andrews, Scotland