Jan Łukasiewicz

From Wikipedia, the free encyclopedia

Contents 1 Life and work 2 Chronology 3 See also 4 External links 5 Reading

Jan Łukasiewicz (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. His name is pronounced [jan wuka'ɕɛvitʃ].

[edit] Life and work

Łukasiewicz worked on multi-valued logics, including his own three-valued propositional calculus. He is responsible for one of the most elegant axiomatizations of classical propositional logic; it has just three axioms and is one of the most used axiomatizations today. He also pursued philosophy, approaching the human aspects of scientific theory-making with ideas similar to those of Karl Popper.

Łukasiewicz's Polish notation (named after his nationality) of 1920 was at the root of the idea of the recursive stack, a last-in, first-out computer memory store invented by Charles Hamblin[1] of the New South Wales University of Technology (NSWUT), 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 (or postfix notation) of Hewlett Packard calculators, the Forth programming language, or the PostScript page description language.

Łukasiewicz was a devout Roman Catholic.

[edit] 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

[edit] See also

• History of philosophy in Poland

[edit] External links

• Polish Philosophy Page: Jan Łukasiewicz
• O'Connor, John J., and Edmund F. Robertson. "Jan Łukasiewicz". MacTutor History of Mathematics archive.

[edit] Reading

• Aristotle & Łukasiewicz on the Principle of Contradiction, ed. by Frederick Seddon (Modern Logic, 1996) ISBN 1884905048
• Philosophical Logic in Poland, ed. by Jan Wolenski (Kluwer, 1994) ISBN 0792322932
• Jan Łukasiewicz: Elements of Mathematical Logic, Warsaw, Państwowe Wydawnictwo Naukowe, 1963
• Jan Łukasiewicz (1970). Selected Works. North-Holland Pub. Co.. ISBN 0720422523.