Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет Misha Verbitsky ([info]tiphareth)
@ 2017-10-02 09:51:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Настроение: sick
Музыка:Complex Numbers - Земное Притяжение
Entry tags:hse, math, obit

Воеводский
Написал для официальных целей по просьбе начальства.
Сохраню, чтобы не потерялось.

* * *

Володя Воеводский был года на два старше меня,
но в Гарвард мы поступили одновременно. К моменту
поступления у Воеводского были приличные публикации
о теории dessin d'enfant Гротендика, полученные под
руководством Юры Шабата, вдохновившего его на занятие
математикой (об истории этого знакомства было прекрасное
рассказано в совместном интервью Воеводского и Шабата:
http://polit.ru/article/2006/08/22/voevod/ ). Одна
из публикаций получила одобрительный отзыв от Гротендика,
который стал отшельником примерно тогда же, но немного
погодя. В результате у Воеводского появилась статья
с автографом Гротендика, возможно, одним из последних
прижизненных; Володя был весьма горд этим обстоятельством,
что и понятно. На мехмате он появлялся редко, и
был исключен оттуда примерно тогда же, когда поступил
в Гарвард.

Прямо перед поступлением Володя работал
в основном с Мишей Капрановым, с которым они написали
потрясающие работы про высшие категории, но у него уже
был свой собственный проект, который он блестяще реализовал
в диссертации. Идея была достаточно проста - реализовать
на схемном языке триангулированную категорию, естественно
явленную в гомотопической топологии посредством точной
последовательности Пуппе, но на пути ее реализации Володе
пришлось преодолеть несколько колоссальных препятствий.
Мы довольно много общались, обретаясь в Гарварде почти
ежедневно (Воеводский какое-то время даже жил в своем офисе,
ибо ленился снимать квартиру), и он рассказывал о прогрессе
своих исследований почти ежедневно; было очевидно, что
готовится один из крупных прорывов алгебраической геометрии.
За работой Воеводского с огромным интересом следили
профессора Гарварда: Дима Каждан (который был его научным
руководителем не только формально, но и фактически немало
помогал), но и даже люди, далекие от алгебры, такие, как
Шин-Тунг Яу, знаменитый дифференциальный геометр.

Воеводский закончил свою диссертацию и немедленно получил
позицию Fellow of Harvard; это постдок, вся обязанность которого
состоит в еженедельном посещении совместного ужина исследовательского
товарищества. После Гарварда Володя уехал в Чикаго, где
ему очень помогли Андрей Суслин и Эрик Фридлендер, в тот
момент основные эксперты в алгебраической К-теории. С их
поддержкой, Воеводский смог применить категорию производных
мотивов, которую он построил, к алгебраической К-теории, и
решить несколько гипотез, которые на тот момент казались
нереально трудными. Таким образом его теория, и без того
нереально красивая, нашла практические приложения.

В скором времени Володя получил филдсовскую премию
и стал знаменитостью, так что в 2000-х мы общались
весьма мало. Роман Михайлов записал чудесные интервью
Воеводского, доступные тут:

https://web.archive.org/web/20120812023416/https://baaltii1.livejournal.com/198675.html
https://web.archive.org/web/20120812023457/http://baaltii1.livejournal.com/200269.html

В те 2-3 раза, что мы встречались, Воеводский
рассказывал о своем проекте по уничтожении математических
исследований; он считал, что комплекс программ, над
которыми он работал в 2000-е, уничтожит саму профессию
математика-исследователя. Было это довольно занятно.

Теперь он умер, и я даже не знаю отчего.

Привет



(Добавить комментарий)


(Анонимно)
2017-10-02 16:04 (ссылка)
о своем проекте по уничтожении математических исследований
Теперь он умер, и я даже не знаю отчего.

Математическая мафия дотянулась, очевидно.

(Ответить)


[info]madfrequency
2017-10-02 17:18 (ссылка)
>>Теперь он умер, и я даже не знаю отчего.

а какой может быть круг причин?

(Ответить) (Ветвь дискуссии)


[info]tiphareth
2017-10-02 17:35 (ссылка)
>а какой может быть круг причин?

см. интервью Роме Михайлову

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]eliyahu
2017-10-12 18:15 (ссылка)
The cause was not immediately known, but Dr. Shalaby said on Oct. 11 that it was found to have been an aneurysm. Отсюда: https://www.nytimes.com/2017/10/06/obituaries/vladimir-voevodsky-revolutionary-mathematician-dies-at-51.html

