akuklev: (Свечка и валокардин)
akuklev ([personal profile] akuklev) wrote2013-07-02 12:23 pm

Атака математиков III

Сегодня после 3 дней затишья был очередной апдейт (пока не подтверждённый, т.е. доказательство не отреферрировано) Polymath8: существует бесконечно много пар простых чисел, находящихся друг от друга на расстоянии не более 5414. И пишуть, что дальше оно легко уменьшаться не будет.

http://terrytao.wordpress.com/2013/06/30/bounded-gaps-between-primes-polymath8-a-progress-report/#comment-237093:
Incidentally, I’m coming around to the opinion that [..] we’re almost at the end of the road for easy improvements here. [..]
[I]t is conceivable that some increasingly heroic efforts could shave a bit more off[..,] but I think the era of dramatic improvements in the numerology are basically over[.]

Terence Tao

Оптимистический предел того, что можно выжать ещё более строгими оценками — 1238. Это было бы улучшение на 4.75 порядка. :-)

[identity profile] sorhed.livejournal.com 2013-07-02 11:29 am (UTC)(link)
Куклев, ты участвовать бушь? У нас команда уже есть, ващет.
ext_615659: (Свечка и валокардин)

[identity profile] akuklev.livejournal.com 2013-07-02 11:33 am (UTC)(link)
В ICFPC? Нет, на эти даты у меня не получится. :(

[identity profile] sorhed.livejournal.com 2013-07-02 01:18 pm (UTC)(link)
С тематикой "формальные методы, верификация и программный синтез"? Ты с ума сошёл? :)
ext_615659: (Свечка и валокардин)

[identity profile] akuklev.livejournal.com 2013-07-02 01:21 pm (UTC)(link)
Гы. Тематика, конечно, прекрасна. Я такое обожаю. Но если я правильно помню, в эти даты у меня как раз Аня с Алисой на короткий срок будут, тут ничего не поделаешь. Они как раз со 2 до 14 августа будут, а ICFPC в районе 8ого.

[identity profile] sorhed.livejournal.com 2013-07-02 01:22 pm (UTC)(link)
Ну я тоже вообще-то с женой буду. :)

[identity profile] gnom-lis.livejournal.com 2013-07-02 05:21 pm (UTC)(link)
с 1го по 14е...
а это требует наличие тебя где-то, кроме Мю или Гё???

вы этой же фигней занимались в прошлом году в швейцарии? тогда я наверное буду против, мне то ездить столько нельзя...но у тебя может быть альтернативное мнение...
ext_615659: (Свечка и валокардин)

[identity profile] akuklev.livejournal.com 2013-07-02 05:25 pm (UTC)(link)
Да, мы этой штукой занимались в прошлом году в Швейцарии. :)

> а это требует наличие тебя где-то, кроме Мю или Гё???
Нет, теоретически это мероприятие вполне можно из дома. Штука просто в том, что это я на трое суток отвалюсь почти совсем из жизни, что, мне кажется, как-то неправильно. Ну посмотрим, может поучаствую в команде малотрудником-консультантом, учитывая тему "верификация", я и в таком виде могу оказаться весьма полезен.

[identity profile] gnom-lis.livejournal.com 2013-07-02 05:28 pm (UTC)(link)
ну...если это будни с 9 до 18 по мск, то можешь заниматься всем чем угодно :) я все равно работать буду...

с другой стороны мы же может еще и не поедем никуда, то тогда можешь и участвовать...
ext_615659: (Свечка и валокардин)

[identity profile] akuklev.livejournal.com 2013-07-02 05:31 pm (UTC)(link)
Не, оно начинается в ночь с четверга на пятницу и длится до конца воскресенья. Это упражнение на 72 часа нонстопом, если реально участвовать. :)

[identity profile] fea-dreams.livejournal.com 2013-07-02 09:17 pm (UTC)(link)
А было круто в Израиле, помнится. Алена зовет повторить. Так что можно, наверное, и там.

[identity profile] koalena.livejournal.com 2013-07-03 06:45 am (UTC)(link)
дададада!
мы будем вам безумно рады.
море, уточню, в 5 минутах езды ) под окнами, короче, это до пляжа вот еще ехать надо

[identity profile] gnom-lis.livejournal.com 2013-07-02 05:29 pm (UTC)(link)
ну вообщем ты мне напомни про эту хрень ближе к августу, если на эти трое суток у меня не будет на тебя планов... :)
ext_615659: (Свечка и валокардин)

[identity profile] akuklev.livejournal.com 2013-07-02 05:31 pm (UTC)(link)
Хорошо, напомню.

[identity profile] fea-dreams.livejournal.com 2013-07-02 09:16 pm (UTC)(link)
А почему хрень то? Очень развивающее и интересное мероприятие. Куда лучше слета бардовской песни :)

