Этот пост должен был появиться больше недели назад, но небольшая простуда и безграничная лень нарушили эти планы. Итак, вот что было интересного
Первое: Теорема Гёделя о (не)полноте
Как выяснилось, товарищ Гёдель доказал две знаменитые теоремы, а не одну как я думал ранее. На философском уровне они звучат как «всякую истину можно доказать» и «существует недоказуемая истина». В математическом же виде вторая сформулирована в виде «множество арифметических истин неперичеслимо».
Видео ценно именно понятным математическим разбором вышеупомянутых утверждений
Второе: Партии шахматных движков
То, что шахматные программы играют намного лучше людей, не новость, но игра их между собой иногда бывает просто завораживающей. Извивы компьютерных вычислений без помощи комментатора понять практически невозможно, рассчитывают компьютеры далеко, единственный возможный ход из десятка не упустят, и никогда ничего не зевают. А если отвлечься от подробностей, то поразительны сами принципы.
Очень часто, гораздо чаще чем в партиях людей, компьютеры атакуют. Не один нападает, а другой защищается, а нападают оба, и результат партии зависит от того, кто успеет раньше. Ни малейшей склонности цепляться за фигуры, никаких стереотипов, если есть возможность напасть – компьютер нападает. Как нигде заметна ценность буквально каждого хода. Принцип «лучшая защита – это нападение» компьютеры усвоили просто отлично.
К специфической дикции ведущего надо привыкнуть, это да
https://youtube.com/playlist?list=PLrJksl4rIC6Kkq_hOkmXm7Vj-cr6CMsNJ
Третье: Кавалерия и пехота столетней войны
Клим Жуков всё собирается рассказать про столетнюю войну. Мы уже рассмотрели экономику, теперь вот вооруженные силы изучим, и в следующий раз может быть доберёмся до военных действий. Или не доберёмся.
Кому б вообще пришло в голову слушать про эту войну, но Жуков – замечательный рассказчик, он умеет хорошо передать особенности и быт эпохи и что немаловажно, способен объяснить, почему люди делали то, что они делали. Спойлер – всё упирается в экономику, конечно.