| Jan Lukasiewicz |
Article Index for Jan |
Website Links For Jan |
Information AboutJan Lukasiewicz |
| CATEGORIES ABOUT JAN ŁUKASIEWICZ | |
| 1878 births | |
| lukasiewicz, jan | |
| 1956 deaths | |
| polish logicians | |
| polish mathematicians | |
| 20th century mathematicians | |
|
Ł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 , 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. Polish notation is also used in the Lisp Programming Language . 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. LIFE EVENTS
EXTERNAL LINKS READING
|
|
|