[identity profile] gnom-lis.livejournal.com 2013-07-02 09:18 pm (UTC)(link)
нууу, например, потому что я считаю, что не спать 72 часа - это плохо и вспоминая прошлогоднее состояние мужа во время и после я не хочу, чтобы он участвовал
мне кажется, что так издеваться над собственным здоровьем ради забавы - зло

[identity profile] fea-dreams.livejournal.com 2013-07-02 09:23 pm (UTC)(link)
Поддержание здоровья - не единственная ценность, к счастью :)
Потухший взгляд и скука - вот что настоящий бич, и если что-то зажигает человека, то это здорово, пусть ищет, развивается, двигается вперед.

[identity profile] gnom-lis.livejournal.com 2013-07-02 09:31 pm (UTC)(link)
не единственная...
но в чем смысл намеренно калечить собственное здоровье мне видимо не понять никогда
я считаю, что для того чтобы развиваться и двигаться вперед есть и другие пути

ext_615659: (Свечка и валокардин)

[identity profile] akuklev.livejournal.com 2013-07-03 12:25 am (UTC)(link)
По факту все, конечно, спят. Но на тех эндорфинах и адреналине хватает 4-5 часов сна, тебе по походам это дожно быть знакомо. И такое явление, что ради покорения вершины можно сколько-то жертвовать комфортом, тебе понятно. Так вот, ICFPC и подобные международного уровня спринты это такой заряд энергии и во время и надолго вперёд, что такие мелочи как дискомфорт пару дней, напрочь забываются.

В ICFPC этого года я в общем-то участвовать не собирался и об этом как-то совершенно не жалел, в моем списке приоритетов он совершенно не на первом месте, мне с вами с Алисой будет провести время на выходных полезнее и приятнее. Но при этом мне как-то неприятно, что тебе в целом не хочется, чтобы я участвовал в таких соревнованиях, это получается несимметнично. Как если бы я не хотел, чтобы ты ходила в горы. Потому что де рисковать жизнью и здоровьем ради забавы это зло, а для самореализации и активного отдыха есть другие пути. :-)
(deleted comment)
ext_615659: (Свечка и валокардин)

[identity profile] akuklev.livejournal.com 2013-07-03 08:35 am (UTC)(link)
> для тебя при этом ничего не изменится

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

А остальное изменится, конечно. Как изменилось уже сейчас. Просто одно дело, когда оно меняется под действием объективных обстоятельств (что-то нужно сделать, приоритеты сдвинулись и/или что-то сложно осуществить), это не вызывает моего неприятия, это естественная и неизбежная вещь. Мне неприятен исключительно подход "я не хочу, чтобы он" из соображений оценки за меня того, что для меня хорошо и для меня зло, оценивать это для себе прерогатива каждого человека индивидуально.

> если бы ты хотел, чтобы я ходила в горы, то
Между "хотеть" в смысле "ставить на самый верх иерархии приоритетов" и "хотеть" в смысле "не быть против" находится ещё целый мир вариантов, поэтому их прямое противопоставление это демагогия.

> в-третьих, в горах во много раз безопаснее, чем в центре любого мегаполиса, а уж здоровья после гор только прибавляется

"А какие выживают, те до старости живут." (с) Про Федота стрельца удалого молодца. :-)

[identity profile] gabriel-irk.livejournal.com 2013-07-05 11:32 am (UTC)(link)
> в целом мужчины всегда считают, что правы они
Вот что сказала моя девушка на этот тред. :)))

Я ей это показал как описание подхода, совпадающего с моим в данных пределах.
ext_615659: (Свечка и валокардин)

[identity profile] akuklev.livejournal.com 2013-07-05 11:35 am (UTC)(link)
В целом все люди независимо от пола считают, что правы они. Это полная тавтология, т.к. если человек не считает, что он прав в Х, то он не отверждает Х.
Edited 2013-07-05 11:35 (UTC)

[identity profile] gabriel-irk.livejournal.com 2013-07-08 07:34 am (UTC)(link)
Думаю, ключевым словом там является квантор "всегда" (считают, что они правы). :)))

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

[identity profile] gnom-lis.livejournal.com 2013-07-02 05:25 pm (UTC)(link)
он сошел с ума когда женился :) я его предупреждала :)

[identity profile] fea-dreams.livejournal.com 2013-07-02 09:16 pm (UTC)(link)
Мы все так и поняли :)

[identity profile] gnom-lis.livejournal.com 2013-07-02 09:31 pm (UTC)(link)
а он кажется еще нет :)

(Anonymous) 2013-07-02 04:07 pm (UTC)(link)
Хмм... а как 4.75 порядков получилось-то?
ext_615659: (Свечка и валокардин)

[identity profile] akuklev.livejournal.com 2013-07-02 04:41 pm (UTC)(link)
log(1238/70_000_000)/log(10) = -4.7523774(1) десятичных порядка.

[identity profile] deni-ok.livejournal.com 2013-07-03 07:47 am (UTC)(link)
Давать два знака после запятой при оценке порядка - лучшее свидетельство настоящей дотошности!