enero Łukasiewicz ( wukaˈɕɛvʲitʂ ˈjan ) ( 21 de diciembre, &ndash 1878 ; El el 13 de febrero, el 1956 ) eran matemático del polaco llevado en el Lemberg, Galicia, Austria-Hungría (ahora Lviv, Ucrania ). Su trabajo matemático importante se centró en la lógica matemática . Él pensó innovador de la lógica proposicional tradicional, del principio de la No-contradicción y de la ley del medio excluido.
Vida y trabajo
Łukasiewicz trabajó en las lógicas polivalentes su cálculo proposicional three-valued, introducido en 1917, era el primer cálculo lógico explícitamente axiomatized non-classical. Él es responsable de una de las axiomatizaciones más elegantes de la lógica proposicional clásica; tiene apenas tres axiomas y es una de las axiomatizaciones más usadas hoy. Él también persiguió la filosofía, acercándose a los aspectos humanos de la teoría-fabricación científica con ideas similar a los Karl Popper .
La notación polaca de Łukasiewicz (nombrado después de que su nacionalidad) de 1920 estaba en la raíz de la idea del apilado recurrente, a pasado-en, primer-hacia fuera almacén del de la memoria de computadora inventado por el Charles Hamblin [HTTP //www.html] de la Universidad Tecnológica de Nuevo Gales del Sur (NSWUT), y primero ejecutado en 1957. Este diseño llevó al sistema informático multiprogramado eléctrico inglés KDF9 de 1963, que tenía dos tales apilados de registro de hardware. Un concepto similar es la base de la notación polaca reversa (el RPN, que es notación de posfijo) de la calculadora de Friden EC-130 y sus sucesores, muchas calculadoras de Hewlett Packard, el adelante de programación el lenguaje, o el idioma descriptivo de la página de la posdata .
Łukasiewicz era un devoto católico.
Cronología
1878 llevado1890 - estudios 1902 con el Kazimierz Twardowski en Lemberg (Lwów, L'viv)
doctorado 1902 (matemáticas y filosofía), universidad de Lemberg con la distinción más alta posible
la tesis de la habilitación 1906 terminó, universidad de Lemberg (Lwów, L'viv)
el 1906 siente bien a un conferenciante
ensayos 1910 en el principio de no-contradicción y del centro excluido
profesor extraordinario 1911 en Lemberg (Lwów, L'viv)
1915 invitado a la universidad nuevamente abierta de nuevo de Varsovia
nuevo reino 1916 Polonia declarada
el 1917 desarrolla cálculo proposicional three-valued
ministro polaco 1919 de la educación
1920 - el profesor 1939 en la universidad de Varsovia funda con el Stanisław Leśniewski la escuela de Lwów-Varsovia de la lógica (véase también el Alfred Tarski, el Stefan Banach, el Hugo Steinhaus, el Zygmunt Janiszewski, el Stefan Mazurkiewicz )
el 1928 casa a Regina Barwińska
exilio 1946 en el Bélgica
el 1946 ofreció una silla de la Universidad Dublín
el 1953 escribe la autobiografía
dados 1956 en el Dublín
Ver también
Historia de la filosofía en PoloniaLógica de Łukasiewicz
Lectura adicional
.
| Random links: | Pasillo del St Benet, Oxford | Mejora enfocada | ¡Apenas tirarme! | Bellvue, Colorado | Edad mínima Convention, 1973 |