Typ tekstu: Tekst pisany
Autor: Murawski Roman
Tytuł: Filozofia matematyki
Rok: 1995
reprezentowalne w sensie aktualistycznym.
Doktryna ultraintuicjonistyczna oparta na powyższych obserwacjach nie jest jednorodna, przeciwnie: w jej ramach mamy do czynienia z wielką rozmaitością koncepcji (A. S. Esenin-Volpin, R. J. Parikh, C. Wright, R. O. Gandy, E. Nelson). Najbardziej znana jest chyba koncepcja A. S. Esenina-Volpina, który w latach pięćdziesiątych jako pierwszy zaczął bronić stanowiska aktualistycznego podejmując dzieło oparcia matematyki na bazie ściśle finitystycznej (por. jego prace z lat 1961 i 1970). Zaczął od próby dowodu niesprzeczności teorii mnogości Zermela za pomocą środków "ultraintuicjonistycznych". Podważył pogląd, że istnieje dokładnie jeden, z dokładnością do izomorfizmu, ciąg liczb naturalnych - nie można bowiem
reprezentowalne w sensie aktualistycznym.<br>Doktryna ultraintuicjonistyczna oparta na powyższych obserwacjach nie jest jednorodna, przeciwnie: w jej ramach mamy do czynienia z wielką rozmaitością koncepcji (A. S. Esenin-Volpin, R. J. Parikh, C. Wright, R. O. Gandy, E. Nelson). Najbardziej znana jest chyba koncepcja A. S. Esenina-Volpina, który w latach pięćdziesiątych jako pierwszy zaczął bronić stanowiska aktualistycznego podejmując dzieło oparcia matematyki na bazie ściśle &lt;orig&gt;finitystycznej&lt;/&gt; (por. jego prace z lat 1961 i 1970). Zaczął od próby dowodu niesprzeczności teorii mnogości Zermela za pomocą środków "ultraintuicjonistycznych". Podważył pogląd, że istnieje dokładnie jeden, z dokładnością do izomorfizmu, ciąg liczb naturalnych - nie można bowiem
zgłoś uwagę
Przeglądaj słowniki
Przeglądaj Słownik języka polskiego
Przeglądaj Wielki słownik ortograficzny
Przeglądaj Słownik języka polskiego pod red. W. Doroszewskiego