Leibniz and the Calculus Ratiocinator

DOI10.1007/978-3-319-93779-3_4zbMath1440.01003OpenAlexW2898504394MaRDI QIDQ4972857

Wolfgang Lenzen

Publication date: 27 November 2019

Published in: Philosophy of Engineering and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-93779-3_4

zbMATH Keywords

set theorylogicbinary systemcalculating machine

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) History of mathematics in the 18th century (01A50) History of mathematical logic and foundations (03-03) History of mathematics in the 17th century (01A45)

Related Items (1)

Mathematical and Technological Computability

This page was built for publication: Leibniz and the Calculus Ratiocinator