Jan Łukasiewicz


Jan Łukasiewicz

Jan Łukasiewicz (pronounced|ˈjan wukaˈɕɛvʲitʂ) (21 December, 1878 – 13 February, 1956) was a Polish mathematician born in Lemberg, Galicia, Austria-Hungary (now Lviv, Ukraine). His major mathematical work centred on mathematical logic. He thought innovatively about traditional propositional logic, the principle of non-contradiction and the law of excluded middle.

Life and work

To Łukasiewicz we owe a number of axiomatizations of classical propositional logic. A particularly elegant axiomatization features a mere three axioms and is still invoked down to the present day. He was a pioneer investigator of multi-valued logics; his three-valued propositional calculus, introduced in 1917, was the first explicitly axiomatized non-classical logical calculus. He wrote on the philosophy of science. His approach to the making of scientific theories was similar to the thinking of Karl Popper.

Łukasiewicz invented the Polish notation (named after his nationality) for the logical connectives around 1920. This notation is the root of the idea of the "recursive stack", a last-in, first-out computer memory store proposed by several researchers including Turing, Bauer and Hamblin, and first implemented in 1957. This design led to the English Electric multi-programmed KDF9 computer system of 1963, which had two such hardware register stacks. A similar concept underlies the reverse Polish notation ("RPN", a postfix notation) of the Friden EC-130 calculator and its successors, many Hewlett Packard calculators, the Forth programming language, or the PostScript page description language.

Łukasiewicz was a devout Roman Catholic. During the occupation of Poland in WW2 he worked in the secret Warsaw Underground University (Tajny Uniwersytet Warszawski). At the end of the war he was living in Hembsen, where he had been brought for his own safety.

Chronology

