Status poznawczy matematyki

Status poznawczy matematyki - Jarosław Mrozek

Pytania o charakter wiedzy matematycznej, jej odniesienie do świata materialnego oraz naszego umysłu były wielokrotnie stawiane w filozofii matematyki i udzielano na nie rozmaitych odpowiedzi. Wykorzystanie metod logiki do badań podstaw matematyki oraz rozwój filozofii nauki sprawiły to, że te stare zagadnienia w XX wieku ujrzano w nowym świetle. Zwłaszcza problem efektywności matematyki w naukach przyrodniczych (zagadnienie dostrzeżone m.in. przez I. Kanta) zyskał na znaczeniu w kontekście sukcesów zmatematyzowanego przyrodoznawstwa, a jednocześnie prawie powszechnego uważania matematyki za naukę formalną. Co więcej, matematyka rozwija się i zmienia swoje oblicze. W ciągu ostatnich dwustu lat nastąpił rozrost wiedzy matematycznej, jej podział na szereg teorii, znaczne poszerzenie zakresu badanych w niej pojęć i stawianych problemów. Metoda dedukcyjna nadal jest jedyną metodą uzasadniania w matematyce, lecz coraz większą rolę zaczynają w rozwijaniu wiedzy matematycznej odgrywać komputery. Konieczne zatem staje się ciągłe dokonywanie rewizji starych stanowisk w filozofii matematyki i dopasowywanie ich do aktualnego stanu nauk matematycznych