Typ tekstu: Tekst pisany
Autor: Murawski Roman
Tytuł: Filozofia matematyki
Rok: 1995
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 zasadnie zakładać, że operacja następnika może być iterowana nieokreślenie wiele razy. Mogą więc istnieć uniwersa liczb naturalnych o różnej długości. Mogą one nie być zamknięte na takie operacje, jak mnożenie czy potęgowanie. Esenin-Volpin odrzuca też regułę odrywania, argumentując tak: Załóżmy, że wyprowadziliśmy formuły u O w oraz u i że długości tych dowodów są dostępnymi liczbami naturalnymi. Z tego nie wynika jednak wcale, że
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 zasadnie zakładać, że operacja następnika może być iterowana nieokreślenie wiele razy. Mogą więc istnieć uniwersa liczb naturalnych o różnej długości. Mogą one nie być zamknięte na takie operacje, jak mnożenie czy potęgowanie. Esenin-Volpin odrzuca też regułę odrywania, argumentując tak: Załóżmy, że wyprowadziliśmy formuły u O w oraz u i że długości tych dowodów są dostępnymi liczbami naturalnymi. Z tego nie wynika jednak wcale, że
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