Jan Lukasiewicz
 Jan Łukasiewicz (1935) | |
| Naixement | 21 de desembre de 1878 Lemberg, Galítsia, Àustria-Hongria |
|---|---|
| Mort | 13 de febrer de 1956 (als 77 anys) Dublín |
| Ciutadania | polonès |
| Camp | matemàtica |
| Treball(s) | notació polonesa |
| Religió | catòlic |
Jan Łukasiewicz (21 de desembre de 1878 – 13 de febrer de 1956) va ser un matemàtic polonès nascut a Lemberg, Galítsia, Àustria-Hongria (avui Lviv, Ucraïna). El seu principal treball matemàtic fou centrat al voltant de la lògica matemàtica. Va pensar de forma innovadora sobre la lògica proposicional tradicional, el principi de no-contradicció i la llei del tercer exclòs. Fou l'inventor de la notació polonesa, entorn de 1920.
Vida i obra
Un gran nombre d'axiomatizacions de la lògica proposicional es deuen a Łukasiewicz. Encara avui fem servir la seva axiomatització particularment elegant en solament tres axiomes. Pioner e investigador de la lògica multi-valor, va introduir el seu càlcul proposicional de tres valors a 1917. Va ser el primer en axiomatitzar explicitament el càlcul lògic no classic. Va escriure sobre la filosofía de la ciència. La seva aproximació a la creació de la teoria de la ciència més comunment acceptada es pot comparar a la del pensament de Karl Popper.
Łukasiewicz va inventar la notació polonesa (d'aquest nom per la seva nacionalitat) per les connexions lògiques a 1920. Aquesta notació és l'arrel de la idea de pila recursiva, una memòria d'ordinador amb un funcionament de que el darrer en entrar és el primer en sortir, proposada per alguns investigadors com Turing, Bauer i Hamblin, i implementada per primera vegada a 1957. Aquest disseny va portar al ordinador XDF9 multi-programat d'«English Electric» a 196, el qual tenia dos piles de registres per hardware d'aquesta mena. Un concepte similar hi ha darrera de la notació polonesa inversa (RPN, una notació de tipus postfix) a la calculadora Friden EX-130 i les seves successores, moltes calculadores Hewlett Packard, el llenguatge de programació Forth o el llenguatge de descripció de pàgines PostScript.
Al començament de la Segona Guerra Mundial va treballar en la Universitat secreta de Varsòvia («Uniwersytet Tajny Warszawski»), però al final de la guerra va trobar refugi a l'Alemanya nazi al poble de Hembsen, on va anar per la seva pròpia seguretat. Al acabar la guerra va emigrar a Irlanda on va treballar a la Universitat de Dublín fins la seva mort.
Cronologia
- 1878 - naixement
- 1890-1902 - Estudis amb Kazimierz Twardowski en Lemberg (Lwów, L'viv)
- 1902 - doctorat (matemàtiques i filosofia), Universitat de Lemberg, amb la distinció més alta possible
- 1906 - acabat la tesi d'habilitació, Universitat de Lemberg (Lwów, L'viv)
- 1906 - es fa conferenciant
- 1910 - assajos en el principi de no-contradicció i del tercer exclòs
- 1911 - professor extraordinari a Lemberg (Lwów, L'viv)
- 1915 - convidat al novament reoberta Universitat de Varsòvia
- 1916 - declarat nou Regne de Polònia
- 1917 - desenvolupa nous càlculs proposicionals
- 1919 - ministre polonès d'educació
- 1920-1939 - professor a Universitat de Varsòvia; funda amb Stanisław Leśniewski el Escola de Lwów-Varsòvia de lògica (vegeu també Alfred Tarski, Stefan Banach, Hugo Steinhaus, Zygmunt Janiszewski, Stefan Mazurkiewicz)
- 1928 - es casa amb Regina Barwińska
- 1946 - exili en Bèlgica
- 1946 - se li ofereix una càtedra a la University College Dublin
- 1953 - escriu autobiografia
- 1956 - mor en Dublín
Curiositats
- L'asteroide 27114 Lukasiewicz va ser batejat en honor seu.
- Una notació inspirada en la de Łukasiewicz només que postfix en comptes de prefix, denominada notació polonesa inversa, roman en ús en algunes de les calculadores de la Hewlett-Packard com la HP 12C, així com en els llenguatges de programació Postscript i Forth.
Lectura complementària
- Łukasiewicz, Jan. Aristotle’s Syllogistic from the Standpoint of Modern Formal Logic. Oxford University Press, 1957. Reimprès per Garland Publishing en 1987. ISBN 0-8240-6924-2
- Łukasiewicz, Jan. Elementy logiki matematycznej. (en polonès). Varsòvia, Państwowe Wydawnictwo Naukowe, 1958.
- Łukasiewicz, Jan. Elements of Mathematical Logic. Translated from Polish by Olgierd Wojtasiewicz. (en polonès). New York, Macmillan, 1964.
- Łukasiewicz, Jan. Ludwik Borkowski. Selected Works. North-Holland Pub. Co., 1970. ISBN 0720422523.
- Seddon, Frederick. Aristotle & Łukasiewicz on the Principle of Contradiction. Ames, Iowa: Modern Logic Pub., 1996. ISBN 1884905048.
- Wolenski, Jan. Philosophical Logic in Poland. Kluwer Academic Publishers, 1994. ISBN 0792322932.
Enllaços externs
- Jan Lukasiewicz-(castellà)
- Jan Woleński. Jan Łukasiewicz on the liar paradox, logical consequence, truth, and induction. "Mod. Log." Volume 4, Número 4 (1994), 392-400. (anglès)