Random links and questions.
Наверняка кто-нибудь знает, откуда есть пошла О/о-нотация. У меня почему-то есть в памяти утверждение, что впервые ввёл её Ландау в своих статьях. Насколько это так?

А ещё окольным путём наткнулся на жутко интересную старую FOM'овскую дискуссию о смысле жизни теории моделей и месте "оснований математики" в математике, со ссылками на, опять таки, жутко интересные статьи Атийи и Мазура. Van den Dries, Pillay и Marker проводят очень красивую категорную параллель и, безусловно, гораздо более близки мне, чем Friedman и Simpson :)
http://www.cs.nyu.edu/pipermail/fom/1997-October/thread.html (приблизительно все сообщения месяца, ну и вправо-влево по смыслу)
Всё-таки есть, есть царский путь в геометрию - как минимум для логиков :)

А ещё у меня какие-то странные взаимоотношения с гуглом - он постоянно требует вводить какие-то слова с картинки, вместо того, чтобы искать.

А ещё бывают вот такие вот удивительные сайты - Chernikov.com.

Сумбурно, но как-то так.