*1878 Born
*1890-1902 Studies with Kazimierz Twardowski in Lemberg (Lwów, L'viv)
*1902 Doctorate (mathematics and philosophy), University of Lemberg with the highest distinction possible
*1906 Habilitation thesis completed, University of Lemberg (Lwów, L'viv)
*1906 Becomes a lecturer
*1910 essays on the principle of non-contradiction and the excluded middle
*1911 extraordinary professor at Lemberg (Lwów, L'viv)
*1915 invited to the newly reopened University of Warsaw
*1916 new Kingdom of Poland declared
*1917 Develops three-valued propositional calculus
*1919 Polish Minister of Education
*1920-1939 professor at Warsaw University founds with Stanisław Leśniewski the Lwów-Warsaw School of logic (see also Alfred Tarski, Stefan Banach, Hugo Steinhaus, Zygmunt Janiszewski, Stefan Mazurkiewicz)
*1928 marries Regina Barwińska
*1946 exile in Belgium
*1946 offered a chair by the University College Dublin
*1953 writes autobiography
*1956 Dies in Dublin

ee also

* 27114 Lukasiewicz
* History of philosophy in Poland
* Łukasiewicz logic

Further reading

*cite book |last=Łukasiewicz |first=Jan |authorlink=Jan Łukasiewicz | title=Aristotle’s Syllogistic from the Standpoint of Modern Formal Logic | publisher=Oxford University Press | year=1957 Reprinted by Garland Publishing in 1987. ISBN 0824069242
*cite book |last=Łukasiewicz |first=Jan |authorlink=Jan Łukasiewicz | title=Elementy logiki matematycznej. | publisher=Warsaw, Państwowe Wydawnictwo Naukowe | year=1958 | language=Polish |oclc=11322101
*cite book |last=Łukasiewicz |first=Jan |authorlink=Jan Łukasiewicz | title=Elements of Mathematical Logic. Translated from Polish by Olgierd Wojtasiewicz. | publisher=New York, Macmillan | year=1964 | copyright=1963 | language=English |oclc=671498
*cite book |last=Łukasiewicz |first=Jan |authorlink=Jan Łukasiewicz |editor=Ludwik Borkowski | title=Selected Works | publisher=North-Holland Pub. Co. | year=1970 |isbn=0720422523 |oclc=115237
*cite book |title=Aristotle & Łukasiewicz on the Principle of Contradiction |first=Frederick |last=Seddon |authorlink=Frederick Seddon |publisher=Ames, Iowa: Modern Logic Pub. |year=1996 |isbn=1884905048 |oclc=37533856
*cite book |title=Philosophical Logic in Poland |first=Jan |last=Wolenski |authorlink=Jan Wolenski |publisher=Kluwer Academic Publishers |year=1994 |isbn=0792322932 |oclc=27938071

External links

* [http://www.fmag.unict.it/~polphil/PolPhil/Lukas/Lukas.html Polish Philosophy Page: Jan Łukasiewicz]
*
*MathGenealogy |id=13346


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Jan Łukasiewicz — [jan wukaˈɕɛvʲitʃ] (* 21. Dezember 1878 in Lemberg; † 13. Februar 1956 in Dublin) war ein polnischer Philosoph, Mathematiker und Logiker. Inhaltsverzeichnis 1 Wirken 2 Werke …   Deutsch Wikipedia

  • Jan Łukasiewicz — (21 de diciembre de 1878 13 de febrero de 1956) fue un matemático polaco que nació en Lwów, Galicia (actual Ucrania). Su trabajo matemático se centró en la lógica matemática. Él pensó innovar en la tradicional lógica proposicional, el principio… …   Wikipedia Español

  • Jan Łukasiewicz — Jan Łukasiewicz, né le 21 décembre 1878 à Lwów, mort le 13 février 1956 à Dublin, est un philosophe et logicien polonais. Sommaire 1 Éléments biographiques 2 Travail mathématique …   Wikipédia en Français

  • Jan Lukasiewicz — Jan Łukasiewicz [jan wukaˈɕɛvʲitʃ] (* 21. Dezember 1878 in Lemberg; † 13. Februar 1956 in Dublin) war ein polnischer Philosoph, Mathematiker und Logiker. Inhaltsverzeichnis 1 Wirken 2 Werk …   Deutsch Wikipedia

  • Jan Lukasiewicz — Jan Łukasiewicz Jan Łukasiewicz, né le 21 décembre 1878 à Lvov, mort le 13 février 1956 à Dublin, est un philosophe et logicien polonais. Sommaire 1 Éléments biographiques 2 Travail mathématique …   Wikipédia en Français

  • Łukasiewicz — ist der Familienname folgender Personen: Ignacy Łukasiewicz (1822–1882), polnischer Chemiker, Apotheker und Erfinder Jan Łukasiewicz (1878–1956), polnischer Philosoph, Mathematiker und Logiker Diese Seite ist eine Begriffsklärun …   Deutsch Wikipedia

  • Łukasiewicz logic — In mathematics, Łukasiewicz logic is a non classical, many valued logic. It was originally defined by Jan Łukasiewicz as a three valued logic;Łukasiewicz J., 1920, O logice trójwartościowej (in Polish). Ruch filozoficzny 5:170–171. English… …   Wikipedia

  • Łukasiewicz — Notable people named Łukasiewicz include:* Ignacy Łukasiewicz (1822 1882), a Polish pharmacist and first distiller of clear kerosene * Jan Łukasiewicz (1878 1956), a Polish mathematician …   Wikipedia

  • Łukasiewicz —   [u̯uka ɕɛvitʃ], Jan, polnischer Logiker und Philosoph, * Lemberg 21. 1. 1878, ✝ Dublin 13. 2. 1956; nach längeren Auslandsaufenthalten (Berlin, Leiden, Graz) 1911 Professor in Lemberg, 1915 in Warschau, 1918 20 in Regierungs Ämtern, danach mit… …   Universal-Lexikon

  • Jan Zeh — (* 2. Juli 1817 in Łańcut; † 26. Januar 1897 in Boryslaw) war ein polnischer Phamarzeut.[1] Seine Eltern waren der Apotheker Johann Ludwig und Kristine. Die Familie war zwei Generationen zuvor aus Ungarn eingewandert. Jan Zeh absolvierte das… …   Deutsch Wikipedia


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.