FYI: A new '*.jpg' image, providing a partly pictorial definition of the 'Dialectic of the Mathematical Discovery' according to Imre Lakatos, has just been posted to the www.dialectics.org Glossary Page.
The entry-title for this partially-pictorial definition is --
'E.D. Definition by Dialectogram: Dialectic of Mathematical Discovery, per Imre lakatos.'
I have also posted this image below, for your convenience, now that it has been officially released to the F.E.D. Office of Public Liaison, for public dissemination.