produktów: 0

    0,00

    Przejdź do koszyka »
    Wróć do serwisu
    Szanowny kliencie używamy cookies w celu świadczenia usług. Jeśli nie blokujesz tych plików, to zgadzasz się na ich użycie. Możesz samodzielnie zarządzać cookies, zmieniając ustawienia przeglądarki.
    Church’s Thesis. Logic, Mind and Nature -

    Church’s Thesis. Logic, Mind and Nature

    Oprawa: twarda | Wysyłamy w: 3-5 dni roboczych
    Wydawnictwo: Copernicus Center Press

    cena:139,41zł
    cena detaliczna: 149,90zł
    Dodaj do koszyka »

    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.

    Czyszczenie magazynu

    Detale techniczne

    Oprawa: twarda | Ilość stron: 400 | Wydawnictwo: Copernicus Center Press | Data premiery: 2014-06-19 | Wymiary: 17.0x24.5cm | EAN: 9788378860099

     
     
    Metody płatności Nasi partnerzy logistyczni Sprawdzona usługa
    Metody płatności: Za Pobraniem, MasterCard, Visa, PayU, PayPal Nasi partnerzy logistyczni: XLM.pl, FedEx, Inpost
    • Szybka dostawa
    • Ochrona konsumenta
    • Polityka prywatności
    • 14-dniowe prawo zwrotu
    • Bezpieczne płatności
    • Szyfrowanie SSL