>– Что стоит за этим страхом всего иностранного? Откуда все это взялось, учитывая, что нынешняя власть – наследники тех, кто с восторгом крушил железный занавес?

>– Это все-таки вопрос к психологам, к историкам.


Ну как маленькие, ей-богу!

Какой там страх, если у всей правящей группировки дети учатся на Западе и там же недвижимость и секретные (и не очень) счета?!

Ясно же, что этот "страх" - только в кремлевской пропаганде.

Настоящий страх у них вызывают только санкции, но их пока не слишком много.

Так россияне же искренне боятся, что придут геи из Европы и всех пацанов...

А ведь ты — я знаю тебя по Швейцарии — ты без кафе, без «бока», без табачного дыма, плавающего под потолком — жить не мог.
Небось, хочется иногда снова посидеть в биргалле, поорать о политике, затянуться хорошим киастером — да где уж там!
И из Кремля нельзя выйти, да и пивные ты все, неведомо на кой дьявол, позакрывал декретом # 215523.

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

>Программирование: теоремы и задачи

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

походу вся эта лицемерная котовасия с двойными стандартами от формалистов пошла.

элаборируй плз

очевидно же
невычислимость-диагональный трюк квинтэссенция и постоянные грабли формалистов
всякие там P vs. NP из той же ореры

сейчас есть и обратная мода -автоматизация доказательств теорем (ещё не сдулся этот пузырь?)
типа конструктивизация формализма
тот же бред формалистов

они просто тупые и им страшно

из той же ореры

тебе эту оперу на чане напели или на редите?
а сам чьих будешь? Платоно-реалист? Натуральные числа видел? 2^2012 - 1 на 7 делится?

где тебе там конструктивизм померещился?

программирование

Шел я кароче пацаны по коридору и увидел формалиста в майке V=L.
Но дух старой школоты ебашится по большим кардиналам, угорает по гипотезе суслина и ебет конструктивизм врот.

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

https://en.wikipedia.org/wiki/Axiom_of_constructibility

wieiner_

а вы сами чьих будешь? платонист-реалист? 2^2021 - 1 на 7 делится?

он вейнер. Он тебя сам поделить может. Не зли его сука.

ой вей да хоть винер ему просто повезло что год нечетный

Так ведь Шень левая вата похлеще Каледина. Надо было так и написать мол автор является левой ватой.
Прикинь, всех свидетелей секты гауссовых выборов объявили агентами, а его нет, так он уже взялся законы трактовать, мол я могу рассматриваться как агент патамушта я хранцуз. Суд будет решать агент ты или нет.

А вообще, "Программирование: теоремы и задачи" хорошая книжка хотя бы потому что говнокодеры думают, что она про то как программировать теоремы и задачи, и читать не будут

Если серьезно, Шень офигительный методист, книжки все отличные, может это соавторы тоже. Я какую-то его книжку использовал лет 30 назад как справочник по программистским алгоритмам, типа baby-Knuth. А вот книжка про колмогоровскую сложность - вообще глоток свежего воздуха молодого вина.

Я не знаю за Шпилькина ничего кроме того что он идиот.
Просто Шень в интервью сказал:
В связи со своими статистическими интересами я разговаривал с людьми, которые занимались выборной статистикой, наблюдал, как их объявляют "иноагентами".

Борисыч, а вот если ты и Вениамин начнете фиолетовых муравьящеров ебать по методу клингонских космонавтов, то ведь Вениамин много муравьящеров выебет, а ты так много муравьящеров не выебешь. Честно говоря, в твоей победе в данном состязании я не уверен

Байден сказал армянам давать в проход,
Приласкать-пригреть этот умный народ

> (взять ту же книгу ещё про классические и квантовые вычисления, с Вялым и Китаевым).

спасибо, может даже почитаю, даже не верится что я на тифаретнике, такой продуктивный диалог

> в сраной все выборы подделаны сверху донизу, очевидно

Да.

> Взгляды Шпилькина на статистический анализ выборов

- говно. Есть еще взгляды Пшеничникова и Кобака, которые не все говно.

> Александр полностью разделяет, насколько мне известно; я в статистике ничего не понимаю

