Typ tekstu: Tekst pisany
Autor: Murawski Roman
Tytuł: Filozofia matematyki
Rok: 1995
Autor: Murawski Roman
Tytuł: Filozofia matematyki
Rok: 1995
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 Constructive Analysis. Otworzyła ona nowy okres w rozwoju konstruktywizmu. Pisał w niej: "Książka ta stawia sobie trzy cele: po
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
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 Constructive Analysis</>. Otworzyła ona nowy okres w rozwoju konstruktywizmu. Pisał w niej: "Książka ta stawia sobie trzy cele: po