(Ответить) (Уровень выше) (Ветвь дискуссии)


(Анонимно)
2017-10-12 19:30 (ссылка)
+
полный видеодром
RIP

(Ответить) (Уровень выше)


(Анонимно)
2017-10-12 19:39 (ссылка)
наука это пистолет у виска

(Ответить) (Уровень выше)


(Анонимно)
2017-10-02 18:09 (ссылка)
> уничтожит саму профессию математика-исследователя

Я, конечно, не Вербицкий в смысле уровня математики, но программу Воеводского понимаю иначе. Идея не в уничтожении и автоматизации профессии, а в создании удобного языка и инструментов. Системы компьютерной графики отнюдь не уничтожили дизайнеров и художников. Коспиляторы высокоуровневых языков с проверкой типов не уничтожили программистов (даже наоборот). Тут примерно то же.

И Воеводский имхо бесконечно далек от Говерс-стайл идей полной автоматизации о которых любит писать Сова. Оставлю в стороне саму возможность реализации таких идей, к которой отношусь скептически.

(Ответить) (Ветвь дискуссии)


[info]tiphareth
2017-10-02 20:45 (ссылка)
>программу Воеводского понимаю иначе

есличо, это была прямая цитата

(Ответить) (Уровень выше) (Ветвь дискуссии)


(Анонимно)
2017-10-02 22:57 (ссылка)
Упс, а есть ссылка (чтоб в контексте)? Эт он про далекую перспективу говорил?

Если что, то интервью по ссылке (если вдруг оттуда) я читал давно и сейчас не перечитывал, поэтому мог забыть.

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]tiphareth
2017-10-03 00:06 (ссылка)
нет, он говорил (личная беседа), что видит своей задачей уничтожение математики
ссылки нет

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]kaledin
2017-10-03 01:19 (ссылка)
Формальная причина известна и задокументирована: "потрясающая работа про высшие категории" была неверная, на что Симпсон указал в 98 году, а в 2013 Володя это даже признал и выпустил типа ерратум; и с тех пор по крайней мере, публично утверждал, что математикой без proof assitant не занимается (с подтекстом что и вы не занимайтесь).

Мораль наверно понятно какая: нефига придумывать сложные доказательства, природу надо не насиловать, а изучать.

Впрочем, не знаю.

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]tiphareth
2017-10-03 02:15 (ссылка)
там сразу целая пачка работ про высшие категории, не одна
и что неправильная, ну хуле, зато красивая
вот у Анд. Т-ва все статьи после 1990-го неправильные,
это не делает его менее великим математиком

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]kaledin
2017-10-03 02:44 (ссылка)
>зато красивая

Я видел две -- правильную, но бессодержательную (про строгие полигрупоиды), и неправильную, но да, симпатичную (про 2-векторные пространства). Впрочем, это было таки 25 лет назад, так что я уже не уверен; может это было две части одной и той же. Оно было все равно препринт, а на сети нет. В принципе, некоторое завершение этого всего есть у Капранова в 96 году, в статье из Grothendieck Festschrift, без дураков гениальной и непонятой до сих пор.

>это не делает его менее великим математиком

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

(Ответить) (Уровень выше) (Ветвь дискуссии)


(Анонимно)
2017-10-03 14:05 (ссылка)
Ошибка была конкретно в доказательстве гомотопической гипотезы (которая вроде как важна, чтобы дать независмое от модели определение (∞,1)-категории, но это видимо нереально) , то есть про ∞-группоиды:

https://mathoverflow.net/questions/234492/what-is-the-mistake-in-the-proof-of-the-homotopy-hypothesis-by-kapranov-and-voev

По ссылке есть в том числе и ссылка на саму оригинальную статью Воеводского и Капранова.

(Ответить) (Уровень выше) (Ветвь дискуссии)

(без темы) - [info]kaledin, 2017-10-03 22:20:27
(без темы) - (Анонимно), 2017-10-04 04:01:24
(без темы) - [info]kaledin, 2017-10-04 05:36:21
(без темы) - (Анонимно), 2017-10-04 19:45:14
(без темы) - [info]kaledin, 2017-10-04 21:23:06
(без темы) - (Анонимно), 2017-10-14 03:48:26
(без темы) - [info]kaledin, 2017-10-14 20:27:31
(без темы) - (Анонимно), 2017-10-04 19:47:54
(без темы) - [info]der_kluge_star, 2017-10-03 21:42:44

