Отчет о конференции

[leblon]

Категорифицировали, категорифицировали, и недокатегорифицировали. Надо будет перевыкатегорифицировать.

Между прочим, за обедом зашел разговор о том, какая окажется математика у инопланетян. Я охотно согласился с тем, что инопланетяне наверняка знают про группы, категории, и про алгебры Ли. А вот насчет того, доказывают ли они теоремы, и есть ли у них вообще понятие "теорема", согласия достичь не удалось.

Comments

[xaxam.livejournal.com]

Насчёт красивой формулы, за которую киса положена - тоже: если алиенская формула красивая, но окажется в конце концов неверной, - кису что, возвращать придётся? Юзаную? как-то не комильфо...

[xgrbml.livejournal.com]

Так и выдадут уже юзаную.