Typ tekstu: Tekst pisany
Autor: Murawski Roman
Tytuł: Filozofia matematyki
Rok: 1995
wyżej sposób za pomocą funkcji klasy ((%\ C &\)). Można pokazać, że każda taka klasa jest ciałem domkniętym w sensie rzeczywistym oraz że dla d 8 e ciała KŹ\ i KŹ] są różne.
Interesujące własności ma klasa ((KŹp)) otrzymana z . Składa się ona z wszystkich liczb definiowalnych elementarnie, tzn. pokrywa się z uniwersum analizy konstruktywnej Hermanna Weyla. Liczby klasy ((KŹp)) są to dokładnie te liczby, które akceptuje konstruktywista nie odrzucający wszelkich zbiorów nieskończonych, ale żądający, by wszystkie takie zbiory były redukowalne do zbioru liczb naturalnych.
Otrzymaliśmy więc w ten sposób całą hierarchię różnych stopni konstruktywności (dla liczb rzeczywistych). Istotne jest tutaj to, że
wyżej sposób za pomocą funkcji klasy ((%\ C &amp;\)). Można pokazać, że każda taka klasa jest ciałem domkniętym w sensie rzeczywistym oraz że dla d 8 e ciała KŹ\ i KŹ] są różne.<br>Interesujące własności ma klasa ((KŹp)) otrzymana z &lt;gap&gt;. Składa się ona z wszystkich liczb definiowalnych elementarnie, tzn. pokrywa się z uniwersum analizy konstruktywnej Hermanna Weyla. Liczby klasy ((KŹp)) są to dokładnie te liczby, które akceptuje konstruktywista nie odrzucający wszelkich zbiorów nieskończonych, ale żądający, by wszystkie takie zbiory były redukowalne do zbioru liczb naturalnych.<br>Otrzymaliśmy więc w ten sposób całą hierarchię różnych stopni &lt;orig&gt;konstruktywności&lt;/&gt; (dla liczb rzeczywistych). Istotne jest tutaj to, że
zgłoś uwagę
Przeglądaj słowniki
Przeglądaj Słownik języka polskiego
Przeglądaj Wielki słownik ortograficzny
Przeglądaj Słownik języka polskiego pod red. W. Doroszewskiego