(no subject)

[leblon]

Что-то вдруг вспомнил: Каждан во время одной лекции сказал следующее (буквально): "To prove this theorem one needs to use logic".

Comments

[sowa.livejournal.com]

Я так и думал, что речь идет о чем-то, связанном с Ehud'ом Hrushovski'м. Математическая логика (речь идет, конечно, именно о ней) - весьма изолированный раздел математики, его приложения к core mathematics очень немногочисленны, вызывают интерес и залуживают упоминания. Надо думать, речь шла именно о таком применении.