[info]der_kluge_star
2017-10-03 22:06 (ссылка)
>у Анд. Т-ва все статьи после 1990-го неправильные

Я слышал, что он серьёзно болел (то есть чем-то, что препятствовало занятиям математикой).

(Ответить) (Уровень выше)


[info]apkallatu
2017-10-03 20:59 (ссылка)
эстетически такой подход конечно привлекателен.

но это же ведь скорее желаемое состояние вещей. когда уже всё понято и концептуализироано, возможны простые доказательства.

а в процессе изучения природы может понадобиться какое-нибудь разрешение особенностей, и как поверить, что в нём нет лажи? я доказательства хиронаки, и даже влодарчика, не читал, и я думаю я не один, из пользующихся.

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]kaledin
2017-10-03 21:57 (ссылка)
Разрешение особенностей и Калаби-Яу, да; два стандартных черных ящика. Делать нечего, но радости в этом мало.

(Ответить) (Уровень выше) (Ветвь дискуссии)

(без темы) - [info]apkallatu, 2017-10-03 22:36:03
(без темы) - [info]kaledin, 2017-10-03 22:45:53
(без темы) - [info]der_kluge_star, 2017-10-03 22:57:36
(без темы) - [info]kaledin, 2017-10-03 23:09:06
(без темы) - [info]apkallatu, 2017-10-05 18:29:42
(без темы) - [info]tiphareth, 2017-10-05 22:09:19
(без темы) - (Анонимно), 2017-10-07 20:16:44
(без темы) - [info]polytheme, 2017-10-08 01:19:01
(без темы) - [info]sasha_a, 2017-10-08 05:04:14
(без темы) - [info]polytheme, 2017-10-08 07:16:10
(без темы) - [info]sasha_a, 2017-10-08 15:30:30
(без темы) - (Анонимно), 2017-10-08 11:55:33
(без темы) - (Анонимно), 2017-10-08 11:10:04
(без темы) - [info]polytheme, 2017-10-11 21:45:58
(без темы) - [info]der_kluge_star, 2017-10-03 22:52:31
(без темы) - [info]apkallatu, 2017-10-03 22:55:59
(без темы) - [info]der_kluge_star, 2017-10-03 23:00:06
(без темы) - [info]polytheme, 2017-10-04 06:30:31
(без темы) - (Анонимно), 2017-10-14 03:56:05
(без темы) - [info]maph33333.livejournal.com, 2017-10-17 14:17:52
(без темы) - [info]apkallatu, 2017-10-03 22:49:24
(без темы) - [info]kaledin, 2017-10-03 23:10:20
(без темы) - (Анонимно), 2017-10-03 23:41:46
(без темы) - [info]kaledin, 2017-10-04 02:53:18
(без темы) - (Анонимно), 2017-10-04 17:14:25
(без темы) - (Анонимно), 2017-10-05 00:25:10
(без темы) - (Анонимно), 2017-10-05 18:08:53
(без темы) - (Анонимно), 2017-10-07 13:31:40
(без темы) - [info]azrt, 2017-10-04 04:03:40
(без темы) - [info]kaledin, 2017-10-04 04:59:09
(без темы) - [info]azrt, 2017-10-04 05:19:45
(без темы) - [info]apkallatu, 2017-10-04 14:31:57
(без темы) - [info]tiphareth, 2017-10-04 19:26:24
(без темы) - [info]kaledin, 2017-10-04 19:34:19
(без темы) - (Анонимно), 2017-10-04 19:36:51
(без темы) - [info]tiphareth, 2017-10-04 21:35:41
(без темы) - [info]kaledin, 2017-10-04 22:00:06
(без темы) - [info]tiphareth, 2017-10-04 22:57:01
(без темы) - [info]kaledin, 2017-10-05 00:03:10
(без темы) - [info]tiphareth, 2017-10-05 03:59:05
(без темы) - [info]kaledin, 2017-10-05 04:38:38
(без темы) - [info]tiphareth, 2017-10-05 12:49:57
(без темы) - [info]kaledin, 2017-10-05 13:25:55
(без темы) - (Анонимно), 2017-10-05 18:51:09
(без темы) - [info]oort, 2017-10-06 14:25:42
(без темы) - [info]tiphareth, 2017-10-06 14:32:45
(без темы) - (Анонимно), 2017-10-06 15:56:14
(без темы) - [info]deevrod, 2017-10-05 15:50:38
(без темы) - [info]tiphareth, 2017-10-05 17:19:09
(без темы) - [info]deevrod, 2017-10-05 18:06:10
(без темы) - [info]kaledin, 2017-10-05 23:22:14
(без темы) - (Анонимно), 2017-10-14 05:07:17
(без темы) - [info]deevrod, 2017-10-17 04:51:43
(без темы) - [info]kaledin, 2017-10-05 04:42:40
(без темы) - [info]apkallatu, 2017-10-05 18:24:54
(без темы) - [info]kaledin, 2017-10-07 16:51:26
(без темы) - (Анонимно), 2017-10-07 17:30:11
(без темы) - [info]tiphareth, 2017-10-07 17:55:43
(без темы) - [info]kaledin, 2017-10-07 18:00:52
(без темы) - (Анонимно), 2017-10-07 19:18:29
(без темы) - [info]apkallatu, 2017-10-08 18:38:48
(без темы) - [info]kaledin, 2017-10-08 20:31:38
(без темы) - [info]tiphareth, 2017-10-08 22:50:11
(без темы) - [info]kaledin, 2017-10-09 02:05:03
(без темы) - [info]tiphareth, 2017-10-09 12:54:18
(без темы) - [info]kaledin, 2017-10-09 13:52:28
(без темы) - [info]tiphareth, 2017-10-09 15:06:08
(без темы) - [info]kaledin, 2017-10-09 15:29:20
(без темы) - [info]tiphareth, 2017-10-09 16:02:24
(без темы) - [info]kaledin, 2017-10-09 16:56:32
(без темы) - [info]kaledin, 2017-10-09 17:00:10
(без темы) - [info]tiphareth, 2017-10-09 19:15:23
(без темы) - [info]kaledin, 2017-10-09 20:51:44
(без темы) - [info]tiphareth, 2017-10-09 23:08:30
(без темы) - [info]deevrod, 2017-10-09 23:11:46
(без темы) - [info]tiphareth, 2017-10-09 23:31:44
(без темы) - [info]deevrod, 2017-10-10 01:20:59
(без темы) - (Анонимно), 2017-10-10 01:55:31
(без темы) - [info]tiphareth, 2017-10-10 03:03:12
(без темы) - [info]deevrod, 2017-10-10 03:17:22
(без темы) - [info]oort, 2017-10-10 09:19:59
(без темы) - [info]kaledin, 2017-10-10 14:20:10
(без темы) - [info]tiphareth, 2017-10-10 16:12:35
(без темы) - [info]kaledin, 2017-10-10 21:19:54
(без темы) - [info]kaledin, 2017-10-09 23:20:20
(без темы) - [info]tiphareth, 2017-10-09 23:30:26
(без темы) - [info]kaledin, 2017-10-09 23:44:39
(без темы) - [info]tiphareth, 2017-10-10 03:14:39
(без темы) - [info]kaledin, 2017-10-10 14:11:31
(без темы) - [info]kaledin, 2017-10-09 23:22:12
(без темы) - [info]apkallatu, 2017-10-13 14:27:15
(без темы) - [info]kaledin, 2017-10-09 17:04:53
(без темы) - [info]der_kluge_star, 2017-10-10 11:04:51
(без темы) - [info]kaledin, 2017-10-10 14:12:34
(без темы) - [info]deevrod, 2017-10-10 18:22:02
(без темы) - (Анонимно), 2017-10-08 23:27:03
(без темы) - [info]azrt, 2017-10-04 21:31:30
(без темы) - [info]kaledin, 2017-10-04 22:05:09
(без темы) - [info]apkallatu, 2017-10-05 18:22:32
(без темы) - [info]kaledin, 2017-10-07 17:00:18
(без темы) - [info]deevrod, 2017-10-05 22:52:14
(без темы) - [info]kaledin, 2017-10-06 02:29:13

