Typ tekstu: Tekst pisany
Autor: Murawski Roman
Tytuł: Filozofia matematyki
Rok: 1995
Autor: Murawski Roman
Tytuł: Filozofia matematyki
Rok: 1995
całej klasy KŹ ? Odpowiedź jest tu negatywna. Definicja klasy KŹ nie jest rekurencyjna (efektywna) i wymaga użycia kwantyfikacji ogólnej względem liczb naturalnych, a więc przyjęcia nieskończoności aktualnej. Radykalny konstruktywista, który nie akceptuje takich obiektów, musi więc rozważać poszczególne elementy klasy KŹ z osobna, nie może zaś badać całej klasy KŹ jako takiej.
Niech KŹ\ będzie klasą tych liczb rzeczywistych, które można aproksymować w opisany 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
Niech KŹ\ będzie klasą tych liczb rzeczywistych, które można aproksymować w opisany 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
całej klasy KŹ ? Odpowiedź jest tu negatywna. Definicja klasy KŹ nie jest rekurencyjna (efektywna) i wymaga użycia kwantyfikacji ogólnej względem liczb naturalnych, a więc przyjęcia nieskończoności aktualnej. Radykalny konstruktywista, który nie akceptuje takich obiektów, musi więc rozważać poszczególne elementy klasy KŹ z osobna, nie może zaś badać całej klasy KŹ jako takiej.<br>Niech KŹ\ będzie klasą tych liczb rzeczywistych, które można aproksymować w opisany 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.<br>Interesujące własności ma klasa ((KŹp)) otrzymana z
