Hogyan vásároljunk
Kézbesítés
Vásárlási tanácsadó
Church's Thesis
Angol
151 b
30 nap a termék visszaküldésére
Ezt is ajánljuk
/
Kemény kötésű
32 875
Ft
/
Puha kötésű
9 385
Ft
A collection of essays dealing with issues connected with Church's Thesis from both the philosophical and logical perspectives. The Reader will learn about the problems present in the theory of computability, with a particular emphasis being placed on the role of Church's Thesis and the various attempts at its proving it. The contributions also concern the intuitive notion of computable functions, the general issue of proving theses, hypercomputation, pseudorecursiveness and the computational modeling of cognition. Moreover, some of them utilize formal means such as the first order theory of hereditarily finite sets or the procedural theory of concepts. Contributors Stewart Shapiro, Charles McCarty, Selmer Bringsjord, Jan Wolenski, Marie Duzí, Pavel Materna, Yuri Gurevich, Krzysztof Wojtowicz, Adam Olszewski, Bartosz Brozek, Naveen Sundar Govindarajulu, Paula Quinon, Paolo Cotogno, Csaba Henk, Stanislaw Krajewski, Marcin Milkowski, Kim Solin, Benjamin Wells.
Információ a könyvről
Angol
