Typ tekstu: Tekst pisany
Autor: Murawski Roman
Tytuł: Filozofia matematyki
Rok: 1995
Pod adresem intuicjonizmu formułuje się też inne zarzuty. W szczególności zarzuca się to, że używane przez intuicjonistów pojęcie intuicji jest mętne i nieprecyzyjne, że wyprowadzanie z intuicji "dwujedności" praw arytmetyki jest właściwie pseudouzasadnieniem, czy też to, że odrzucenie matematyki klasycznej oparte jest na arbitralnej zmianie znaczeń terminów logicznych i matematycznych.
Intuicjonizm nie ma wielu konsekwentnych wyznawców - niemniej jednak wywarł on i nadal wywiera duży wpływ na badania nad podstawami matematyki. Okazuje się też, że logika intuicjonistyczna może być użytecznym narzędziem w różnych działach matematyki, na przykład w teorii toposów czy w teoretycznej computer science
Pod adresem intuicjonizmu formułuje się też inne zarzuty. W szczególności zarzuca się to, że używane przez intuicjonistów pojęcie intuicji jest mętne i nieprecyzyjne, że wyprowadzanie z intuicji "&lt;orig&gt;dwujedności&lt;/&gt;" praw arytmetyki jest właściwie pseudouzasadnieniem, czy też to, że odrzucenie matematyki klasycznej oparte jest na arbitralnej zmianie znaczeń terminów logicznych i matematycznych.<br>Intuicjonizm nie ma wielu konsekwentnych wyznawców - niemniej jednak wywarł on i nadal wywiera duży wpływ na badania nad podstawami matematyki. Okazuje się też, że logika intuicjonistyczna może być użytecznym narzędziem w różnych działach matematyki, na przykład w teorii toposów czy w teoretycznej &lt;foreign lang="eng"&gt;computer science
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