≈100
Известный факт, что волна формализма зародилась и закончилась как защитная реакция двух великих платонистов. Вот второму из них и посвящён ряд статей в апрельских AMS Notices , в связи с юбилеем. Bulletin of Symbolic Logic сделал тоже самое, но почему-то год назад (ну и значительно более содержательно, конечно).
Есть и забавности, есть и неизменное мусоление неполноты, но уж лучше так. Впрочем, на мой взгляд, из этих записок ценны именно носящие характер исторических описаний, фрагменты писем ( или такой протокольный жанр - What did Gödel believe and when did he believe it?).

Из рецензируемой там популярной книжки:
"I think it is fair to say…that like so
many of us Gödel fell in love while an
undergraduate. He underwent love’s ecstatic
transfiguration, its radical reordering
of priorities, giving life new
focus and meaning. One is not quite
the same person as before.
Kurt Gödel fell in love with Platonism,
and he was not quite the same person
as he was before."