(no subject)

[leblon]

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

Comments

[bbixob.livejournal.com]

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

[leblon.livejournal.com]

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

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