,

Mechanical Logic in Three-Dimensional Space

Gebonden Engels 2013 1e druk 9789814411509
Verwachte levertijd ongeveer 11 werkdagen

Samenvatting

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.

Specificaties

ISBN13:9789814411509
Taal:Engels
Bindwijze:Gebonden
Aantal pagina's:400
Uitgever:Jenny Stanford Publishing
Druk:1

Lezersrecensies

Wees de eerste die een lezersrecensie schrijft!

Managementboek Top 100

Rubrieken

    Personen

      Trefwoorden

        Mechanical Logic in Three-Dimensional Space