Wyniki wyszukiwania - Biblioteka Nauki

Ten serwis zostanie wyłączony 2025-02-11.

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

3 Wójtowicz K.

Znaleziono wyników: 3

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Zobowiązania ontologiczne a forma logiczna

100%

Wójtowicz K.

Edukacja Filozoficzna

2016

nr Wydanie specjalne: Filozofii Polacy potrzebują. Księga pamiątkowa ofiarowana Witoldowi Mackiewiczowi w siedemdziesiątą piątą rocznicę urodzin

305-318

Theory of Quantum Computation and Philosophy of Mathematics. Part II

100%

Wójtowicz K.

Logic and Logical Philosophy

2019

tom 28

nr 1

173-193

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).

Kategoria wyjaśniania a filozofia matematyki Gödla

100%

Wójtowicz K.

Studia Semiotyczne

2018

tom 32

nr 2

107-129

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.