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


Wyświetlanie 1-4 z 4
Tytuł:
Diagonal Anti-Mechanist Arguments
Autorzy:
Kashtan, David
Powiązania:
https://bibliotekanauki.pl/articles/1796972.pdf
Data publikacji:
2020
Wydawca:
Polskie Towarzystwo Semiotyczne
Tematy:
mechanism
mind
computability
incompleteness theorems
computation-al theory of mind
the cogito
diagonal arguments
Gödel
Descartes
Tarski
Turing
Chomsky
Opis:
Gödel’s first incompleteness theorem is sometimes said to refute mechanism about the mind. §1 contains a discussion of mechanism. We look into its origins, motivations and commitments, both in general and with regard to the human mind, and ask about the place of modern computers and modern cognitive science within the general mechanistic paradigm. In §2 we give a sharp formulation of a mechanistic thesis about the mind in terms of the mathematical notion of computability. We present the argument from Gödel’s theorem against mechanism in terms of this formulation and raise two objections, one of which is known but is here given a more precise formulation, and the other is new and based on the discussion in §1.
Źródło:
Studia Semiotyczne; 2020, 34, 1; 203-232
0137-6608
Pojawia się w:
Studia Semiotyczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
What are the limits of mathematical explanation? Interview with Charles McCarty by Piotr Urbańczyk
Autorzy:
McCarty, David Charles
Urbańczyk, Piotr
Powiązania:
https://bibliotekanauki.pl/articles/691211.pdf
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
Opis:
An interview with Charles McCarty by Piotr Urbańczyk concerning  mathematical explanation.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2016, 60; 119-137
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Kategoria wyjaśniania a filozofia matematyki Gödla
Autorzy:
Wójtowicz, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/561337.pdf
Data publikacji:
2018
Wydawca:
Polskie Towarzystwo Semiotyczne
Tematy:
realizm matematyczny
wyjaśnianie w matematyce
twierdzenia o niezupełności
uniwersum matematyczne
hipoteza kontinuum
mathematical realism
mathematical explanation
incompleteness theorems
mathematical universe
continuum hypothesis
Opis:
Artykuł dotyczy zagadnienia, w jakim sensie można stosować kategorię wyjaśnienia (charakterystyczną raczej dla nauk empirycznych) do interpretacji filozofii matematyki Kurta Gödla. Gödel – jako realista matematyczny – twierdzi bowiem, że w wypadku matematyki mamy do czynienia z niezależnymi od nas faktami. Jednym z owych faktów jest właśnie rozwiązywalność wszystkich dobrze postawionych problemów matematycznych – i ten fakt domaga się wyjaśnienia. Kluczem do zrozumienia stanowiska Gödla jest identyfikacja założeń, na których się opiera: (1) metafizyczny realizm: istnieje uniwersum matematyczne, ma ono charakter obiektywny, niezależny od nas; (2) optymizm epistemologiczny: jesteśmy wyposażeni w wystarczająco dobre środki poznawcze, aby uzyskać wgląd w owo uniwersum. Pojęcie rozwiązania problemu matematycznego Gödel rozumie znacznie szerzej niż jako podanie matematycznego dowodu – chodzi raczej o znalezienie wiarogodnych aksjomatów, prowadzących do rozwiązania. Stawiany w artykule problem analizuję na przykładzie hipotezy kontinuum.
Źródło:
Studia Semiotyczne; 2018, 32, 2; 107-129
0137-6608
Pojawia się w:
Studia Semiotyczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Using Kreisel’s Way Out to Refute Lucas-Penrose-Putnam Anti-Functionalist Arguments
Autorzy:
Buechner, Jeff
Powiązania:
https://bibliotekanauki.pl/articles/1796962.pdf
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
Opis:
Georg Kreisel (1972) suggested various ways out of the Gödel incompleteness theorems. His remarks on ways out were somewhat parenthetical, and suggestive. He did not develop them in subsequent papers. One aim of this paper is not to develop those remarks, but to show how the basic idea that they express can be used to reason about the Lucas-Penrose-Putnam arguments that human minds are not (entirely) finitary computational machines. Another aim is to show how one of Putnam’s two anti-functionalist arguments (that use the Gödel incompleteness theorems) avoids the logical error in the Lucas-Penrose arguments, extends those arguments, but succumbs to an absurdity. A third aim is to provide a categorization of the Lucas-Penrose-Putnam anti-functionalist arguments.
Źródło:
Studia Semiotyczne; 2020, 34, 1; 109-158
0137-6608
Pojawia się w:
Studia Semiotyczne
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-4 z 4

    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