Mechanical Logic in Three-Dimensional Space

Mechanical Logic in Three-Dimensional Space

by Gennaro Auletta

400 pages, 153.00 x 229.00 mm, 8 Color & 23 B/W

  • Hardcover
  • ISBN: 9789814411509
  • Published: October 2013

  • eBook - PDF
  • ISBN: 9789814411516

The book aims at building a mechanical way to do inferences by making use of arithmetic operations (addition, product, subtraction, division) 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. Possible applications of the field would be in artificial intelligence, classical computation, and quantum computation. 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.