(no subject)

[leblon]

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

Comments

[sowa.livejournal.com]

Звучит, конечно, impressive, но ведь технический смысл этой фразы совершенно ясен.

[leblon.livejournal.com]

Мне непонятно. А Вы можете объяснить, что имеется в виду?

[sowa.livejournal.com]

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

[bbixob.livejournal.com]

любопытно, о какой теореме речь (если под 'logic' понимается математическая логика)?

[leblon.livejournal.com]

Что-то отсюда:
http://arxiv.org/abs/0902.0845

Или отсюда:
http://arxiv.org/abs/math/0510133