| 书目名称 | Louis Couturat -Traité de Logique algorithmique |
| 编辑 | Oliver Schlaudt,Mohsen Sakhri |
| 视频video | |
| 概述 | Only one of several manuscripts Couturat mentioned in his correspondence that meanwhile has been rediscovered.Includes supplementary material: |
| 丛书名称 | Publications des Archives Henri Poincaré‘ Publications of the Henri Poincaré Archives |
| 图书封面 |  |
| 描述 | Louis Couturat (1868–1914) was an outstanding intellectual of the turn of the nineteenth to the twentieth century. He is known for his work in the philosophy of mathematics, for his critical and editorial work on Leibniz, for his attempt to popularise modern logic in France, for his commitment to an international auxiliary language, as well as for his extended correspondence with scholars and mathematicians from Great Britain, the United States, Italy, and Germany. From his correspondence we know of four unpublished manuscripts on logic and its history, which were largely complete and some of which must have been of considerable size. We publish here for the ?rst time in a critical edition the only one of these manuscripts that has been rediscovered: the Traité de Logique algorithmique, presumably written in the years 1899–1901. It is a highly interesting document of the academic reception and popularisation of symbolic logic in France. It provides evidence of the discussions and controversies which accompanied the creation of logic as a new branch of science. At the same time it completes the picture of Couturat’s work, which has been opened up to systematic study by the publicati |
| 出版日期 | Book 2010 |
| 关键词 | Annotation; Calc; Division; Louis Couturat; Multiplication; Scope; addition; algebra; algorithms; constant; de |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-0346-0411-6 |
| isbn_softcover | 978-3-0348-0307-6 |
| isbn_ebook | 978-3-0346-0411-6Series ISSN 2504-3714 Series E-ISSN 2504-3722 |
| issn_series | 2504-3714 |
| copyright | Springer Basel AG 2010 |
发表于 2025-3-21 16:31:13
