| Филдсовский лауреат думает, как построить (полу)автоматическую базу математических знаний |
[Mar. 28th, 2006|06:23 pm] |
( Филдсовский лауреат А.(?) думает, как построить (полу)автоматическую базу математических знаний (с поиском) и читает статьи про нестандартные модели арифметики, но небось не знает полезной мат.логики... )
Я попробую--на общеинститутском семинаре--рассказать о чем-то отдаленно похожем, но о чем фиддсовкий лауреат А.(?) небось и не слышал.
Как найти простой язык для описания (сложных) математических объектов, и что следует из самого существования простого описания. Простые, естественно, в некором формальном смысле (размерность, независимость, отсутствие порядка)---формальное определение сильно помогает искать такие простые языки. |
|
|