Wszystkie pola: incompleteness theorems

Skocz do pozycji: 1.

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

Skocz do pozycji: 2.

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

Skocz do pozycji: 3.

Tytuł:: Diagonal Anti-Mechanist Arguments
Autorzy:: Kashtan, David
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; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Kategoria wyjaśniania a filozofia matematyki Gödla
Autorzy:: Wójtowicz, Krzysztof
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; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 5.

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

Skocz do pozycji: 6.

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

Informacja