[info]polytheme
2017-10-04 00:23 (ссылка)
вот, кстати, вопрос - надо ли было Белому доказывать
теорему Белого, техническим трюком, или детские рисунки
и так бы понялись и концептуализировались ?

говорят, Гротендик очень воодушевился этим результатом.

(Ответить) (Уровень выше) (Ветвь дискуссии)

(без темы) - [info]kaledin, 2017-10-04 02:52:09
(без темы) - [info]polytheme, 2017-10-04 03:33:11
(без темы) - [info]polytheme, 2017-10-04 03:33:47

(Анонимно)
2017-10-05 11:17 (ссылка)
Гомер??
И сюда дотянулся, толстяк.

(Ответить) (Уровень выше)


(Анонимно)
2017-10-03 00:07 (ссылка)
вот этого вот не надо, миша. если к примеру тебя прямо цитировать (читай буквально понимать), можно прямо сразу в дурку укладывать. одно убивать убивать убивать что стоит.

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]deevrod
2017-10-03 02:34 (ссылка)
Эм, полная цитата (один из вариантов) звучит как раз как
'kill, kill, ki'l for the mental health'. Так что скорее
наоборот как раз.

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]tiphareth
2017-10-03 04:13 (ссылка)
если точно, то

kill kill kill
for inner peace and mental health

