anybody knows ZFC here?

Take ZFC.

Take N (the set of natural numbers, exists by the axiom of infinity).
Take a predicate, p(x, y), which is true iff y = P^n(N), that is, a powerset of powerset).
By replacement axiom, there exists a set {N, P(N), P(P(N)),...}, defined by this predicate.
By union axiom, there is a union of this set.
WTF?

(src: https://arxiv.org/pdf/1212.6543.pdf, 10x xacid)

нет, не соглашусь с Сухановым

ppk_ptichkin запостил линк на пост taki_net десятилетней давности: https://taki-net.livejournal.com/796480.html 

Там (в меру адекватности моей интерпретации) рассказывается, что 

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

б) Еврейская Интеллигенция спасла реноме евреев, подняв тему холокоста на глобальный уровень, и внедрив в сознание человечества идею, что все мы люди;

в) в 90-е те представители Еврейской Интеллигенции, что Не Уехали, совершили героический поступок, сохранив в России элементы цивилизации и доказав человечеству, что там тоже люди живут.


Все это, конечно, звучала более убедительно до 2014-го года, хотя, вроде бы, уже был 2008-й позади.

Так вот, я не согласен совершенно, ни с одним пунктом.

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

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

Я не думаю, что Еврейская Интеллигенция исчерпывается московской, питерской, киевской, одесской и харьковской группировками; есть и другие страны, где тоже живет много умных образованных людей, и с какого бодуна они должны были заняться воспитанием россиян в духе человеколюбия? Так же и те евреи, что уезжали из Москвы, они москвичам ничего не должны были, хотя на эту тему у ОВИРа и было другое мнение. Вообще ничего не должны. И интересы у них были и есть совсем другие. В конце концов, есть Израиль; почему бы не вспомнить об интересах Израиля, и не забыть об интересах страны, которая десятки лет держала в плену?

Я не думаю, что те, что не уехали, так уж шибко вкладывают усилия в воспитание в россиянах человеколюбия и нестяжательства. Ну разве что Ротенберг, которому недавно Путин дал 70, что ли, миллионов, на борьбу с коррупцией.

Короче, при всем уважении к Суханову, давайте не будем херню пороть.

Херня, наверно, хороша, когда ты учитель в 57-й школе, и призываешь всех "взяться за руки, друзья", пока в соседнем классе оставшийся спасать Россию еврейский интеллигент лезет девочкам в трусы.

Позлее надо. Позлее. Чисто из объективности. А то результаты получаются такие, что эти девочки из 57-й школы просто не знают, а что делать-то, если их воспитали в благости и человеколюбии, а тут один из человеколюбцев в трусы лезет - это же учитель, светоч культуры.

Ну вы поняли, надеюсь. Если есть вопросы, так отвечу.

дыбр-а

 Три научных вещи меня поразили.

1. Сначала xacid  запостил линк на Лейнстера, где автор пишет, что в урезанной аксиоматике ZFC вот такое множество нельзя построить, а в полной можно:

ℕ ∪ P(ℕ) ∪ P(P(ℕ)) ∪ · · ·

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

2. spamsink запостил офигенное видео, где пи вычисляется через кубики на скользкой плоскости и стенку сбоку. Красиво. Загадочно.

3. По бибиси рассказывали про Лукреция, римского поэта, который заметил, что при наличии свободы воли существуют физические явления, не имеющие физических причин. Дык! Когда скажут, то очевидно. А не скажут, так и не догадаешься. Ау, Сирл! Лукреций закрыл этот вопрос, нет?

Вот столько прекрасного случилось. И это еще всего лишь мысли, правда, чужие.

дороги и...

Сейчас немножко вышло, похоже, из моды нахваливать Гитлера за строительство дорог в Германии, так что, может быть, и поздно интересоваться. Как похорошела Германия при Гитлере.

Но вот такая тема - окей, в 36-м такие хорошие такие дороги строили... в 39-м, наверно, тоже, на французские хлеба; в 41-м тоже... а в 42-м? А в 44-м? А чо перестали? Все дороги построены были? В какой-то момент то ли стройматериалы кончились, то ли интерес пропал.

Конечно, можно было бы спросить, как это объясняли (население друг другу), но мне тут уже сообщили, что в те времена население Германии могло произносить только лозунги и петь песни "дойчлянд-дойчлянд" и "ди фане хох".

Но хвалильщики-то еще не вполне перевелись. Вот у них как-то картинка не складывается же, мне кажется.