Jan Lukasiewicz
| |||
| Nom original | (pl) Jan Łukasiewicz  | ||
|---|---|---|---|
| Biografia | |||
| Naixement | 21 desembre 1878 Lviv (Ucraïna) | ||
| Mort | 13 febrer 1956 (77 anys) Dublín (Irlanda) | ||
| Sepultura | Mount Jerome Cemetery 53° 19′ 29″ N, 6° 16′ 48″ O / 53.3247°N,6.28°O | ||
| Rector de la universitat de Varsòvia | |||
| 1922 – 1923 | |||
| Ministre d'Educació de Polònia | |||
| gener 1919 – desembre 1919 | |||
| Dades personals | |||
| Formació | Universitat de Lviv Universitat de Varsòvia | ||
| Tesi acadèmica | O indukcji jako inwersji dedukcji (1903 ) | ||
| Director de tesi | Kazimierz Twardowski | ||
| Activitat | |||
| Camp de treball | Lògica i matemàtiques | ||
| Ocupació | matemàtic, professor d'universitat, filòsof, informàtic | ||
| Ocupador | Universitat de Varsòvia Universitat de Lviv | ||
| Partit | Camp d'Unitat Nacional | ||
| Membre de | |||
| Professors | Kazimierz Twardowski | ||
| Alumnes | Alfred Tarski i Mordchaj Wajsberg | ||
| Obra | |||
| Estudiant doctoral | Stanisław Jaśkowski, Jerzy Słupecki i Bolesław Sobociński | ||
| Família | |||
| Cònjuge | Regina Barwińska | ||
| Pares | Pawel Łukasiewicz i Leopoldine Holtzer | ||
| Premis | |||
 | |||
Jan Lukasiewicz (polonès: Jan Łukasiewicz) (Lviv, 21 de desembre de 1878 - Dublín, 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 terç exclòs. Fou l'inventor de la notació polonesa, entorn de 1920.
Vida i obra
[modifica]Un gran nombre d'axiomatitzacions 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 polivalent, va introduir el seu càlcul proposicional de tres valors el 1917. Va ser el primer a axiomatitzar explícitament el càlcul lògic no clàssic. Va escriure sobre la filosofia de la ciència. La seva aproximació a la creació de la teoria de la ciència més comunament 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 connectives lògiques a 1920. Aquesta notació és l'arrel de la idea de pila recursiva, una memòria d'ordinador amb un funcionament que el darrer en entrar és el primer a sortir, proposada per alguns investigadors com Turing, Bauer i Hamblin, i implementada per primera vegada a 1957. Aquest disseny va portar a l'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 darrere 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. En acabar la guerra va emigrar a Irlanda on va treballar a la Universitat de Dublín fins a la seva mort.
Cronologia
[modifica]- 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 l'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
[modifica]- 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.
Bibliografia addicional
[modifica]- Łukasiewicz, Jan. Aristotle’s Syllogistic from the Standpoint of Modern Formal Logic. Oxford University Press, 1957. Reimprès per Garland Publishing el 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
[modifica]
- O'Connor, John J.; Robertson, Edmund F. «Jan Lukasiewicz» (en anglès). MacTutor History of Mathematics archive. School of Mathematics and Statistics, University of St Andrews, Scotland. (anglès)
- Goe, George. «Łukasiewicz, Jan». Complete Dictionary of Scientific Biography, 2008. [Consulta: 15 febrer 2020]. (anglès)
- Simons, Peter. «Jan Łukasiewicz». Stanford Encyclopedia of Philosophy, 2014. [Consulta: 15 febrer 2020]. (anglès)
- 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)