вот оно же в виде музыки
https://www.youtube.com/watch?v=EUhM398pwTE
всю жизнь слушаю и поражаюсь

и с комментарием, который прилагался к пластинке

EXPOSING THE CATHEDRAL OF DEATH

The true meaning of the slogan, We are all German Jews, is not solidarity but the inescapable fact that these people are not deviant phenomena. This situation is the norm. Death is everywhere in life. SPK is not fetishing a situation. It is exposing
this cathedral of death.
The strategy is not dialectical - liberation vs. control, unconscious vs. conscious, deviant vs. normal, sexual vs. chastity.
The strategy is CATASTROPHIC - pushing the situation to the limit.
The strategy is SYMBOLIC - using the system's own intolerable signs against .
The strategy is ANONYMOUS - the refusal to be categorizable as another star deviant. We are the norm. We are the twilight.

(Ответить) (Уровень выше)


[info]rampant_mouse
2017-10-06 01:08 (ссылка)
А где сейчас Сова пишет, кстати?

(Ответить) (Уровень выше)


(Анонимно)
2017-10-02 19:06 (ссылка)
Сегодня ты занимаешься высшими категориями а завтра захочешь уничтожить математику (n-category lab - главный враг математики? кстати, они там тоже интересуются унивалентными основаниями и другим множеством оснований и теорий множест, совпадение?)

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

А Воеводского жалко. Судя по всему, классный мужик был.

(Ответить) (Ветвь дискуссии)


(Анонимно)
2017-10-02 20:45 (ссылка)
компьютер не понял юмора типа "эквивалентно эквивалентности"

(Ответить) (Уровень выше)


[info]kaledin
2017-10-03 01:22 (ссылка)
>n-category lab - главный враг математики

Да не главный конечно, много чести. Просто тупой остойник для дураков.

(Ответить) (Уровень выше) (Ветвь дискуссии)


(Анонимно)
2017-10-03 12:12 (ссылка)
Не могли бы вы раскрыть мысль?

(Ответить) (Уровень выше) (Ветвь дискуссии)


(Анонимно)
2017-10-03 19:01 (ссылка)
ларчик открывается очень просто
эпатажный жыд опять решил выебнуться и спизданул хуйню

(Ответить) (Уровень выше) (Ветвь дискуссии)


(Анонимно)
2017-10-03 23:19 (ссылка)
Вот вас не спросил. Идите, займитесь своей математикой для руССких.

(Ответить) (Уровень выше) (Ветвь дискуссии)


(Анонимно)
2017-10-04 19:46 (ссылка)
нет, вы.

(Ответить) (Уровень выше)


(Анонимно)
2017-10-13 08:13 (ссылка)
Что плохого в ncatlab? Сидят люди, аутируют в зигохистоморфные препроморфизмы (n,r)-категории, никому не мешают. Почему дураки-то?

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]kaledin
2017-10-13 15:28 (ссылка)
>Почему дураки-то?

Откуда я знаю? Родились такие.

Люди, которые глупо сидят и медитируют на глупость, называются "дураки". Это не ругательство, это констатация факта.

>Что плохого в ncatlab?

Засоряет ноосферу, засирает мозги студентам. Но весьма умеренно. Раньше, когда там попадалсь очаги разума, было хуже, но теперь Урс Шрайбер эту проблему решил. А студентов не очень-то и жалко, взрослые люди, в конце концов. Дарвиновский отбор.

Вот есть канонический пример математика, которые много знает вроде бы, долго этим занимается, много теорем доказал -- но при этом на самом деле не понимает ничего ни в чем, придумывает только уродливые и бессмысленные конструкции, и вообще всегда попадает не туда. Этакий пример идеального вкуса наоборот. Это Жуаяль. А ncatlab это сборище жуаялей-wannabe.

