Vítáme Vás, můžete se přihlásit nebo vytvořit účet.

Cart

product (empty)

Košík je prázdný

Zboží celkem: 0 Kč

Termín obdržení zásilky
Česká pošta	Středa 15.01
PPL	Středa 15.01
Osobní odběr	Čtvrtek 16.01
Termíny jsou pouze orientační a mohou se lišit podle zvoleného typu platby. O Průběhu zásilky Vás budeme informovat e-mailem.
Při nákupu většího množství produktů negarantujeme dodání do zobrazeného data

Church’s Thesis. Logic, Mind and Nature

33 %

601 Kč 902 Kč

Sleva až 70% u třetiny knih

Popis knihy

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 Woleński, Marie Duží, Pavel Materna, Yuri Gurevich, Krzysztof Wójtowicz, Adam Olszewski, Bartosz Brożek, Naveen Sundar Govindarajulu, Paula Quinon, Paolo Cotogno, Csaba Henk, Stanisław Krajewski, Marcin Miłkowski, Kim Solin, Benjamin Wells.