Typ tekstu: Tekst pisany
Autor: Murawski Roman
Tytuł: Filozofia matematyki
Rok: 1995
Autor: Murawski Roman
Tytuł: Filozofia matematyki
Rok: 1995
konstruktywizm jest, z jednej strony, bardziej radykalny niż w intuicjonizmie (odrzucają na przykład obiekty powstające poprzez kolejne wybory, w szczególności ciągi wyborów), a z drugiej - bardziej liberalny. To ostatnie widać najbardziej w przyjmowanej przez Markowa zasadzie (zwanej dziś zasadą Markowa), że jeśli obliczenia prowadzone przez algorytm nie mogą się nie zakończyć, znaczy to, że się kończą (jest to równoważne tezie, że dla dowolnej funkcji rekurencyjnej f: jeśli nie jest prawdą, że nie istnieje x takie, że f (x) = 0, to istnieje x takie, że f (x) = 0).
E. Konstruktywizm Bishopa
W roku 1967 Errett Bishop (19281983) opublikował książkę Foundations of
E. Konstruktywizm Bishopa
W roku 1967 Errett Bishop (19281983) opublikował książkę Foundations of
konstruktywizm jest, z jednej strony, bardziej radykalny niż w intuicjonizmie (odrzucają na przykład obiekty powstające poprzez kolejne wybory, w szczególności ciągi wyborów), a z drugiej - bardziej liberalny. To ostatnie widać najbardziej w przyjmowanej przez Markowa zasadzie (zwanej dziś zasadą Markowa), że jeśli obliczenia prowadzone przez algorytm nie mogą się nie zakończyć, znaczy to, że się kończą (jest to równoważne tezie, że dla dowolnej funkcji rekurencyjnej f: jeśli nie jest prawdą, że nie istnieje x takie, że f (x) = 0, to istnieje x takie, że f (x) = 0).<br><br><tit1>E. Konstruktywizm Bishopa</><br>W roku 1967 Errett Bishop (19281983) opublikował książkę <name type="tit">Foundations of