Он тоже, я считаю. Более того, у меня впечатление, что Александр ни разу не анализировал те данные сам, но всегда эндорсил/пиарил чужое.

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

(автор утверждает, что теорему Гёделя о неполноте он тоже опроверг)
неполноте геделя не хватает непротиворечивости метатеории, в которой она доказывается(больше чем арифметика)
так что возможно он доказал также и отрицание теоремы о неполноте

О, спецы подтянулись. Сказали ж вам (и нам)- это раздражает Александра.

1я теорема Геделя доказывается в арифметике. Это непротиворечивость арифметики доказывается в чуть более мощной теории: нужна аксиома "конечные деревья вполне упорядочены" (омега1 индукция)

Нет, я конечно сомневаюсь в непротиворечивости арифметики, но до этой темы мы еще не договорились

Если остались математические вопросы, лучше всего пройдите на форум какой нибудь типа dxdy.ru или stackexchange

> что цепляет

Да математиков таки давно уже таки не цепляет (ну или не должно цеплять).
Естественно, цепляет дилетантов.
Вот и получается, что математик ограничится парой полупопулярных статей (а то и Хофштадтером с Пенроузом).
А дилетант (high functioning дилетант) может прочитать и Тьюринга с Феферманом, не говоря уже про Матиясевича, т.к. многолетней мат подготовки для этого не надо.
Начитается и идет троллить профессионалов

Как математика была формализована на основе теории множеств, так и остается.

А надежды Гильберта, вообще-то, сбылись процентов на 80. Какие-то специфические разделы математики требуют дополнительных специфических средств - ну и что в этом такого?

Он много чего хотел по разным вопросам в разных разделах математики. Вы про что именно сейчас?

Если вы про 10 проблему Гильберта, то это лишь одна из неразрешимых проблем математики. Ну и что, таких неразрешимых проблем полно во всех разделах.

Я не уверен, что Михаил вообще раскроет мой коммент, такое уже бывало, когда я пытался задеть чей-то мат. авторитет (не его и не Дмитрия). И я не возражаю. Они же не будут мне тут отвечать, а по Кашруту даже не положено смотреть на человека, когда он не может смотреть на тебя. Но я анонимное некошерное говно, мне можно.

Есть тонкости в теоремах про полноту и неполноту. Я как-то срался с одним математиком в ЖЖ (слыхал, он большой математик) по поводу очень простой вещи. Он отказывался принимать мое утверждение (и доказательства), т.к. оно "противоречило 2й теореме Геделя" а также популярной книжке Пенроуза "голая жопа короля". Он просто не знал ни правильной формулировки 2й теоремы Геделя, ни необходимых условий.

Что Александр вполне качественно разбирается в основаниях математики, я уверен, и скорее всего это было "раздражается, когда кто-то некомпетентный"

Однако по поводу выборной статистики, мне казалось, что мозг Александра увы, затуманен туманом политической войны. Могу приводить примеры, но это опять же будет некрасиво за его уважаемой спиной

> взять ту же книгу ещё про классические и квантовые вычисления

Взял, разочаровался. Доступное введение в классы сложности, но совсем не "интересная и понятная" книга. Есть кое-какие неплохие мотивирующие объяснения, но они мотивируют не то, о чем книга.
А уж эпиграфы, подписанные "Александр Шень" - нарциссистская безвкусица.

а почему вы не хотите определять противоречивость фигуры именно через контингент?

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

Борисыч, а вот если ты и Вениамин начнете хуем колоть орехи по методу китайского цигуна, то кто из вас больше орехов переколет - ты или Вениамин? Честно говоря, в твоей победе в данном состязании я не уверен.

не все орехи раскалываются от залива водой, анон

http://www.econorus.org/pdf/Shen_Review_20120117.pdf

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

левый не может быть формалистом
скорее криптоправый

у русни всё правое, а слово "левое" у них у кого ругательство, у кого фетиш.

у русни всё левое, а слово "левое" у них у кого ругательство, у кого фетиш.

то есть, "стирать пакеты" вполне заменяет "стирать штаны"?

Гугель тоже криптоправый? У них говорят все на алгоритмах и тензорах работает, формалистнее некуда

казалось что дальше некуда, но Шень всё равно наращивает няшность