Szanowny Użytkowniku,

25 maja 2018 roku zaczyna obowiązywać Rozporządzenie Parlamentu Europejskiego i Rady (UE) 2016/679 z dnia 27 kwietnia 2016 r. w sprawie ochrony osób fizycznych w związku z przetwarzaniem danych osobowych i w sprawie swobodnego przepływu takich danych oraz uchylenia dyrektywy 95/46/WE (określane jako „RODO”, „ORODO”, „GDPR” lub „Ogólne Rozporządzenie o Ochronie Danych”). W związku z tym informujemy, że wprowadziliśmy zmiany w Regulaminie Serwisu i Polityce Prywatności. Prosimy o poświęcenie kilku minut, aby się z nimi zapoznać. Możliwe jest to tutaj.

Rozumiem

Książka stanowi zbiór esejów poświęconych filozoficznym i logicznym zagadnieniom związanym z Tezą Churcha, m.in. problemom obecnym w teorii obliczalności, zagadnieniu dowodu Tezy Churcha, pojęciu funkcji obliczalnych, pseudorekurencyjności oraz komputacyjnemu modelowaniu w kognitywistyce.

Book description: 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 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.

Opis bibliograficzny: Church's Thesis: Logic, Mind and Nature, Adam Olszewski, Bartosz Brożek, Piotr Urbańczyk (eds.), Copernicus Center Press, Kraków 2014.


Pobierz obszerny fragment książki:

Church's Thesis (fragmenty)