Typ tekstu: Tekst pisany
Autor: Murawski Roman
Tytuł: Filozofia matematyki
Rok: 1995
Autor: Murawski Roman
Tytuł: Filozofia matematyki
Rok: 1995
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; ideologiczna, bo postuluje, by dążyć do stworzenia takiej matematyki, w której każde stwierdzenie będzie miało
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; ideologiczna, bo postuluje, by dążyć do stworzenia takiej matematyki, w której każde stwierdzenie będzie miało
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; ideologiczna, bo postuluje, by dążyć do stworzenia takiej matematyki, w której każde stwierdzenie będzie miało
