Informacja

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

Wyszukujesz frazę "thesis" wg kryterium: Temat


Wyświetlanie 1-2 z 2
Tytuł:
Gödel’s Philosophical Challenge (to Turing)
Autorzy:
Sieg, Wilfried
Powiązania:
https://bibliotekanauki.pl/articles/1796958.pdf
Data publikacji:
2020
Wydawca:
Polskie Towarzystwo Semiotyczne
Tematy:
computability
Church's Thesis
Turing's Thesis
incompleteness
undecid-ability
Post production systems
computable dynamical systems
Opis:
The incompleteness theorems constitute the mathematical core of Gödel’s philosophical challenge. They are given in their “most satisfactory form”, as Gödel saw it, when the formality of theories to which they apply is characterized via Turing machines. These machines codify human mechanical procedures that can be carried out without appealing to higher cognitive capacities. The question naturally arises, whether the theorems justify the claim that the human mind has mathematical abilities that are not shared by any machine. Turing admits that non-mechanical steps of intuition are needed to transcend particular formal theories. Thus, there is a substantive point in comparing Turing’s views with Gödel’s that is expressed by the assertion, “The human mind infinitely surpasses any finite machine”. The parallelisms and tensions between their views are taken as an inspiration for beginning to explore, computationally, the capacities of the human mathematical mind.
Źródło:
Studia Semiotyczne; 2020, 34, 1; 57-80
0137-6608
Pojawia się w:
Studia Semiotyczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Kilka uwag o Tezie Churcha i Aksjomacie Hilberta
Some remarks concerning Church's Thesis and Hilbert's Axiom
Autorzy:
Olszewski, Adam
Powiązania:
https://bibliotekanauki.pl/articles/690900.pdf
Data publikacji:
2006
Wydawca:
Copernicus Center Press
Tematy:
Church's Thesis
Hilbert's Axiom
philosophy of mathematics
Opis:
Some facts concerning Church's Thesis are first reminded, then Hilbert's Axiom of Thought is formulated. Hilbert proposed this axiom in 1905. He believed that it belongs to a domain of knowledge that is prior with respect to mathematics. An attempt is made to apply this axiom to some considerations concerning Church's Thesis
Źródło:
Zagadnienia Filozoficzne w Nauce; 2006, 38; 114-126
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-2 z 2

    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