Typ tekstu: Tekst pisany
Autor: Murawski Roman
Tytuł: Filozofia matematyki
Rok: 1995
wszystkie stwierdzenia matematyczne miały sens numeryczny. Oznacza to w szczególności, że powinniśmy być zawsze w stanie wskazać explicite konkretny obiekt, którego istnienie postulujemy w twierdzeniu egzystencjalnym - istnienia obiektu można bowiem dowieść tylko poprzez podanie procedury jego znalezienia. Nie wszystkie jednak obiekty matematyczne muszą być dane w postaci algorytmów - Bishop nie waha się używać pojęć abstrakcyjnych takich, jak "reguła" czy "operacja". Proponuje on: (1) unikać pojęć zdefiniowanych w sposób negatywny; (2) unikać definiowania pojęć zbędnych, tzn. spośród wielu możliwych, klasycznie równoważnych, ale konstruktywnie różnych definicji pojęcia należy wybrać jedną lub dwie, które są matematycznie płodne, a pozostałe odrzucić; (3) unikać pseudoogólności, tzn
wszystkie stwierdzenia matematyczne miały sens numeryczny. Oznacza to w szczególności, że powinniśmy być zawsze w stanie wskazać explicite konkretny obiekt, którego istnienie postulujemy w twierdzeniu egzystencjalnym - istnienia obiektu można bowiem dowieść tylko poprzez podanie procedury jego znalezienia. Nie wszystkie jednak obiekty matematyczne muszą być dane w postaci algorytmów - Bishop nie waha się używać pojęć abstrakcyjnych takich, jak "reguła" czy "operacja". Proponuje on: (1) unikać pojęć zdefiniowanych w sposób negatywny; (2) unikać definiowania pojęć zbędnych, tzn. spośród wielu możliwych, klasycznie równoważnych, ale konstruktywnie różnych definicji pojęcia należy wybrać jedną lub dwie, które są matematycznie płodne, a pozostałe odrzucić; (3) unikać pseudoogólności, tzn
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