Keskustelin tänään erään kaverini kanssa matemaattiseen todistamiseen liittyvistä (filosofisista) ongelmista. Käsittelimme lyhyissä keskusteluissamme mm. suoraa todistusta, induktiotodistusta, todistusten rakennetta (Lakatoksen esittämä “kokeellinen” matematiikka) ja Andrew Wilesin todistusta. Keskusteluun liittyen käsittelimme lyhyesti myös matemaattiseen “keksimiseen” liittyvää metafyysis-epistemologista ongelmakenttää, jossa tällä hetkellä suosituin lähestymistapa näyttää edelleen olevan matemaatikoiden keskuudessa jonkinlainen piiloplatonismi ja käytännön formalismi.
