Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Results found: 3

first rewind previous Page / 1 next fast forward last

Search results

help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
Studia Semiotyczne
|
2018
|
vol. 32
|
issue 2
107-129
PL
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.
EN
In the article, the philosophical significance of quantum computation theory for philosophy of mathematics is discussed. In particular, I examine the notion of “quantum-assisted proof” (QAP); the discussion sheds light on the problem of the nature of mathematical proof; the potential empirical aspects of mathematics and the realism-antirealism debate (in the context of the indispensability argument). I present a quasi-empiricist account of QAP’s, and discuss the possible impact on the discussions centered around the Enhanced Indispensabity Argument (EIA).
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.