"imre" . . "lakatos" . "imre lakatos" .