ПРЕДЕЛ НАУКИ И БЕСПРЕДЕЛ ЯЗЫКА: Брагилевский в гостях у Светова

Сегодня в 20:00 у меня в гостях Виталий Брагилевский. Преподаватель СПбГУ, специалист по языкам программирования и идеолог Хаскелля. Поговорим про пределы науки и беспредел языка, чем программирование отличается от математики и как гуманитарии обманули технарей назвав политологию наукой. Будет очень интересно, подключайтесь!
ВОПРОСЫ В ЭФИР https://new.donatepay.ru/@svtv

Михаил Светов https://twitter.com/msvetov

Канал в телеграме https://t.me/mrlibertarian

http://patreon.com/svtv

Паблик вконтакте http://vk.com/svtvofficial

Инстаграм http://instagram.com/mrlibertarian

Если вам нравится что я делаю, помогите каналу криптовалютой!

BTC 154H8UAG9EgBPHNFuW8u6h56JdqpSsAYmS
LTC LTwfHhGa7bQfXhPY7hn7Y1ajhcGMrpcD2N
BCH qzk27dg92j6hfftx7hfa6jyyy60ylsutdg2hgz28na
DASH XtqFqLi8VJV7eJ1s98MLbNmSNdZ81vbNVt
ETH 0x19330e83c2059Ad5B67b8431dd6ba4BD848dec67
NEO AeNhFB2k3DHHfumVxsWeK2W87ER9jFpyVQ
ZCASH t1WuCvNNDsRNWaR4rrRjFia2N7SfpPoQYsu
MONERO
48ruTzXESqg6dBesQpHvJXHeAYVobsDhKa8m4CMgvtBdHTa3mWCFgD7WXpwMXt8TbBSLaN8J1PWtbZNu8WzSxvTiDGMpu8X

0:00 Приветствие
0:13 Спор о науке не получился из-за особенностей твиттера
3:33 О мнении «Наука это то, чем занимаются учёные»
6:31 Об определении науки через критерии научности
8:30 Научный консенсус это баг, а не фича, но без него никак. В чём проблема признавать недоказуемость утверждений?
15:08 В какой момент математика из абстракции превращается в полезное знание?
20:53 Так наука ли математика? Определение через консенсус приводит к лженаукам и злоупотреблениям политиков
23:25 Про теорему Гёделя и как её применяют гуманитарии
27:12 Деление на гуманитариев и технарей, и почему гуманитарным наукам лучше иметь статус искусства
29:42 К науке обращаются политики ради её статуса непоколебимости
32:29 Корочки в науке значат, а в искусстве – нет, поэтому все мигрируют в науку
34:20 О манипуляциях применимостью-неприменимостью научного метода
38:36 Недоказуемым утверждения, которые работают, комфортнее быть в границах искусства
42:39 Почему в научной среде мало сопротивления заигрыванию с наукой
45:02 Почему в научпопе такие догматики и как Парк Юрского периода сделал для палеонтологии больше, чем научпоперы
51:30 Вред определения значений слов через их употребление. Пространство языка это забота не математиков, а политиков
56:31 Почему позиция «программирование – просто набор инструкций» это сильное упрощение
1:01:06 Математический аппарат может применяться к ЯП.
1:10:02 Почему учёные так хотят наделить науку моральным статусом
1:14:40 Сейчас науке удаётся избавляться от лженауки. Польза от уточнения «что является наукой, а что нет»
1:17:01 В наших школах немного не тому учат
1:19:04 Без доверия общество невозможно
1:20:02 Об американских институтах и их разрушении ради борьбы с Трампом
1:23:24 Существует ли наука в отрыве от научного метода
1:28:28 В математике не держатся за истинность
1:30:35 Сейчас есть 2 математики – обычная и конструктивная
1:31:48 Если к неправильным предпосылкам приложить научный метод, выводы не станут верными или хотя бы научными
1:34:12 Науки ли гендер стадис, гендерный дисбаланс в информатике. Является ли решение проблемы в одной области благом для всего общества
1:37:32 Не так давно научный консенсус считал гомосексуализм болезнью
1:40:36 А что такое анкап-то?
1:41:19 Почему хороших программистов мало, а советчиков много?
1:45:06 Весь этот спор – о языке, и почему о математике как науке должны говорить не математики
1:49:42 Как учёные всех на карантин посадили, но ответственность не берут
1:57:30 Разрушение института церкви приводит к разрушению науки
1:58:50 Проверяют ли тесты знания?
2:00:32 Как разглядеть границу между научным авторитетом и учёной спесью?
2:01:25 Математику часто применяет без понимания процессов, стоящих за формулами
2:02:10 В математике аксиомы не даны, их можно выбирать
2:02:46 Математики часто считают себя умнее остальных. Плохо ли преподают математику?
2:06:16 Как учёба математике пригодится в жизни и не лучше ли по-другому распорядиться временем и усилиями учеников?
2:10:03 Программирование для человека, а не человек для программирования
2:12:00 Немного о том, почему Брагилевский не хочет в ЛПР
2:14:14 Почему без дипломов, корочек, погонов в образовании никак
2:19:24 Поможет ли выправление гендерного дисбаланса научным дисциплинам? Общественное давление это нормально, и почему от него невозможно избавиться
2:25:34 Burning Man – упрощённое либертарианское общество? Могут ли либертарианцы быть определяющей силой, если представительства двух главных партий равны?
2:27:47 Генерация теорем нейросетями и компьютерная верификация – будущее науки?
2:30:12 Всех под замок – политическое заявление учёных?
2:31:20 Про сумасшедших учёных-любителей, доказавших всё на свете
2:33:45 Если в IT большие зарплаты, значит оно важно и перераспределение в его пользу оправдано? Рыночные отношения это не только товарно-денежные отношения
2:38:36 Гуманитарные науки намного влиятельнее технических
2:40:31 Чуть про ЯП Haskell

Видео ПРЕДЕЛ НАУКИ И БЕСПРЕДЕЛ ЯЗЫКА: Брагилевский в гостях у Светова канала SVTV