Gennaro Auletta

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...

This book provides quick access to quantum mechanics without dealing with a true textbook that demands proper specialized studies in physics (and related mathematics) for about a couple of years. It consists of three parts: basic formalism, formal development, and ontological issues. The 70 figures are a crucial instrument for becoming acquainted...

Providing a new conceptual scaffold for further research in biology and cognition, this book introduces the new field of Cognitive Biology, treating developing organisms as information processors which use cognition to control and modify their environments....