Tudományos népszerűsítő beszélgetés a matematikafilozófiáról

Évekkel ezelőtt a Klubrádió Hétzáró című műsorában hangzott el az alábbi beszélgetés:

(mp3)

A vendég Serény György matematikus volt, aki matematikafilozófiával is foglalkozik és azt meglehetősen "hard-formalista" módon teszi. A cikkek, amiket publikál módszereiben matematikai jellegűek, bár filozófiai vonatkozásaik jelentősek -- elég csak a legutóbbiak címére tekinteni (The Liar cannot be solved, The diagonal lemma as the formalized Grelling paradox, Boolos-style proofs of limitative theorems, bővebben itt: (html)). Magában a beszélgetésben Serény a matematika természetét a nyelv használatelmélete felől világítja meg, a riporter teljes tématévesztésben van, inkább a fizikafilozófiai vonatkozások felől érdeklődik. Valószínűleg nem nagyon van tisztában mi a különbség egy matematikus és egy fizikus között (és akkor még hol vannak a matematikai fizikusok, akik totálra összezavarhatnák szegényt). Mindenesetre Serény, aki a Műegyetemen villamosmérnököknek tanít legendásan színes módon analízist, matematikusoknak pedig halmazelméletet, most is lebilincselő stílusú. Az egyetlen zavaró körülmény (a riporteren kívül), hogy az interjúból számomra az tűnik ki, hogy Serény meggyőződéses híve a használateléméletnek és nem a platonizmussal versengő hipotézist lát benne.