George Boole, a forerunner of symbolic computation

DOI10.1007/3-540-44990-6_1MaRDI QIDQ4471935zbMATH OpenFDO

Authors Luis M. Laita, Luis de Ledesma, Alberto Brunori, Eugenio Roanes-Lozano

Publication date 30 July 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1930/19300001.htm

Mathematics Subject Classification ID

History of mathematics in the 19th century (01A55) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) Symbolic computation and algebraic computation (68W30)

Recommendations

• scientific article; zbMATH DE number 5672698
• A computational approach to George Boole's discovery of mathematical logic
• George Boole's deductive system
• The life and work of George Boole. A prelude to the digital age. With a foreword by Ian Stewart
• A Boole anthology. Recent and classical studies in the logic of George Boole. Including papers from the international Boole conference, Lausanne, Switzerland, September 26--27, 1997

Cited in

(7)

• George Boole's deductive system
• A computational approach to George Boole's discovery of mathematical logic
• Projection, consistency, and George Boole
• The late George Boole, LL. D., D. C. L., Professor of Mathematics, Queen's College, Cork; author of `The laws of thought', etc
• The life and work of George Boole. A prelude to the digital age. With a foreword by Ian Stewart
• Frege and the resolution calculus
• scientific article; zbMATH DE number 4197472 (Why is no real title available?)

This page was built for publication: George Boole, a forerunner of symbolic computation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4471935)