Apr. 29th, 2016

66george: (киса)
Было время, когда главной математической задачей считалась проблема континуума. И ещё большие кардиналы изучали (некоторые до сих пор изучают). А ещё раньше была схоластика, она померла только в конце 18-го века. Ньютон книжку написал, но ещё сто лет платили деньги за схоластику. Так и сейчас вдохновенно изучают "индуктивные и коиндуктивные типы". Это интересно и весело (и сейчас за это платят), но это так же не имеет отношения ни к какой реальности, как и схоластика, и теория множеств. Реальность же никто не изучает, пока она не сунет своё рыло и всех съест.

Кстати, коиндуктивные типы -- это полная победа Брауэра, хотя и не быстрая. Брауэр это называл "свободно становящиеся последовательности".

Profile

66george: (Default)
66george

August 2016

S M T W T F S
 1 23456
7 891011 12 13
1415161718 19 20
21 222324252627
28 293031   

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 20th, 2017 03:42 am
Powered by Dreamwidth Studios