Jocuri Iteration Numbers: O introducere filosofică în teoria calculabilității

Recenzii ale cititorilor

În prezent, nu există recenzii ale cititorilor. Evaluarea se bazează pe 2 voturi.

Titlul original:

Games Iteration Numbers: A Philosophical Introduction to Computability Theory

Conținutul cărții:

Este posibil să concepem două obiecte perfect identice? Este posibilă identitatea fără.

individualitate? Cum ar fi un univers perfect simetric? Dezbaterea filosofică actuală cu privire la identitate și, în special, la necesitatea principiului lui Leibniz al identității indiscernabilelor este complexă și multifațetată. Lucrări recente au indicat faptul că problema devine din ce în ce mai complexă dacă o aplicăm obiectelor matematice. Este posibil să vorbim de "identitate" pentru numere? Cum putem identifica numerele?

Bazându-se pe relatările filosofice privind identitatea și individualitatea în metafizica contemporană (analitică și continentală), această carte explorează o nouă cale. Autorul susține că este posibilă o identitate fără individualitate. Prin intermediul unei critici a ideii de identitate a indiscernabililor, cartea formulează conceptul de "identitate multiplă", prin conceptul de "iterație". Iterarea este o transgresiune specifică a identității indiscernabile, care rezultă din ciocnirea a două forme de identitate: identitatea calitativă și identitatea numerică. Cu toate acestea, o pereche de obiecte perfect identice rămâne un paradox, o contradicție.

Prima teză a cărții este că iterația este o structură logică paraconsistentă și dialethetică, care permite contradicția adevărată. Autorul aplică lucrări recente în logica non-standard și dialetheism (Priest, Routley, Berto) pentru a ilustra cum putem da sens ideii că obiectele pot fi perfect identice, dar discernabile.

A doua teză a cărții este că iterația este baza enumerabilității și calculabilității. Un "obiect calculabil" este un obiect construit pe baza unei logici iterative. Este posibil să re-.

Interpretarea tuturor conceptelor primare ale teoriei calculabilității prin logica iterației.