Note: Diskusní příspěvek na 3. zasedání odborné sekce dějin a filozofie matematiky Matematické společnosti NDR 17. 10. 1978 v Greifswaldu. Přeložil a upravil J. Folta.

Note: Contribution from a conference held on October 17, 1978 (Greifswald), translated by J. Folta.