Jan Lukasiewicz
Jan Łukasiewicz (21 December, 1878 - 13 February, 1956) was a mathematician born in Lvov. 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. Łukasiewicz worked on multi-valued logics, including his own three-valued propositional calculus, the first non-classical logical 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 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 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.
Life Events
External Links
Reading
- Aristotle & Łukasiewicz on the Principle of Contradiction, ed. by Frederick Seddon (Modern Logic, 1996) ASIN 1884905048
- Philosophical Logic in Poland, ed. by Jan Wolenski (Kluwer, 1994) ISBN 0792322932
Referenced By
21 December | 21st December | Alfred Tarski | Classical logic | December 21 | December 21st | False (logic) | Formal logic | List of Poles | List of famous Poles | List of logicians | List of mathematical topics (J-L) | List of mathematicians | List of topics in logic | LoGic | Many-valued logic | Multi-valued logic | Multiple-valued logic | Non-Aristotelian logic | Polish notation | Postfix notation | Prefix notation | Reverse Polish Notation | Symbolic logic | Tarski | Term Logic | True (logic) | Two-valued logic
|
