| Филдсовский лауреат думает, как построить (полу)автоматическую базу математических знаний |
[Mar. 28th, 2006|06:23 pm] |
|
|
|
|
| Comments: |
Боюсь, что иначе бы обсуждалось, почему *именно* А. (или Т.) интересны эти логические (в какой-то мере) вопросы, а не вопросы сами по себе. (Чего мне хотелось бы услyшать...).
| |