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

[leblon]

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

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

Comments

[leblon.livejournal.com]

Про категории спорить не буду. А насчет доказательств - одно дело "убедительный аргумент", другое - строгое доказательство, третье - формальное доказательство. Может, инопланетяне довольствуются убедительными аргументами.

[mathreader.livejournal.com]

В этом смысле, все современные доказательства это "убедительные аргументы", так что предмета для спора нет.

С другой стороны, для классификации простых конечных групп даже "убедительного аргумента" до недавнего времени не существовало. Так что я не буду настаивать, что идея классификации подразумевает понятие доказательства.