Wszystkie pola: axioms - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Rola aksjomatu w matematyce współczesnej oraz w perspektywie dociekań nad aksjomatem wyboru
The role of axioms in contemporary mathematics in the view of investigations on axiom of choice
Autorzy:: Lewandowska, Katarzyna
Powiązania:: https://bibliotekanauki.pl/articles/691223.pdf
Data publikacji:: 2011
Wydawca:: Copernicus Center Press
Tematy:: axiomatization
axioms
axiom of choice
continuum hypothesis
Opis:: We show how philosophy effected the shape of mathematics when the proof of Well-Ordering Principle was formulated by Ernst Zermelo. We also consider the significance of philosophy of mathematics today. We concentrate on Solomon Feferman and Penelope Maddy attitude in the recent debate on the need of new axioms in mathematics.
Źródło:: Zagadnienia Filozoficzne w Nauce; 2011, 48; 148-165
0867-8286
2451-0602
Pojawia się w:: Zagadnienia Filozoficzne w Nauce
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 2.

Tytuł:: Najkrótsze aksjomaty modalnej logiki Łukasiewicza
The Shortest Axioms of Łukasiewicz’s Modal Logic
Autorzy:: Dywan, Zdzisław
Powiązania:: https://bibliotekanauki.pl/articles/488405.pdf
Data publikacji:: 2016
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: aksjomatyzacja
logika modalna
axiomatization
modal logic
Opis:: Pokazujemy, że formuła CLpEqLq aksjomatyzuje logikę modalną Łukasiewicza i nie istnieje krótszy aksjomat dla tej logiki.
We show that the formula CLpEqLq axiomatizes Łukasiewicz’s modal logic and that there exists no shorter axiom for it.
Źródło:: Roczniki Filozoficzne; 2016, 64, 2; 5-9
0035-7685
Pojawia się w:: Roczniki Filozoficzne
Dostawca treści:: Biblioteka Nauki

Artykuł

Informacja