Results found: 1

Search results

Search:
in the keywords: nieformalne dowody

Sort By:

Limit search:

On (some) presuppositions in mathematics

100%

Wójtowicz K.

Studia Philosophiae Christianae

2011

vol. 47

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

Refine search results

1 Studia Philosophiae Christianae

1 2011

1 Wójtowicz K.

Search results

On (some) presuppositions in mathematics