Ők a mi filozófusaink – mondják néha matematikus berkekben a matematika alapjaival foglalkozókra, illetve a matematikai logikusokra. Valóban filozófiai lenne a munkásságuk? Néha ez csak a beszélgetésekből, az óráikon derül ki, de vannak közöttük, akiknek egy-egy szakcikkének tényleg vannak filozófiai következményei. Ha ezeket a következtetéseket nem csak életfilozófiai értelemben lehet komolyan venni, hanem akadémiai értelemben is, akkor meg is érkeztünk a matematikafilozófiai publikációk világába. Kalmár László és Péter Rózsa egészen biztosan hagyott hátra érvelő filozófiai szövegeket, de talán az is érdekes, hogy milyen téma érdekelte őket. És itt kerül a képbe a száz éve született Surányi János, akinek logikusi munkássága erősen összekapcsolódott két nagy kortársának matematikafilozófiai cikkeivel. Ebben az írásban szeretném bemutatni, hogy milyen kapcsolat van Surányi János egyik legfontosabb kutatási területének, a tágabb értelemben vett eldöntésproblémának és Kalmár László és Péter Rózsa analitikus filozófiája között.
