Typ tekstu: Tekst pisany
Autor: Murawski Roman
Tytuł: Filozofia matematyki
Rok: 1995
za pomocą funkcji rekurencyjnej. W latach 1961­1974 Anatolij I. Malcew i Jurij L. Jerszow rozwinęli "teorię numeracji", która pozwala na przeniesienie pojęcia rekurencyjności z dziedziny liczb naturalnych na dowolne struktury przeliczalne.
Nurt drugi, tzn. konstruktywna matematyka rekurencyjna, związany jest przede wszystkim z Andriejem A. Markowem i stworzoną przez niego radziecką szkołą konstruktywistyczną (P. Nowikow. D. Boczwar, N. Szanin). W latach 1948­1949 sformułował on podstawowe zasady konstruktywnej matematyki rekurencyjnej. Są one następujące: (1) przedmiotem konstruktywnej matematyki rekurencyjnej są obiekty konstruktywne, dokładniej: słowa w różnych alfabetach; (2) dopuszcza się abstrakcję prowadzącą do tezy o istnieniu potencjalnym pewnych obiektów, o potencjalnej ich
za pomocą funkcji rekurencyjnej. W latach 1961­1974 Anatolij I. Malcew i Jurij L. Jerszow rozwinęli "teorię numeracji", która pozwala na przeniesienie pojęcia rekurencyjności z dziedziny liczb naturalnych na dowolne struktury przeliczalne.<br>Nurt drugi, tzn. konstruktywna matematyka rekurencyjna, związany jest przede wszystkim z Andriejem A. Markowem i stworzoną przez niego radziecką szkołą konstruktywistyczną (P. Nowikow. D. Boczwar, N. Szanin). W latach 1948­1949 sformułował on podstawowe zasady konstruktywnej matematyki rekurencyjnej. Są one następujące: (1) przedmiotem konstruktywnej matematyki rekurencyjnej są obiekty konstruktywne, dokładniej: słowa w różnych alfabetach; (2) dopuszcza się abstrakcję prowadzącą do tezy o istnieniu potencjalnym pewnych obiektów, o potencjalnej ich
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