(Ответить) (Уровень выше) (Ветвь дискуссии)


(Анонимно)
2017-10-13 18:54 (ссылка)
А что сделал Урс Шрайбер? Не гуглится.
Я там только определения читал, их сайт сильно лучше википедии для этого. Неужели не читать теперь, беда-сомнения.

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]kaledin
2017-10-13 22:10 (ссылка)
>Я там только определения читал

Там ошибок и глупостей дохуя, так что осторожно.

(Ответить) (Уровень выше) (Ветвь дискуссии)


(Анонимно)
2017-10-16 12:18 (ссылка)
Дак а можно какой-нить пример? Чтоб оценить их глубину.

(Ответить) (Уровень выше) (Ветвь дискуссии)

(без темы) - [info]kaledin, 2017-10-16 15:57:48
(без темы) - (Анонимно), 2017-10-16 19:47:38

[info]painpain
2017-10-13 19:29 (ссылка)
> Люди, которые глупо сидят и медитируют на глупость, называются "дураки".

Great definition!

(Ответить) (Уровень выше)


(Анонимно)
2017-10-02 19:31 (ссылка)
Понятно. Карательная психиатрия убила. Дотянулся кровавый Снежневский, а если посмотреть в корень проблемы, то и кровавый Сталин. Вот и Тифарет тем же кончит.

(Ответить)


(Анонимно)
2017-10-02 20:40 (ссылка)
>проекте по уничтожении математических
исследований;

когда он до этого дошёл? после 2010?

(Ответить) (Ветвь дискуссии)


[info]tiphareth
2017-10-02 21:11 (ссылка)
мы это обсуждали около 2013, но вроде бы сильно раньше

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]wieiner_
2017-10-02 22:15 (ссылка)
Математики в современном жреческоконвенциальном виде не будет. Будет как "вычислимая на компьютерах процедура человеческого бессознательного". И триангулированные категории, это круто, безусловно (судя по аналогичным идеям лингвистики). Эх, если бы я их понимал.

(Ответить) (Уровень выше) (Ветвь дискуссии)


(Анонимно)
2017-10-02 23:00 (ссылка)
А какие идеи в лингвистике аналогичны триангулированным категориям?

(Ответить) (Уровень выше) (Ветвь дискуссии)


(Анонимно)
2017-10-03 00:47 (ссылка)
геометризация текстов. синтагматический анализ текстов. и даже "бесовская" текстура. у лингвистов и философов все очень мутно, на уровне интуиций, а математика (схемы, категории, топология, гипперкеллеровы многообразия) требует больших пререквизитов и оторвана от контекста. Еще нужно хорошо знать программирование, чтобы довести это все до уровня компьютерных приложений. я помешан на "кубическо-октаэдрических" системах и плоскостях их шестиугольников.
недавно построил "матрешку" из вложенных кубов и рассчитал алгоритм и время распространения в ней сигнала (или "времени и энергии затопления лабиринта". Это линейное время t=2*(n+2), где n - кол-во оболочек "матрешки"). пришел к пониманию идей 10-мерного мира, как два набора четверичных полусвязей и 2 вращения.
Теперь умер Воеводский и еще разное говно произошло. Блядь, этой хуйней лучше не заниматься. Или очень медленно и понемногу. Не набирая "ведьминой дозы", чтобы негатив успевал развееваться во внешнюю среду.

Wieiner_

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]beotia
2017-10-04 04:15 (ссылка)
>Wieiner_

Да уж неужто?
Если это такой имитатор, то это просто "Пьер Менар" по сравнению с ув. "[info]wieiner_'а "Дон Кихотом"

(Ответить) (Уровень выше)

жаль что умер
[info]yalesky
2017-10-02 21:52 (ссылка)
интересные интервью





царствие небесное

(Ответить)


(Анонимно)
2017-10-03 02:51 (ссылка)
Есть вероятность, что это просто дурацкая мистификация.

(Ответить)


[info]plastic
2017-10-03 08:49 (ссылка)
примерно тогда же, но немного погодя
примерно тогда же

(Ответить)


(Анонимно)
2017-10-03 09:35 (ссылка)
Мдза и N+1, кстати, – полный игнор. От Медузы другого и не ожидал, а N+1 всегда был сраным говном.

(Ответить)


