Извините, регистрация закрыта. Возможно, на событие уже зарегистрировалось слишком много человек, либо истек срок регистрации. Подробности вы можете узнать у организаторов события.
Встреча сообщества рационалистов с докладами на различные темы. В программе два доклада: «Как учить сложные штуки», Антон Чайников; «Устройства вывода и границы научного познания», Юрий Баранов.
Встреча сообщества рационалистов с докладами на различные темы.
Доклады:
1. Антон Чайников — Как учить сложные штуки.
2. Юрий Баранов — Устройства вывода и границы научного познания.
Подробнее про доклады:
1) Антон Чайников — как учить сложные штуки.
В примерах: кусочки теории моделей, теорката, топологии, теории типов, вопросы замены органов, немного теории ИИ, немного разработки ПО.
В именах действий: пересказывать, пересказывать неоднократно; намечать план с промежуточными шагами и следовать ему, намечать план и игнорировать промежуточные шаги, намечать план и идти в обратную сторону; ходить абстрактнее и ходить конкретнее; делать упражнения, придумывать себе ещё упражнения и делать их, замечать примеры и доказательства, которые автор приводит, и делать их как упражнения.
2) Юрий Баранов — Устройства вывода и границы научного познания.
На основе статьи Дэвида Вольперта 2018 года, где он развивает теорию, своего рода обобщение машин Тьюринга и теорем Гёделя и доказывает ряд забавных теорем.
Подробнее о встречах в Москве: http://lesswrong.ru/wiki/Москва
Встречи московской группы LessWrong проходят по воскресеньям в 14:00 в центре рациональности Кочерга.