Typ tekstu: Tekst pisany
Autor: Murawski Roman
Tytuł: Filozofia matematyki
Rok: 1995
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 w samej matematyce. Koronnym przykładem może tu być rachunek różniczkowy i całkowy Leibniza, oparty na pojęciu różniczki jako nieskończenie małej, a więc wielkości dodatniej, ale mniejszej od wszystkich liczb rzeczywistych dodatnich. Było to pojęcie sprzeczne. Mimo to rachunek różniczkowy i całkowy rozwijał się przez wieki i był z powodzeniem stosowany w różnych dziedzinach. Dopiero stworzona przez A. Robinsona w drugiej
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 w samej matematyce. Koronnym przykładem może tu być rachunek różniczkowy i całkowy Leibniza, oparty na pojęciu różniczki jako nieskończenie małej, a więc wielkości dodatniej, ale mniejszej od wszystkich liczb rzeczywistych dodatnich. Było to pojęcie sprzeczne. Mimo to rachunek różniczkowy i całkowy rozwijał się przez wieki i był z powodzeniem stosowany w różnych dziedzinach. Dopiero stworzona przez A. Robinsona w drugiej
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