The Two Exact Philosophies : An Essay about Turing Machines Problems Solved in Python

ISBN-13: 9783330025004 / Angielski / Miękka / 2016 / 52 str.

Juan Manuel Dato Ruiz

Opis

Technology is full of words, people who want to express how everything works. But we never have a way to see ourselves if the technology commented exists or not. This book is an opportunity to experiment by ourselves the reality of the Incompleteness Theorem of Gödel, the reality of solving problems of logic, the reality of proving in our own computers how Technology works. That is the why it is mainly a code in Python 3.x commented. This is, simply an ordered configuration of logic problems to get them solved or to get their best approximation for a limited time.

O autorze

Juan Manuel Dato is a researcher in the field of computability who has been researching for years on results that affect the world of mathematics and logic. Nowadays he is a freelance that sells cells in a boulevard in a Hospital of Spain.