Сердечно благодарю за коментарий - Бабах! [entries|archive|friends|userinfo]
pet531

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

Links
[Links:| Land of Uz ]

Бабах! [Jul. 1st, 2012|01:58 pm]
Интервью Воеводского (записал Рома Михайлов):
http://baaltii1.livejournal.com/198675.html

ура! ёбните им, ребята!
LinkLeave a comment

Comments:
From:[info]euch
Date:July 1st, 2012 - 01:24 pm
(Link)
Спасибо за ссылку!

Ох, как мне нравится его подход к работе: что-то в стиле да Винчи или Пуанкаре, например.

>Я почти не сомневаюсь, что эти основания вскоре заменят теорию
>множеств и что проблему языка абстрактной математики, который
>будут "понимать" компьютеры можно считать в основном решенной.

Звучит обнадёживающе очень.
From:[info]pet531
Date:July 1st, 2012 - 01:37 pm
(Link)
Да-да, офигенно, Ученый называется.
Теренс Тао еще такой, как мне кажется.

Судя по тому, что я знаю про задающего вопросы и отвечающего, эта часть интервью очень безобидная еще. Ждём.
From:[info]kaledin
Date:July 1st, 2012 - 03:57 pm
(Link)
Он математикой уже лет 10 не занимается, если что.
From:[info]pet531
Date:July 1st, 2012 - 04:08 pm
(Link)
Спасибо за информацию.
Но он считает иначе, видимо:
>Я вернулся к математике в конце 2007 года

Мне всё равно, кто из вас прав, мне нравится Рома Михайлов.
From:[info]kaledin
Date:July 4th, 2012 - 09:23 am
(Link)
Не, ну я-то что -- если человек сам говорит, что занимается, значит занимается, а я отстал от жизни.
From:[info]vividha.livejournal.com
Date:July 3rd, 2012 - 04:52 pm
(Link)
Привет Дима,

ты чего лапшу людям на уши вешаешь? Посмотрел бы сначала на arxiv что-ли.

В.
From:[info]kaledin
Date:July 4th, 2012 - 09:21 am
(Link)
Новое не видел, прости! думал, ты теперь эволюционный биолог.
From:[info]tiphareth
Date:July 1st, 2012 - 04:32 pm
(Link)
Тао не такой, нет
From:[info]pet531
Date:July 1st, 2012 - 05:11 pm
(Link)
Ну у меня такое впечатление сложилось вот почему:
когда там в прошлом году обсуждалась статья про противоречивость аксиом Пеано, он, а не специалисты-логики, первым ошибку нашел:
http://golem.ph.utexas.edu/category/2011/09/the_inconsistency_of_arithmeti.html#c039590

И еще вроде он принимал деятельное участие в разборе статьи этого чувака из Хьюлет, Паккард про P и NP: http://rjlipton.wordpress.com/2010/08/11/deolalikar-responds-to-issues-about-his-p%E2%89%A0np-proof/
From:[info]tiphareth
Date:July 1st, 2012 - 08:10 pm
(Link)
Тао ее нашел, а Володя, наоборот, активно продвигал идею, что
аксиомы Пеано противоречивы (оно от Володи, собственно, и пошло
изначально)
From:[info]pet531
Date:July 1st, 2012 - 10:35 pm
(Link)
Да, понятно.
From:[info]tristes_tigres
Date:July 1st, 2012 - 09:31 pm
(Link)
Мне кажется, ему нужно пообщаться не с философами, а с, кхм-кхм, психиатром, не сочтите за грубость. Серьёзно, такие галлюцинации, которые он описывает, - очень такой характерный и нехороший звоночек.
From:[info]cw_complex
Date:July 4th, 2012 - 09:07 pm
(Link)
Бр-хр-хр
Кхр-тр-ктр-хр