(Анонимно)
2017-10-04 00:33 (ссылка)
То есть, вот человек планирует уничтожить математику, не скрывает этого, потом скоропостижно умирает, и вы не знаете, отчего??

(Ответить) (Ветвь дискуссии)


[info]polytheme
2017-10-04 03:34 (ссылка)
да ладно, в рашке вон не планируют, а планомерно уничтожают с хрюканьем,
и ничего им.

(Ответить) (Уровень выше)


(Анонимно)
2017-10-04 02:56 (ссылка)
Украинский математик удостоилась престижной научной премии SASTRA Ramanujan 2017, отыскав решение задачи, которую не могли решить на протяжении веков.

https://www.dialog.ua/science/132504_1507016000

(Ответить) (Ветвь дискуссии)


[info]polytheme
2017-10-04 06:27 (ссылка)
Рамануджан - индийский математик, основавший премию.
бля. пусти козла в огород

(Ответить) (Уровень выше)


(Анонимно)
2017-10-07 10:52 (ссылка)

On last Thursday at the Heidelberg Laureate Forum, Vladimir Voevodsky gave perhaps the most revolutionary scientific talk I’ve ever heard...

https://blogs.scientificamerican.com/guest-blog/voevodskye28099s-mathematical-revolution/

(Ответить) (Ветвь дискуссии)


(Анонимно)
2017-10-07 13:28 (ссылка)
++++++
присовокуплено к анналам

(Ответить) (Уровень выше)


(Анонимно)
2017-10-07 13:44 (ссылка)
causaofdeth: "Voevodsky told mathematicians that their lives are about to change... Soon, they won’t consider a theorem proven until a computer has verified it. "

and now, consider this:

>"Das Seyn ist das Nichts" - Бытие есть Ничто.
>"Das Nichts nichtet" - Ничто ничтожит.
>"Die Nichtung verweigert jede Erklaerung des Seienden aus Seiendem" - Ничтоженье предотвращает всякое объяснение сущего через сущее.
>"Die Verweigerung aber gewaehrt die Lichtung, in der Seiendes aus- und ein- gehen, als ein solches offenbar und verborgen sein kann" - Такое предотвращение охраняет то, чтобы просветление как таковое - в ис-ступлении и за-ступлении сущего - могло бы быть одновременно открытым и сокрытым. - "И" выделено курсивом.

это все потому что мы еще-таки люди, не машины. Но более-менее скоро все изменится, безусловно. Воеводского искренне жаль, Торопыгу.

(Ответить) (Уровень выше)


[info]potan
2017-10-10 13:23 (ссылка)
А Вы бы не хотели в ВШЭ огранизовать курс по Гомотопической Теории Типов?

(Ответить) (Ветвь дискуссии)


[info]tiphareth
2017-10-10 16:13 (ссылка)
я в Рио, есличо

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]potan
2017-10-10 19:24 (ссылка)
А вообще в ВШЭ этим занимаются?

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]tiphareth
2017-10-10 21:27 (ссылка)
нет
ну и нигде в мире, более-менее, не занимаются
по крайней мере в европе

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]ende_neu
2017-10-12 11:36 (ссылка)
В Любляне Андрей Бауэр вроде как раз по таким делам спец. http://www.andrej.com/research.html

(Ответить) (Уровень выше) (Ветвь дискуссии)


