Wszystkie pola: matematyczna - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Zenon E. Roskal, Astronomia matematyczna w nauce greckiej
Autorzy:: Turek, Józef
Powiązania:: https://bibliotekanauki.pl/articles/2015698.pdf
Data publikacji:: 2004
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Źródło:: Roczniki Filozoficzne; 2004, 52, 1; 465-470
0035-7685
Pojawia się w:: Roczniki Filozoficzne
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 2.

Tytuł:: Logika indukcji a statystyka matematyczna
Inductive logic vs mathematical statistics
Autorzy:: Mikiewicz, Jan
Powiązania:: https://bibliotekanauki.pl/articles/1918817.pdf
Data publikacji:: 2020-10-27
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Opis:: The early concepts of the inductive logic have origin by ancient and medieval thinkers, but the true development we observe just in the second half of XIX century when the probability theory was applied there. In the XX century a real explosion of papers in this area is observed, but generally this literature is based on the subjective probabilities concepts. It is observed also an unpleasant gap between this direction and the excellent development of mathematical statistics which is very efficient technically, but the philosophical foundations of this apparatus were loitering downwards. It seems to be an misunderstanding that some controversies between statisticians caused a small statistical experience by the authors of inductive logic and vice versa − the methodology of mathematical statistics was not supported by the philosophical thought.
Źródło:: Roczniki Filozoficzne; 1994, 42, 3; 5-22
0035-7685
Pojawia się w:: Roczniki Filozoficzne
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 3.

Tytuł:: Mordechai Ben-Ari, Logika matematyczna w informatyce
Mordechai Ben-Ari, Logika matematyczna w informatyce [orig. Mathematical Logic for Computer Science], transl. from Eng. by M. Miłkowska, Warszawa: Wydawnictwa Naukowo-Techniczne 2005, pp. 343. Series: Klasyka Informatyki. ISBN 83-204-2972-2
Autorzy:: Krysiewicz, Jakub
Powiązania:: https://bibliotekanauki.pl/articles/2013304.pdf
Data publikacji:: 2007
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Źródło:: Roczniki Filozoficzne; 2007, 55, 2; 235-239
0035-7685
Pojawia się w:: Roczniki Filozoficzne
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 4.

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ł

Informacja