Ł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, or the PostScript page description language.
JanLukasiewicz is known all over the world as the founder of the first non-classical logical calculus, the so-called trivalent or polivalent logic, and as one of the most prominent and significative logicians of this century.
Lukasiewicz occupied one of the two chairs of Philosophy at the new University of Warsaw, establishing fruitful relationships with the University's mathematicians and gathering round himself a group of young scholars, the most outstanding of whom was to be Alfred Tarski.
Lukasiewicz, J. "Curriculum vitae of JanLukasiewicz", Metalogicon 7 (2) (1994), pp.
Feeds |
Contact