(Анонимно)
2017-10-12 13:02 (ссылка)
+
еще Nicolai Kraus (http://www.cs.nott.ac.uk/~psznk/)
много кто этим занимается.
https://homotopytypetheory.org/category/code/

(Ответить) (Уровень выше)


(Анонимно)
2017-10-11 00:35 (ссылка)
Алан Чумак занимался, дозанимался.

(Ответить) (Уровень выше)


[info]r_d
2017-10-10 23:52 (ссылка)
Вот ты пишешь, что хочешь посещать курс гомотопической теории типов. А пизды получить ты не хочешь?

(Ответить) (Уровень выше) (Ветвь дискуссии)


(Анонимно)
2017-10-11 00:36 (ссылка)
+

(Ответить) (Уровень выше)


(Анонимно)
2017-10-11 10:20 (ссылка)
А Вы тоже хотите уничтожить математику? А Вы знаете, чем это чревато для Вас?

(Ответить) (Уровень выше)


(Анонимно)
2017-10-11 00:45 (ссылка)
Миша, что скажешь о Максиме Концевиче в целом?

(Ответить)


[info]eliyahu
2017-10-12 18:17 (ссылка)
Еще вот про Воеводского есть: http://trv-science.ru/2017/10/10/voevodsky-in-memoriam/

(Ответить)

Sowa
(Анонимно)
2017-10-13 01:52 (ссылка)
https://www.scottaaronson.com/blog/?p=3488

(Ответить) (Ветвь дискуссии)

Re: Sowa
[info]kaledin
2017-10-13 16:08 (ссылка)
Сова идиот. На что он надеялся, мне интересно? Дураку же ясно, что объяснить, чем ужасен, бог с ним с Говерсом, хотя бы Эрдош, непрофессионалам нельзя. Нафига было тащить эту в блогосферу? Причем, что хуже всего, он сам все понимает про Эрдоша, но не особо понимает, чем так замечателен Гротендик -- как видно из идиотских восторгов по поводу Лурье. И люди это чувствуют, даже если ничего не понимают в конкретике (и особенно если ничего не понимают в конкретике).

(Ответить) (Уровень выше) (Ветвь дискуссии)

тупой обоссаный калоед
(Анонимно)
2017-10-13 21:23 (ссылка)
>как видно из идиотских восторгов по поводу Лурье
бляяяяяяяядь, ебаноид, ты опять за свое? может хватит уже?
ну он что тебе в борщ насрал, успокойся и смирись
лурье - это будущее математики, а ты жыд

(Ответить) (Уровень выше)

Re: Sowa
[info]rampant_mouse
2017-10-14 23:55 (ссылка)
А мне как раз объяснения Совы казались полезными. Где его сейчас можно читать?

Эрдош совсем ничего стоящего не сделал? И Гауэрс все же не Эрдош, нет?

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Sowa
[info]kaledin
2017-10-15 01:11 (ссылка)
>Эрдош совсем ничего стоящего не сделал?

Не знаю. То, чем он занимался, это вообще не математика, и что в этой его нематематике стоящее, что нет, мне неведомо. Но с математикой оно несовместимо вообще, а при этом конкурирует за те же ресурсы (включая даже название). Так что он прямой враг.

>Где его сейчас можно читать?

Не знаю.

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Sowa
(Анонимно)
2017-10-15 14:01 (ссылка)
А динамические системы и всякое эрго говно - это первая культура и вторая? их считаем врагами?

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Sowa
[info]kaledin
2017-10-15 18:25 (ссылка)
Со своей нумерацией культур иди туда, откуда пришел -- быстро, решительно.

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Sowa
(Анонимно)
2017-10-16 17:09 (ссылка)
уёбок, это здесь же было придумано димой павловым и твоим подпёздышем мишей, давай-ка ты его нахуй пошлёшь (а заодно и сам сходишь, не помешало бы)

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Sowa - [info]beotia, 2017-10-16 19:57:56
Re: Sowa - (Анонимно), 2017-10-17 00:05:32
Re: Sowa - [info]beotia, 2017-10-17 06:29:36
Re: Sowa - (Анонимно), 2017-10-17 12:17:12
Re: Sowa - [info]kaledin, 2017-10-16 22:02:25
Re: Sowa - (Анонимно), 2017-10-16 23:37:54
Re: Sowa - (Анонимно), 2017-10-17 01:28:10
Re: Sowa - [info]kaledin, 2017-10-17 02:13:50
Re: Sowa - [info]beotia, 2017-10-18 19:56:21
Re: Sowa - (Анонимно), 2017-10-18 20:18:45
Re: Sowa - [info]kaledin, 2017-10-18 20:47:25
Re: Sowa - [info]beotia, 2017-10-20 04:20:30
Re: Sowa - (Анонимно), 2017-10-18 23:02:45
Re: Sowa - [info]kaledin, 2017-10-19 15:34:11
Re: Sowa - [info]tiphareth, 2017-10-19 16:11:01
Re: Sowa - (Анонимно), 2017-10-19 17:40:09
Re: Sowa - [info]tiphareth, 2017-10-19 17:46:54
Re: Sowa - [info]kaledin, 2017-10-19 18:41:39
Re: Sowa - [info]tiphareth, 2017-10-19 19:49:20
Re: Sowa - (Анонимно), 2017-10-16 23:54:40
Re: Sowa
(Анонимно)
2017-10-16 12:22 (ссылка)
Че-т там считает и вумные закорючки пишет -- знач математика.

(Ответить) (Уровень выше)