сон

Вчера видел сон: один мой знакомый уехал в Китай, а другой начал коллекционировать записи лютни. Я варил кофе на подоконнике, а на улице стоял высокий старик в цилиндре и кричал какому-то прохожему: "Что вы стоите здесь, как мечеть? Вам срезали бюджет!" Дальше не помню.

Пуанкаре о теоремах и колбасе

Thus, be it understood, to demonstrate a theorem, it is neither necessary nor even advantageous to know what it means....[A] machine might be imagined where the assumptions were put in at one end, while the theorems came out at the other, like the legendary Chicago machine where the pigs go in alive and come out transformed into hams and sausages. No more than these machines need the mathematician know what he does.