Boole: from calculating numbers to calculating thoughts

DOI10.1007/978-3-642-13962-8_19zbMATH Open1286.03003OpenAlexW1597329918MaRDI QIDQ3576203FDOQ3576203

Authors: Michèle Friend 

Publication date: 29 July 2010

Published in: Programs, Proofs, Processes (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-13962-8_19

Recommendations

• scientific article; zbMATH DE number 6380796
• Boole
• A computational approach to George Boole's discovery of mathematical logic
• scientific article; zbMATH DE number 5672698
• scientific article; zbMATH DE number 1765606

zbMATH Keywords

George Boole

Mathematics Subject Classification ID

History of mathematics in the 19th century (01A55) History of mathematical logic and foundations (03-03)

Cited In (2)

• Is the principle of contradiction a consequence of \(x^2=x\)?
• Mathematical and technological computability

This page was built for publication: Boole: from calculating numbers to calculating thoughts

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