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ę "Fila, Marlena" wg kryterium: Autor


Wyświetlanie 1-6 z 6
Tytuł:
Kryzys podstaw matematyki przełomu XIX i XX wieku
Autorzy:
Fila, Marlena
Powiązania:
https://bibliotekanauki.pl/articles/429239.pdf
Data publikacji:
2014
Wydawca:
Uniwersytet Papieski Jana Pawła II w Krakowie
Tematy:
set theory
logicism
intuitionism
formalism
crisis of the basis of mathematics
finitary methods
Opis:
By the end of the 19th century, mathematics had become very intensively developed. Mathematical logic became an independent discipline, and in the 1880s Cantor published his work on set theory. All this led to questions about the consistency of mathematical theories and decidability theorems. Therefore, for the second time in the history of mathematics, there emerged a crisis of the basis of mathematics.There were a few ideas for overcoming the crisis. In this paper, there will be described three trends in the philosophy of mathematics in the late 19th and early 20th centuries: logicism (Frege), intuitionism (Brouwer) and formalism (Hilbert). These three trends were described from the philosophical point of view and in the context of the crisis. Moreover, for each of them there will be present the most important methodological assumptions, and I will briefly describe attempts to achieve them. This will describe the problem in such a way that allows for the grasping of important differences and similarities between logicism, intuitionism and formalism and better understand their causes.
Źródło:
Semina Scientiarum; 2014, 13
1644-3365
Pojawia się w:
Semina Scientiarum
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Recenzja: Lukas Benedikt Kraus Der Begriff des Kontinuums bei Bernard Bolzano. Academia Verlag. Sankt Augustin, 2014
Autorzy:
Fila, Marlena
Powiązania:
https://bibliotekanauki.pl/articles/1790593.pdf
Data publikacji:
2020-01-27
Wydawca:
Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie
Źródło:
Annales Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia; 2018, 10; 187-190
2080-9751
2450-341X
Pojawia się w:
Annales Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Filozofia i logika intuicjonizmu
Autorzy:
Fila, Marlena
Powiązania:
https://bibliotekanauki.pl/articles/429258.pdf
Data publikacji:
2015
Wydawca:
Uniwersytet Papieski Jana Pawła II w Krakowie
Tematy:
intuitionism
axioms
matrices truth-
Heyting system
Gödel theorem about the inadequacy of finite dimensional matrices for Heyting system
infinite sequence of matrices
Opis:
At the end of the 19th century in the fundamentals of mathematics appeared a crisis. It was caused by the paradoxes found in Cantor’s set theory. One of the ideas a resolving the crisis was intuitionism – one of the constructivist trends in the philosophy of mathematics. Its creator was Brouwer, the main representative was Heyting. In this paper described will be attempt to construct a suitable logic for philosophical intuitionism theses. In second paragraph Heyting system will be present – its axioms and matrices truth-. Later Gödel theorem about the inadequacy of finite dimensional matrices for this system will be explained. At the end this paper an infinite sequence of matrices adequate for Heyting axioms proposed by Jaśkowski will be described.
Źródło:
Semina Scientiarum; 2015, 14
1644-3365
Pojawia się w:
Semina Scientiarum
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Aksjomat ciagłosci w rozprawie Bernarda Bolzana Rein analytischer Beweis des Lehrsatzes, dass zwischen je zwei Werthen, die ein entgegengesetztes Resultat gewähren, wenigstens eine reelle Wurzel der Gleichung liege
Continuity axiom in Bolzano’s memoir Rein analytischer Beweis des Lehrsatzes, dass zwischen je zwei Werthen, die ein entgegengesetztes Resultat gewähren, wenigstens eine reelle Wurzel der Gleichung liege
Autorzy:
Fila, Marlena
Powiązania:
https://bibliotekanauki.pl/articles/1791027.pdf
Data publikacji:
2018-07-01
Wydawca:
Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie
Tematy:
Bernard Bolzano
Rein analytischer Beweis
continuity axiom
Archimedean axiom
Opis:
Bernard Bolzano’s paper Rein analytischer Beweis des Lehrsatzes, dass zwischen je zwei Werthen, die ein entgegengesetztes Resultat gewähren, wenigstens eine reelle Wurzel der Gleichung liege was published in 1817. It presents a ”purely analytic proof” of the intermediate value theorem for the polynomials of variable x. Aside from polynomials, Bolzano considers other kinds of functions, however the domain of these functions is not clearly defined. In this article, we show that the variable x ranges over real numbers. Specifically, we identify the axioms for the ordered field that Bolzano implicitly applies. We also identify the versions of continuity axiom, and show that while some of them are implicitly applied, others are explicitly stated as ”basics truths”.
Źródło:
Annales Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia; 2017, 9; 37-48
2080-9751
2450-341X
Pojawia się w:
Annales Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Cantor on Infinitesimals. Historical and Modern Perspective
Autorzy:
Błaszczyk, Piotr
Fila, Marlena
Powiązania:
https://bibliotekanauki.pl/articles/750052.pdf
Data publikacji:
2020
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
infinitesimals
infinite numbers
real numbers
hyperreals
ordinal numbers
Conway numbers
Opis:
In his 1887's Mitteilungen zur Lehre von Transfiniten, Cantor seeks to prove inconsistency of infinitesimals. We provide a detailed analysis of his argument from both historical and mathematical perspective. We show that while his historical analysis are questionable, the mathematical part of the argument is false.
Źródło:
Bulletin of the Section of Logic; 2020, 49, 2
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Refleksje o książce „Researching the History of Mathematics Education: An International Overview”, red. Fulvia Furinghetti, Alexander Karp
Autorzy:
Błaszczyk, Piotr
Domoradzki, Stanisław
Fila, Marlena
Powiązania:
https://bibliotekanauki.pl/articles/1398938.pdf
Data publikacji:
2019-06-30
Wydawca:
Polska Akademia Nauk. Instytut Historii Nauki im. Ludwika i Aleksandra Birkenmajerów
Źródło:
Analecta. Studia i Materiały z Dziejów Nauki; 2019, 28, 1; 254-266
1509-0957
Pojawia się w:
Analecta. Studia i Materiały z Dziejów Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-6 z 6

    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