m - Филдсовский лауреат думает, как построить (полу)автоматическую базу математических знаний [entries|archive|friends|userinfo]
m

[ userinfo | ljr userinfo ]
[ archive | journal archive ]

Филдсовский лауреат думает, как построить (полу)автоматическую базу математических знаний [Mar. 28th, 2006|06:23 pm]
Previous Entry Add to Memories Tell A Friend Next Entry
LinkLeave a comment

Comments:
[User Picture]
From:[info]ex_dmitri83798@lj
Date:March 28th, 2006 - 10:46 am
(Link)
а что там было кракозябрами написано?
[User Picture]
From:[info]marina_p@lj
Date:March 28th, 2006 - 11:30 am
(Link)
Я тогда ответа так и не дождалась :-)
[User Picture]
From:[info]bbixob@lj
Date:March 28th, 2006 - 02:07 pm
(Link)
ой. извините! а сейчас и не вспромню..попытаюсь.
[User Picture]
From:[info]bbixob@lj
Date:March 28th, 2006 - 02:53 pm
(Link)
а, видимо это просто цитата из того поста

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


Объяснить хорошо я не умею, тут есть свидетели этого((...

При чем логика в моих делах --- если ваш язык (неважно, формальный или нет) описывает экспоненту как гомоморфизм группы на мульт. группу поля, то можно рассмотреть вопрос, задает ли этот язык экспоненту с точностью до изоморфизма (ессно--учитывающего то, что выразимо но этом языке, в частности без всякой непрерывности). теорема про расширения (в посте ниже упомянутая) говорит, что да, задаёт.

Если все еще интересно, некоторые технические детали моего подхода даются в http://www.livejournal.com/users/bbixob/32636.html .



[User Picture]
From:[info]bbixob@lj
Date:March 28th, 2006 - 02:55 pm
(Link)
nichego interesnogo