Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Biblioteka  Akademii Nauk Stosowanych w Gnieźnie Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaBiblioteka  Akademii Nauk Stosowanych w Gnieźnie

Wyszukujesz frazę "Gödel incompleteness theorems" wg kryterium: Wszystkie pola

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-10 z 10
    Tytuł:
    Using Kreisel’s Way Out to Refute Lucas-Penrose-Putnam Anti-Functionalist Arguments
    Autorzy:
    Buechner, Jeff
    Data publikacji:
    2020
    Wydawca:
    Polskie Towarzystwo Semiotyczne
    Tematy:
    functionalism
    Computational Liar
    Gödel incompleteness theorems
    finitary computational machine
    mathematical certainty
    finitary reasoning
    epistemic refutation
    metaphysical refutation
    epistemic justification
    recursively unsolvable
    epistemic modality
    finitary computational description
    Pokaż więcej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Using Kreisel’s Way Out to Refute Lucas-Penrose-Putnam Anti-Functionalist Arguments
    Autorzy:
    Jeff Buechner
    Data publikacji:
    2020
    Tematy:
    functionalism
    Computational Liar
    Gödel incompleteness theorems
    finitary computational machine
    mathematical certainty
    finitary reasoning
    epistemic refutation
    metaphysical refutation
    epistemic justification
    recursively unsolvable
    epistemic modality
    finitary computational description
    Pokaż więcej
    Dostawca treści:
    CEJSH
    Artykuł
    Szczegóły
    Tytuł:
    The Anti-Mechanist Argument Based on Gödel’s Incompleteness Theorems, Indescribability of the Concept of Natural Number and Deviant Encodings
    Autorzy:
    Quinon, Paula
    Data publikacji:
    2020
    Wydawca:
    Polskie Towarzystwo Semiotyczne
    Tematy:
    the Lucas-Penrose argument
    the Church-Turing thesis
    Carnapian expli-cations
    natural numbers
    computation
    conceptual engineering
    conceptual fixed points
    conceptual vicious circles
    deviant encodings
    structuralism
    Pokaż więcej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    The Anti-Mechanist Argument Based on Gödel’s Incompleteness Theorems, Indescribability of the Concept of Natural Number and Deviant Encodings
    Autorzy:
    Paula Quinon
    Data publikacji:
    2020
    Tematy:
    the Lucas-Penrose argument
    the Church-Turing thesis
    Carnapian explications
    natural numbers
    computation
    conceptual engineering
    conceptual fixed points
    conceptual vicious circles
    deviant encodings
    structuralism
    Pokaż więcej
    Dostawca treści:
    CEJSH
    Artykuł
    Szczegóły
    Tytuł:
    What are the limits of mathematical explanation? Interview with Charles McCarty by Piotr Urbańczyk
    Autorzy:
    McCarty, David Charles
    Urbańczyk, Piotr
    Data publikacji:
    2016
    Wydawca:
    Copernicus Center Press
    Tematy:
    mathematics
    logic
    mathematical explanation
    limits of explanation
    mathematical proof
    proof-core
    intuitionism
    constructivsim
    Gödel’s Incompleteness Theorems
    intuitionistics mathematics
    classical mathematics
    Axiom of Choice
    Pokaż więcej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
      Wyświetlanie 1-10 z 10

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies