Jan Łukasiewicz (21 December, 1878 - 13 February, 1956) was a Polish mathematician born in Lwów, Galicia (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 .

Ł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 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, the Forth programming language, or the PostScript page description language.

More on [ Jan Łukasiewicz ]

Wiley: All New Mathematics & Statistics Titles

Computational Intelligence and Feature Selection: Rough and Fuzzy Approaches
Richard Jensen, Qiang Shen Mon, 29 Sep 2008 04:00:00 -0000
  Computational Intelligence and Feature Selection provides a high level audience with both the background and fundamental ideas behind feature selection with an emphasis on those techniques based on rough and fuzzy sets, including their hybridizations. It introduces set theory, fuzzy set theory, rough set theory, and fuzzy-rough set theory, and illustrates the power and efficacy of the feature selection described through the use of real-world applications Read More...
Statistical Methods in e-Commerce Research
Wolfgang Jank, Galit Shmueli Mon, 29 Sep 2008 04:00:00 -0000
  This groundbreaking book introduces the application of statistical methodologies to e-Commerce data With the expanding presence of technology in today's economic market, the use of the Internet for buying, selling, and investing is growing more popular and public in nature. Statistical Methods in e-Commerce Research is the first book of its kind to focus on the statistical models and methods that are essential in order to analyze information from Read More...
Differential Equations with Maple, 3rd Edition
Brian R. Hunt, Ronald L. Lipsman, John E. Osborn, Jonathan M. Rosenberg Mon, 29 Sep 2008 04:00:00 -0000
Read More...
Fundamentals of Quality Control and Improvement, Student Solutions Manual, 3rd Edition
Amit Mitra Mon, 22 Sep 2008 04:00:00 -0000
  Incorporating modern ideas, methods, and philosophies of quality management, Fundamentals of Quality Control and Improvement, Third Edition presents a quantitative approach to management-oriented techniques and enforces the integration of statistical concepts into quality assurance methods. Utilizing a sound theoretical foundation and illustrating procedural techniques through real-world examples, Read More...
Handbook of Mathematical Relations in Particulate Materials Processing
Randall M. German Tue, 16 Sep 2008 04:00:00 -0000
  Handbook of Mathematical Relations in Particulate Materials Processing goes beyond the traditional barriers of only one material class by covering the major areas in ceramics, cemented carbides, powder metallurgy, and particulate materials. Suited for quick reference with stand alone definitions. It is the perfect complement to existing textbooks since it will simply cut to the key relations. Read More...
Loss Models: From Data to Decisions, 3rd Edition
Stuart A. Klugman, Harry H. Panjer, Gordon E. Willmot Tue, 09 Sep 2008 04:00:00 -0000
  The contents of this online product simulate test questions related to Exam C (old Exam 4) of the Society of Actuaries, the Casualty Actuarial Society and the Canadian Institute of Actuaries’ combined accreditation programs. Online ExamPrep randomly selects sample exercises and exam questions from thousands of previously used test questions, as well as  provides hints and step-by-step solutions. Read More...

Subscribe to Math RSS feed