Typ tekstu: Tekst pisany
Autor: Murawski Roman
Tytuł: Filozofia matematyki
Rok: 1995
prowadzącą do tezy o istnieniu potencjalnym pewnych obiektów, o potencjalnej ich realizowalności, ale nie abstrakcję nieskończoności aktualnej. Potencjalna realizowalność oznacza tu na przykład, że możemy uważać działanie dodawania za operację dobrze określoną dla wszystkich liczb naturalnych, ponieważ wiemy, jak ją wykonać dla dowolnie dużych liczb danych. Markow oparł swą matematykę konstruktywną na pojęciu algorytmu normalnego (zwanego też czasem algorytmem Markowa) (por. jego Teorija ałgorifmow). Wraz ze swymi uczniami i współpracownikami pokazał, jak można na podstawie przyjętych założeń konstruktywistycznych budować matematykę. Wiele wyników pokrywa się tu z wynikami uzyskanymi w ramach klasycznej matematyki rekurencyjnej.
Zauważmy, że Markow i jego szkoła reprezentują stanowisko
prowadzącą do tezy o istnieniu potencjalnym pewnych obiektów, o potencjalnej ich realizowalności, ale nie abstrakcję nieskończoności aktualnej. Potencjalna realizowalność oznacza tu na przykład, że możemy uważać działanie dodawania za operację dobrze określoną dla wszystkich liczb naturalnych, ponieważ wiemy, jak ją wykonać dla dowolnie dużych liczb danych. Markow oparł swą matematykę konstruktywną na pojęciu algorytmu normalnego (zwanego też czasem algorytmem Markowa) (por. jego Teorija ałgorifmow). Wraz ze swymi uczniami i współpracownikami pokazał, jak można na podstawie przyjętych założeń konstruktywistycznych budować matematykę. Wiele wyników pokrywa się tu z wynikami uzyskanymi w ramach klasycznej matematyki rekurencyjnej.<br>Zauważmy, że Markow i jego szkoła reprezentują stanowisko
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