Hilbertův program: proměna matematické praxe před a po Gödelových větách o neúplnosti
(Czech) [Hilbert's programme: on the change of mathematical practice before and after incompleteness theorems of Gödel].
In:
Bečvář, Jindřich (editor); Bečvářová, Martina: Matematika v proměnách věků. VI.
(Czech).
:
,
2010.
pp. 175-185
