Typ tekstu: Tekst pisany
Autor: Murawski Roman
Tytuł: Filozofia matematyki
Rok: 1995
liczb naturalnych, ale także zbiorów liczb naturalnych.
Kodując odpowiednio funkcje można klasyfikować za pomocą opisanych hierarchii nie tylko zbiory liczb naturalnych, ale również funkcje naturalne, tzn. funkcje o argumentach i wartościach w zbiorze liczb naturalnych.
Niech teraz K będzie dowolną ustaloną klasą funkcji naturalnych. Definiujemy klasę K liczb rzeczywistych a takich, że dla każdego n spełniona jest nierówność

gdzie f jest ustaloną funkcją z klasy K. Wybierając odpowiednią klasę K funkcji otrzymujemy w ten sposób różne klasy K spełniające pewne ogólne założenia konstruktywistyczne. I tak w szczególności, dla K = % = & (czyli dla klasy funkcji rekurencyjnych) otrzymujemy klasę KŹ rekurencyjnych liczb rzeczywistych. Jest to
liczb naturalnych, ale także zbiorów liczb naturalnych.<br>Kodując odpowiednio funkcje można klasyfikować za pomocą opisanych hierarchii nie tylko zbiory liczb naturalnych, ale również funkcje naturalne, tzn. funkcje o argumentach i wartościach w zbiorze liczb naturalnych. <br>Niech teraz K będzie dowolną ustaloną klasą funkcji naturalnych. Definiujemy klasę K liczb rzeczywistych a takich, że dla każdego n spełniona jest nierówność<br>&lt;gap&gt;<br>gdzie f jest ustaloną funkcją z klasy K. Wybierając odpowiednią klasę K funkcji otrzymujemy w ten sposób różne klasy K spełniające pewne ogólne założenia konstruktywistyczne. I tak w szczególności, dla K = % = &amp; (czyli dla klasy funkcji rekurencyjnych) otrzymujemy klasę KŹ rekurencyjnych liczb rzeczywistych. Jest to
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