Wyniki wyszukiwania - Biblioteka Nauki

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

Ograniczanie wyników

1 Studia Philosophiae Christianae

1 2011

1 Wójtowicz K.

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: nieformalne dowody

Sortuj według:

Ogranicz wyniki do:

On (some) presuppositions in mathematics

100%

Wójtowicz K.

tom 47

nr 4

103-116

The paper considers the problem of presuppositions in mathematics and in philosophy of mathematics. Both mathematicians and philosophers of mathematics make certain assumptions about mathematics, e.g. that it is formalizable, that there are unsolvable problems in mathematics (or – on the contrary – that all such problems can be solved), or that mathematical proofs have no empirical content. In this context, three groups of problems are discussed, which seem particularly interesting: 1. The relation between the formal and the informal discourse in mathematics, 2. The question of “ignorabimus” in mathematics, 3. The a priori status of mathematics.

W artykule rozważa się problem presupozycji w matematyce i w filozofi matematyki. Zarówno matematycy jak i filozofowie matematyki przyjmują pewne założenia dotyczące matematyki, np. założenie o możliwości jej sformalizowania, założenie o istnieniu w matematyce problemów nierozstrzygalnych (lub - przeciwnie – że wszystkie problemy mogą być rozstrzygnięte), czy założenie, że dowody matematyczne nie mają treści empirycznej. W tym kontekście w artykule dyskutuje się trzy grupy problemów, które wydają się szczególnie interesujące: 1. relacja między formalnymi i pozaformalnymi dyskursami w matematyce, 2. kwestia „ignorabimus” w matematyce, 2. status aprioryczny matematyki.