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ę "incompleteness theorems" wg kryterium: Wszystkie pola

  Lista filtrów
Wyrównaj
Wyświetlanie 1-10 z 15
Tytuł:
A Few Remarks Regarding Gödels Incompleteness Theorems and Intensionality
Kilka uwag o twierdzeniu Gödla i intensjonalności
Autorzy:
Krzysztof Wójtowicz
Data publikacji:
2001-12-01
Dostawca treści:
CEJSH
Artykuł
Szczegóły
Tytuł:
Kilka uwag o twierdzeniu Gödla i intensjonalności
A Few Remarks Regarding Gödels Incompleteness Theorems and Intensionality
Autorzy:
Wójtowicz, Krzysztof
Data publikacji:
2001-12-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Dostawca treści:
Biblioteka Nauki
Artykuł
Szczegóły
Tytuł:
The anti-mechanist argument based on Gödels incompleteness theorems, indescribability of the concept of natural number and deviant encodings
Autorzy:
Quinon, Paula Autor
Współwytwórcy:
Międzynarodowe Centrum Ontologii Formalnej (Politechnika Warszawska)
Data publikacji:
2020
Tematy:
Twierdzenia Gödla
Komputacjonizm
Argument Lucasa-Penrose'a
Liczby naturalne
Teoria umysłu
Strukturalizm
Mechanicyzm
Hipoteza Churcha-Turinga
Pokaż więcej
Dostawca treści:
Academica
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
Wyświetlanie 1-10 z 15

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