5 картинок
“Физика подобна сексу: иногда даёт практические результаты, но занимаются ей не поэтому” – Ричард Фейнман
Не будем касаться тех обывателей, которые пользуются плодами науки и яростно отрицают ее нужность. Их высмеял еще дедушка Крылов.
Многие люди прекрасно понимают, зачем работают ученые в "Интел" над тем, чтобы разместить больше деталей на кристалле кремния, или в "Данон", над бактериями в йогурте. Или в "Роснано", над, хм, ну ладно. Это чтобы смартфончики пахали быстрее и чтобы йогурт дольше не кис.
Это все относится к прикладным наукам и с точки зрения простого смертного такие науки хорошие, годные. Но этот же простой человек искренне не понимает, зачем отправлять станции к спутникам Юпитера, копать кости динозавров и считать волоски на лапках тропических мух. Этим занимаются науки фундаментальные, чья главная цель - знание ради знания. И с точки обывателя, они бесполезны. Но при этом, достаточно дороги. Большой адронный коллайдер стоил 6 миллиардов долларов, а выхлопа, вроде бы, не дал. И говорит обыватель, давайте лучше эти деньги направим на поиск лекарства от рака, или на худой конец, помощь детям Африки.
Только так не работает. В науке никто не знает заранее, какие исследования практически пригодятся. Вот несколько примеров.
Математическая логика
Жил-поживал в девятнадцатом веке в Англии математик Джордж Буль. Математикой он занимался всю жизнь, в перерывах настрогав пятерых дочерей, две из которых тоже стали математиками, а одна знаменитой писательницей Этель Лилиан Войнич, написавшей "Овода".
Но главное достижение Буля все-таки не в этом, а в том, что он создал так называемую математическую логику (другие названия - алгебра логики, булева алгебра).
Формальная логика известна со времен Аристотеля и помогает выводить точные суждения. Например:
1. Все металлы электропроводны.
2. Золото - металл.
3. Следовательно, золото электропроводно.
Это пример дедуктивного рассуждения.
Буль додумался перевести логику на язык математики. Логическое высказывание в ней будет выглядеть так:
F= (A∧(B→C))∧ (B→A)∨B
Зачем? Это позволяет резко упростить выведение логических последовательностей.
Кто-то: мистер Буль, а зачем нужна ваша математическая логика?
Буль: ну, во-первых, это красиво.
Математикам действительно бывает достаточно для мотивации, чтобы было красиво. Но не всем остальным.
Поэтому к началу 19 века математической логикой занимались пару десятков человек по миру. Многие из них были выдающимися умами. Но всем остальным эта наука была не нужна и к преподающим эту область знания ходили единицы студентов.
Прошло почти сто лет, и казалось, что математическая логика так и останется любопытной, но бесполезной областью математики (которых в ней множество). Но в сороковых годах на лекции по математической логике повалили толпы, особенно много среди них оказалось молодых инженеров.
Оказалось, что булева алгебра идеально подходит для нарождающихся компьютеров. На это еще в 1937 году указал Клод Шеннон, один из отцов цифрового века.
Элементарная составляющая компьютера - логический элемент, так же как для мозга его клетка, нейрон. Сейчас логические элементы транзисторные, которых миллионы в кристаллах процессоров. Но когда-то их делали и ламповыми и электромеханическими, и даже гидравлическими. Несущественно, главное, логический элемент должен обрабатывать сигнал и передавать его следующему. Из этого вытекает вся мощь современных компьютеров, которые любую сложнейшую обработку информации сводят к простейшим математическим операциям, которые и построены на основе булевой алгебры.
Tertiusfilius ©
Логический элемент на транзисторах
Подробнее https://www.yaplakal.com...
Немного о "бесполезной" науке
2024-08-03 17:36:41