Typ tekstu: Tekst pisany
Autor: Murawski Roman
Tytuł: Filozofia matematyki
Rok: 1995
szczególności matematyki infinitystycznej, o tyle dla Curry'ego systemy sformalizowane są substytutem matematyki klasycznej i mają ją całkowicie zastępować. Stąd wynikają też dalsze różnice. Otóż wykazanie, że jakiś system sformalizowany jest sprzeczny, było równoznaczne dla Hilberta z uznaniem go za bezużyteczny. Dla Curry'ego natomiast nie - utrzymywał on, że po to, by system uznać za akceptowalny czy użyteczny, "nie jest ani konieczny, ani wystarczający dowód jego niesprzeczności" (por. Outlines of a Formalist Philosophy of Mathematics, ). Na poparcie tej tezy przytacza on przykłady teorii sprzecznych, które okazywały się użyteczne i jako takie były szeroko stosowane - takie teorie znaleźć można zarówno w fizyce, jak i
szczególności matematyki <orig>infinitystycznej</>, o tyle dla Curry'ego systemy sformalizowane są substytutem matematyki klasycznej i mają ją całkowicie zastępować. Stąd wynikają też dalsze różnice. Otóż wykazanie, że jakiś system sformalizowany jest sprzeczny, było równoznaczne dla Hilberta z uznaniem go za bezużyteczny. Dla Curry'ego natomiast nie - utrzymywał on, że po to, by system uznać za akceptowalny czy użyteczny, "nie jest ani konieczny, ani wystarczający dowód jego niesprzeczności" (por. <name type="tit">Outlines of a Formalist Philosophy of Mathematics</>, <gap>). Na poparcie tej tezy przytacza on przykłady teorii sprzecznych, które okazywały się użyteczne i jako takie były szeroko stosowane - takie teorie znaleźć można zarówno w fizyce, jak i
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