Typ tekstu: Tekst pisany
Autor: Murawski Roman
Tytuł: Filozofia matematyki
Rok: 1995
Autor: Murawski Roman
Tytuł: Filozofia matematyki
Rok: 1995
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 Constructive Analysis. Otworzyła ona nowy okres w rozwoju konstruktywizmu. Pisał w niej: "Książka ta stawia sobie trzy cele: po pierwsze, przedstawić konstruktywny punkt widzenia, po drugie, pokazać, że program konstruktywistyczny może być z powodzeniem zrealizowany, po trzecie, położyć
E. Konstruktywizm Bishopa
W roku 1967 Errett Bishop (19281983) opublikował książkę Foundations of Constructive Analysis. Otworzyła ona nowy okres w rozwoju konstruktywizmu. Pisał w niej: "Książka ta stawia sobie trzy cele: po pierwsze, przedstawić konstruktywny punkt widzenia, po drugie, pokazać, że program konstruktywistyczny może być z powodzeniem zrealizowany, po trzecie, położyć
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 Constructive Analysis</>. Otworzyła ona nowy okres w rozwoju konstruktywizmu. Pisał w niej: "Książka ta stawia sobie trzy cele: po pierwsze, przedstawić konstruktywny punkt widzenia, po drugie, pokazać, że program konstruktywistyczny może być z powodzeniem zrealizowany, po trzecie, położyć
