Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "Wójtowicz, Krzysztof" wg kryterium: Autor


Wyświetlanie 1-4 z 4
Tytuł:
O uzasadnianiu w matematyce
On justification in mathematics
Autorzy:
Wójtowicz, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/2015959.pdf
Data publikacji:
2002
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
filozofia matematyki
formalizm
instrumentalizm
konceptualizm
realizm
philosophy of mathematics
formalism
instrumentalism
conceptualism
realism
Opis:
In this article the problem of justification of mathematical axioms (in the context of traditional standpoints in the philosophy of mathematics) is discussed. Stress is laid on the methodological analysis, which concerns the notion of “justification” itself. Concrete choices, known from mathematical practice are not discussed here. In the process of formulating an axiomatic theory, the problem of the choice of the appropriate axiom system and of the justification of this choice emerges. In particular, the following problems are connected with it:(1) The problem of the relation between the concept of “justification” and “truth” of mathematical sentences (when the classical definition of truth is assumed).(2) The problem which criteria of justification can be considered appropriate, and whether the problem of justification is well-posed.(3) The problem, whether these criteria can be applied only to axioms, in the process of constructing an axiomatic theory, or also to independent sentences (after their metamathematical status has been settled. In that case, extending a theory T by an independent sentence φ or ¬φ cannot be justified by a formal proof.) (4) The problem, whether the choice of a particular justificatory procedure is motivated philosophically; in particular, whether the problem of justification is considered well-posed. These questions are analysed in the context of classical philosophical standpoints in the philosophy of mathematics, such as: (1) strict formalism; (2) Hilbert's formalism; (3) mathematical instrumentalism; (4) intuitionism; (5) Quine's realism; (6) Gödel's realism. The standpoint of the “working mathematician” is also discussed.
Źródło:
Roczniki Filozoficzne; 2002, 50, 1; 527-551
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dowód matematyczny z punktu widzenia formalizmu matematycznego. Część II
Mathematical Proof from the Formalistic Viewpoint. Part II
Autorzy:
Wójtowicz, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/2013331.pdf
Data publikacji:
2007
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
program Hilberta
platonizm Fregego
intuicja matematyczna
Hilbert’s program
Frege’s Platonism
mathematical intuition
Opis:
In the second part I discuss Frege’s and Hilbert views on the nature of mathematical proof, in particular their discussion concerning the problem of implicit definitions. I also discuss Hilbert’s program and conclude with some remarks concerning the problem of the “decline of intuition” in the formalistic conception of mathematical proof.
Źródło:
Roczniki Filozoficzne; 2007, 55, 2; 139-153
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dowód matematyczny z punktu widzenia formalizmu matematycznego. Część I
Mathematical Proof from the Formalistic Viewpoint. Part I
Autorzy:
Wójtowicz, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/2013332.pdf
Data publikacji:
2007
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
Descartes
Berkeley
Peacock
Pasch
formalism
formalizm
Opis:
This article is the first one to examine the evolution of the notion of mathematical proof in a historical perspective. First I present the intuitive, approach of Descartes, according to which mathematical proof is based on self-evident principles. I follow with an analysis of Berkeley’s mathematical instrumentalism and argue that he can be considered a predecessor of modern formalism. The article also deals with the ideas of Peacock and Pasch, and their role in the development of the modern formalistic viewpoint.
Źródło:
Roczniki Filozoficzne; 2007, 55, 2; 123-138
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
O filozofii matematyki Imre Lakatosa
On Imre Lakatos’ Philosophy of Mathematics
Autorzy:
Wójtowicz, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/2013341.pdf
Data publikacji:
2007
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
quasi-empiryzm matematyczny
falsyfikator arytmetyczny
hipoteza Eulera
styl heurystyczny
antyfundacjonizm
mathematical quasi-empiricism
arithmetic falsifier
Euler’s hypothesis
heuristic style
anti-fundationism
Opis:
The paper is concerned with Imre Lakatos’ philosophy of mathematics; it contains a presentation of Lakatos’ views and a critical analysis. Lakatos formulates his conception on the basis of a case study – namely, the history of Euler’s hypothesis concerning polyhedrons. Differentiation of Euclidean and quasi-empirical theories depending on mechanisms of justification of the theses of a given science is crucial to Lakatos’ conception. Lakatos opposes the view according to which mathematics has a Euclidean character, i.e. it is created by deducing theorems from axioms. In mathematics we deal with the mechanism of formation of explaining hypotheses for basic propositions (which are propositions accepted in informal mathematics) and in this respect it reminds of empirical sciences. The paper — apart from presenting Lakatos’ conception — also contains several critical remarks. I assert that the concept of arithmetic falsifier for multiplicity theory he introduced is not well justified. I prove the thesis that although examples on which Lakatos’ conception is based do have a historical value, they do not have any reference to contemporary mathematics. And finally I assert that it is doubtful if the way of presenting mathematical problems that Lakatos used can have a didactic value.
Źródło:
Roczniki Filozoficzne; 2007, 55, 1; 229-247
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-4 z 4

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies