书目名称 | George Boole | 副标题 | Selected Manuscripts | 编辑 | Ivor Grattan-Guinness (Professor of the History of | 视频video | | 概述 | is a richly detailed summary of Boole‘s life, career and accomplishments.", "Historians of logic will be indebted to them for making Boole‘s Nachlass readily available for study." -Theodore Hailperin. | 丛书名称 | Science Networks. Historical Studies | 图书封面 |  | 描述 | George Boole (1815-1864) is well known to mathematicians for his research and textbooks on the calculus, but his name has spread world-wide for his innovations in symbolic logic and the development and applications made since his day. The utility of "Boolean algebra" in computing has greatly increased curiosity in the nature and extent of his achievements. His work is most accessible in his two books on logic, "A mathematical analysis of logic" (1947) and "An investigation of the laws of thought" (1954). But at various times he wrote manuscript essays, especially after the publication of the second book; several were intended for a non-technical work, "The Philosophy of logic", which he was not able to complete. This volume contains an edited selection which not only relates them to Boole‘s publications and the historical context of his time, but also describes their strange history of family, followers and scholars have treid to confect an edition. The book will appeal to logicians, mathematicians and philosophers, and those interested in the histories of the corresponding subjects; and also students of the early Victorian Britain in which they were written. | 出版日期 | Book 1997 | 关键词 | Arithmetic; Finite; The Philosophy of Mathematics; algebra; calculus; formal logic; geometry; logic; mathema | 版次 | 1 | doi | https://doi.org/10.1007/978-3-0348-8859-2 | isbn_softcover | 978-3-0348-9805-8 | isbn_ebook | 978-3-0348-8859-2Series ISSN 1421-6329 Series E-ISSN 2296-6080 | issn_series | 1421-6329 | copyright | Springer Basel AG 1997 |
The information of publication is updating
|
|