Niezbędnik

Czy matematykę się odkrywa, czy wynajduje?

Spór o pochodzenie matematyki trwa od samego jej zarania. Czy przychodzi spoza codziennej rzeczywistości, z krainy abstrakcyjnych, doskonałych, niezależnych bytów, jak chciał tego Platon? A może raczej jest wynalazkiem ludzkości, jak uważają zwolennicy tzw. formalizmu? Oba obozy miały i mają pierwszoligową obsadę. Do pierwszego, poza Platonem, należeli np. matematycy Godfrey Harold Hardy (zm. 1947 r.) i Kurt Gödel (zm. 1978 r.). Dziś zapewne najbardziej znanym kontynuatorem tej tradycji pozostaje fizyk i matematyk brytyjski Roger Penrose.

Niezbędnik Inteligenta „88 Pytań do Nauki” (100054) z dnia 25.06.2012; Nauki ścisłe; s. 21