| Mechanical Logic in Three-Dimensional Space Contributor(s): Auletta, Gennaro (Author) |
|
 |
ISBN: 9814411507 ISBN-13: 9789814411509 Publisher: Jenny Stanford Publishing OUR PRICE: $152.00 Product Type: Hardcover Published: October 2013 |
| Additional Information |
| BISAC Categories: - Mathematics | Set Theory - Technology & Engineering | Robotics - Computers | Computer Engineering |
| Dewey: 511.3 |
| Physical Information: 0.9" H x 6.2" W x 9.6" (1.50 lbs) 400 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: 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. |