Date: 2009-02-17 11:57 pm (UTC)
From: [identity profile] kaledin-corpse.livejournal.com
>смог вывести это на прикладной уровень.

Nu, mne ni odnogo rezul'tata, ispol'zuyushchego n-kategorii, ne izvestno.

Ya u Beilinsona dolgo sprashival, tipa prezhde chem chitat' 600 stranic, a est' tam teorema, kotoraya v formulirovke ne ispol'zuet ponyatiya, vvedennye v ehtom tekste? nikakogo otveta ya ne poluchil.

Date: 2009-02-18 01:31 am (UTC)
From: [identity profile] posic.livejournal.com
Странный критерий. Мне казалось бы, есть такой вид деятельности -- подведение оснований. Он предполагает, что чем больше в теоремах используется новых понятий, тем лучше. При условии, что со старыми понятиями таких хороших теорем не сформулируешь.

Profile

Leonid Positselski

January 2026

S M T W T F S
     12 3
4 567 89 10
11 12 1314 151617
18192021222324
25262728293031

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jan. 20th, 2026 03:58 am
Powered by Dreamwidth Studios