Mechanical Logic in Three-Dimensional Space - Gennaro Auletta
-35% koodilla BOOKS
Toimitus 31-37 arkipäivässä
30 päivän palautusoikeus
The book explores how build a mechanical inferences by making use of arithmetic operations on a string of numbers representing statements. In this way logic is reduced to a branch of the combinatory calculus. It covers the field of traditional logic by showing that any kind of inference can be mechanically reduced to three-variables and two-premise inferences. Meriological inferences can also be easily trea ... Täydellinen kuvaus
Saatat myös pitää
Kuvaus
The book explores how build a mechanical inferences by making use of arithmetic operations on a string of numbers representing statements. In this way logic is reduced to a branch of the combinatory calculus. It covers the field of traditional logic by showing that any kind of inference can be mechanically reduced to three-variables and two-premise inferences. Meriological inferences can also be easily treated in this way. The book covers the following subjects: structural description of space; three-variable inferences through products, sums, subtractions, and divisions; generalization to n variables; relations; and applications.
Lisätietoja
| Kirjoittaja | Gennaro Auletta |
|---|---|
| Julkaisija | Taylor & Francis Ltd (Sales) |
| Julkaisuvuosi | 2013 |
| Kannen tyyppi | Kovakantinen |
| EAN | 9789814411509 |