Typ tekstu: Tekst pisany
Autor: Murawski Roman
Tytuł: Filozofia matematyki
Rok: 1995
Autor: Murawski Roman
Tytuł: Filozofia matematyki
Rok: 1995
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ć fundament pod przyszłe prace. Te cele bezpośrednie prowadzą do celu zasadniczego, jakim jest przyspieszenie nieuniknionego nadejścia dnia, kiedy matematyka konstruktywna stanie się akceptowaną normą". Postawa Bishopa może być określona jednocześnie jako ideologiczna i pragmatyczna
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ć fundament pod przyszłe prace. Te cele bezpośrednie prowadzą do celu zasadniczego, jakim jest przyspieszenie nieuniknionego nadejścia dnia, kiedy matematyka konstruktywna stanie się akceptowaną normą". Postawa Bishopa może być określona jednocześnie jako ideologiczna i pragmatyczna
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ć fundament pod przyszłe prace. Te cele bezpośrednie prowadzą do celu zasadniczego, jakim jest przyspieszenie nieuniknionego nadejścia dnia, kiedy matematyka konstruktywna stanie się akceptowaną normą". Postawa Bishopa może być określona jednocześnie jako ideologiczna i pragmatyczna
