Bizonyítások és cáfolatok

Lakatos Imre (1922--1974) matematika- és tudományfilozófus is egyike a számos magyar tudósnak, akinek munkássága idegen földön teljesedett ki. Élete fordulatokban gazdag és ellentmondásokkal teli. Fiatal korában meggyőződéses kommunista volt, a háború után magas állami pozícióba jutott, aztán kizárták a pártból, és megjárta a recski munkatábort. 1956-ban disszidált, és a London School of Economics filozófia-tanszékének professzorává küzdötte föl magát, ahol KARL POPPER utóda lett. Lakatos a tudományfilozófiának egy új irányzatát, a kétségbevonhatóság filozófiáját fejlesztette ki, a matematika tanításának egy új elképzelését dolgozta ki, az ún. Lakatos-féle heurisztikát, amelyben egy problémából, egy sejtésből kiindulva párhuzamosan keresi a bizonyítást és az ellenpéldát. A Lakatos-féle heurisztikát a világon széles körben alkalmazzák mind az oktatásban, mind a kutatásban. Ennek elveit ismerhetjük meg a Proofs and Refutations (Bizonyítások és cáfolatok) című tanulmányból és a hozzá csatolt függelékekből. Lakatos matematikus volt, de széles körű érdeklődése, műveltsége és eredeti gondolkodásmódja hatására nemcsak szűken értelmezett matematikai problémákkal foglalkozott. Jelentős eredményeket ért el metamatematikai, logikai, matematikai logikai, tudományelméleti és tudománytörténeti kutatásaival.