Скачать "The Man Who Revolutionized Computer Science With Math"

"videoThumbnail The Man Who Revolutionized Computer Science With Math

0:00

Intro

0:56

Programming vs Writing

1:58

Thinking Mathematically

2:51

Serendipity

4:27

State Machines

5:24

Industry

6:22

Algorithms

Pourquoi le Soleil nous réchauffe - Ep.07 - e-penser

Pourquoi le Soleil nous réchauffe - Ep.07 - e-penser

Канал: e-penser 2.0

3 Discoveries in Mathematics That Will Change How You See The World

3 Discoveries in Mathematics That Will Change How You See The World

Канал: Sideprojects

Leaked Photos 📸 Secret Russian Drone with Capabilities Never Seen Before #shorts

Leaked Photos 📸 Secret Russian Drone with Capabilities Never Seen Before #shorts

Канал: Dark Tech

New Electric Generator

New Electric Generator

Канал: Energygraphy

From celebrities to influencers: A brief history of celebrity | BBC Ideas

From celebrities to influencers: A brief history of celebrity | BBC Ideas

Канал: BBC Ideas

L'atome (partie 2) - 31 - e-penser

L'atome (partie 2) - 31 - e-penser

Канал: e-penser 2.0

science

quanta

quanta magazine

explainer

science explainer

science video

educational video

computerscience

math

00:00:03

Меня зовут Лесли Лэмпорт, и

00:00:06

я ученый-компьютерщик,

00:00:09

чего на самом деле не

00:00:11

существовало, когда я начал заниматься

00:00:14

информатикой, и мне потребовалось некоторое время, чтобы

00:00:15

понять, что я один из них.

00:00:18

Мои отношения с компьютерами начались, когда я был

00:00:20

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

00:00:23

что я занимаюсь чем-то

00:00:25

научным, пока после того, как я не опубликовал

00:00:28

достаточно статей, мне

00:00:29

наконец пришло в голову, что

00:00:31

мое образование было математиком,

00:00:34

для меня было совершенно естественно думать о

00:00:37

компьютерах как о математике,

00:00:39

когда вы пишете алгоритм, который вам нужно

00:00:42

иметь доказательство правильности

00:00:45

алгоритма без доказательства — это

00:00:48

гипотеза, а не теорема,

00:00:51

и

00:00:52

если вы хорошо что-то доказываете, это означает, что

00:00:54

математики-

00:00:56

компьютерщики склонны мыслить в

00:00:58

терминах языков программирования.

00:01:01

Одним из прозрений в моей карьере было

00:01:04

осознание того, что я не писал

00:01:06

программы как ученый-компьютерщик, я

00:01:09

разрабатывал алгоритмы, я пришел к выводу,

00:01:12

что, если я не пишу программу, мне

00:01:14

не следует использовать язык программирования,

00:01:17

люди путают программирование с кодированием,

00:01:20

кодирование - это программирование, что значит печатать,

00:01:23

чтобы писать,

00:01:25

писать что-то, требующее

00:01:26

умственных усилий, вы думаете о том, что

00:01:28

собираетесь сказать, слова имеют определенное

00:01:30

значение, но в некотором смысле даже

00:01:32

они вторичны по отношению к идеям, точно так же, как

00:01:35

программы строятся на

00:01:38

идеях, они должны что-то делать и что

00:01:41

они должны делать, я имею в виду, это похоже на то, что

00:01:43

должно передавать письмо:

00:01:46

если люди пытаются изучить

00:01:48

программирование, их учат хорошо писать код,

00:01:51

их учат письму,

00:01:54

учат печатать, и это не имеет

00:01:56

особого смысла

00:01:59

лучший способ преподавания

00:02:02

программирования в отличие от кодирования - это

00:02:04

подумать о том, что программа

00:02:06

должна делать математически.

00:02:09

С этим связана очень большая практическая проблема.

00:02:12

математическое образование в этой стране

00:02:14

довольно ужасное, большинство людей начинают

00:02:17

бояться математики. Я даже

00:02:20

старшие программисты, я разработал

00:02:22

язык под названием tla plus для

00:02:26

записи идей, которые входят в программу,

00:02:29

прежде чем вы начнете писать код.

00:02:31

Инженерам довольно сложно освоить этот язык, но

00:02:34

когда они это делают, это развивает их способность

00:02:37

мыслить математически.

00:02:51

Распределенная система — это система,

00:02:54

в которой

00:02:56

ваш компьютер может стать бесполезным

00:02:59

из-за сбоя

00:03:00

компьютера, о существовании которого вы даже не подозревали.

00:03:04

Нераспределенные вычисления — это когда

00:03:06

разные процессы взаимодействуют, используя

00:03:10

одну и ту же память, а распределенные

00:03:12

вычисления означают, что они

00:03:14

взаимодействуют друг с другом. друг другу,

00:03:16

отправляя сообщения, теперь мой интерес к

00:03:20

распределенным системам возник по

00:03:23

счастливой случайности. Я получил препринт

00:03:26

статьи Роберта Томаса и Пола Джонсона, у которых

00:03:29

был алгоритм реализации

00:03:31

распределенных баз данных. Это

00:03:33

базы данных, в которых можно хранить несколько

00:03:36

копий данных. на разных

00:03:38

компьютерах, чтобы программы на каждом

00:03:40

компьютере могли иметь быстрый доступ к

00:03:43

данным, но их нужно было синхронизировать,

00:03:46

чтобы процессы на всех компьютерах получали

00:03:50

согласованное представление о том, что это за данные.

00:03:52

Я случайно стал хорошо знаком

00:03:55

со специальной теорией относительности, одна из

00:03:57

вещей Специальная теория относительности учит

00:03:59

вас тому, что два разных наблюдателя

00:04:02

имеют разные представления о том, что

00:04:05

одновременно означает,

00:04:07

но есть одно понятие, которое является инвариантным,

00:04:10

существует определенное представление о том, что одно событие

00:04:12

происходит раньше другого события, и это

00:04:15

означает, что

00:04:16

информация может

00:04:19

передаваться от одно событие за другим,

00:04:23

когда информация не может перемещаться

00:04:25

быстрее скорости света,

00:04:27

я понял, что это понятие причинности

00:04:31

было нарушено алгоритмом Томаса

00:04:35

и Джонсона, это полностью аналогично

00:04:38

отношению в специальной теории относительности,

00:04:40

поэтому я написал статью который

00:04:43

объяснил это понятие причинности.

00:04:47

Можно

00:04:48

решить любую проблему распределенной системы,

00:04:52

построив то, что я называю конечным автоматом.

00:04:55

Думайте об этом как об абстрактном компьютере, который

00:04:58

одновременно выполняет одну задачу. Убедитесь,

00:05:00

что

00:05:01

все компьютеры

00:05:03

в этой распределенной системе взаимодействуют

00:05:06

для реализации единый

00:05:09

конечный автомат,

00:05:10

и эта идея стала

00:05:13

фундаментальной в том, как люди думают

00:05:16

о построении распределенных систем.

00:05:19

Я никогда даже не думал о

00:05:21

распределенной системе до того, как написал эту

00:05:23

статью.

00:05:25

По мере продвижения по карьерной лестнице я начал

00:05:28

ценить идею работы в

00:05:30

промышленности, вот где Большинство

00:05:32

интересных проблем, которые я обнаружил,

00:05:34

исходили от инженеров, у которых возникла

00:05:36

проблема с ее решением.

00:05:38

На самом деле это напоминает мне кое-что, что

00:05:41

однажды сказал Огюст Ренуар, если кто-то

00:05:43

спросил его, почему он рисовал на улице, а не

00:05:47

в своей студии, и он ответил: «

00:05:49

Если бы я Мы рисовали в студии и

00:05:51

хотели нарисовать лист.

00:05:53

Знаете, я мог бы придумать только полдюжины

00:05:55

или около того разных видов листьев, которые я

00:05:56

мог бы нарисовать, но когда я рисовал на

00:05:58

открытом воздухе,

00:06:00

там были только эти миллионы

00:06:02

разных видов. листья, которые были

00:06:04

там, с которых я мог рисовать,

00:06:06

я нашел свое исследование таким же образом, что если бы

00:06:09

я сел, вы знаете, и просто,

00:06:11

вы знаете, созерцал свой пупок и думал

00:06:13

о проблемах, вы знаете, есть небольшое

00:06:15

количество проблем, о которых я мог подумать,

00:06:17

но были просто пугает, что они

00:06:19

сидят в промышленности и ждут

00:06:22

решения.

00:06:23

Мой любимый из моих алгоритмов —

00:06:26

алгоритм пекарни. Он предназначен для решения

00:06:28

проблемы взаимного исключения, которая заключается в том, чтобы

00:06:30

два процесса не использовали принтер

00:06:32

одновременно. Процессы выбирают число на основе

00:06:35

числа, которые были

00:06:37

выбраны другими процессами и используют

00:06:40

алгоритм, так что наименьшему разрешено

00:06:42

использовать принтер, но что удивительно в

00:06:44

этом, так это то, что он не делает предположения,

00:06:48

что почти любой другой алгоритм делает

00:06:51

предположение, что, если, скажем, я

00:06:54

изменив мое число с 47 на 100,

00:06:58

и вы прочтете это число, вы

00:07:00

получите либо 47, либо 100, но этот алгоритм работает,

00:07:03

даже если вместо 47 или 100 вы,

00:07:06

возможно, получили 4 700 или, может быть, вы получили 9999,

00:07:11

алгоритм все еще работает,

00:07:13

я не сделал Я намеревался это сделать, я имею в виду, что я не

00:07:16

собирался, что я только что обнаружил, что, когда

00:07:18

я писал доказательство, мне никогда не нужно было делать

00:07:20

предположения, это так прекрасно,

00:07:25

и

00:07:26

вы знаете, я действительно горжусь тем, что

00:07:30

наткнулся на это

00:07:33

[Музыка]

00:07:49

ты

Описание:

Leslie Lamport revolutionized how computers talk to each other. The Turing Award-winning computer scientist pioneered the field of distributed systems, where multiple components on different networks coordinate to achieve a common objective. (Internet searches, cloud computing and artificial intelligence all involve orchestrating legions of powerful computing machines to work together.) In the early 1980s, Lamport also created LaTeX, a document preparation system that provides sophisticated ways to typeset complex formulas and format scientific documents. In 1989, Lamport invented Paxos, a “consensus algorithm” that allows multiple computers to execute complex tasks; without it, modern computing could not exist. He’s also brought more attention to a handful of problems, giving them distinctive names like the bakery algorithm and the Byzantine Generals Problem. Lamport’s work since the 1990s has focused on “formal verification,” the use of mathematical proofs to verify the correctness of software and hardware systems. Notably, he created a “specification language” called TLA+ (for Temporal Logic of Actions), which employs the precise language of mathematics to prevent bugs and avoid design flaws. Read more at Quanta Magazine: https://www.quantamagazine.org//bringing-mathematical-perfection-to-software-20220516/ - VISIT our Website: https://www.quantamagazine.org - LIKE us on Facebook: https://www.facebook.com/QuantaNews - FOLLOW us Twitter: https://twitter.com/QuantaMagazine Quanta Magazine is an editorially independent publication supported by the Simons Foundation https://www.simonsfoundation.org/

Готовим варианты загрузки

Популярные

HD видео

Только звук

Все форматы

* — Если видео проигрывается в новой вкладке, перейдите в неё, а затем кликните по видео правой кнопкой мыши и выберите пункт "Сохранить видео как..."

** — Ссылка предназначенная для онлайн воспроизведения в специализированных плеерах

Вопросы о скачивании видео

Как можно скачать видео "The Man Who Revolutionized Computer Science With Math"?

Сайт http://unidownloader.com/ — лучший способ скачать видео или отдельно аудиодорожку, если хочется обойтись без установки программ и расширений. Расширение UDL Helper — удобная кнопка, которая органично встраивается на сайты YouTube, Instagram и OK.ru для быстрого скачивания контента.
Программа UDL Client (для Windows) — самое мощное решение, поддерживающее более 900 сайтов, социальных сетей и видеохостингов, а также любое качество видео, которое доступно в источнике.
UDL Lite — представляет собой удобный доступ к сайту с мобильного устройства. С его помощью вы можете легко скачивать видео прямо на смартфон.

Какой формат видео "The Man Who Revolutionized Computer Science With Math" выбрать?

Наилучшее качество имеют форматы FullHD (1080p), 2K (1440p), 4K (2160p) и 8K (4320p). Чем больше разрешение вашего экрана, тем выше должно быть качество видео. Однако следует учесть и другие факторы: скорость скачивания, количество свободного места, а также производительность устройства при воспроизведении.

Почему компьютер зависает при загрузке видео "The Man Who Revolutionized Computer Science With Math"?

Полностью зависать браузер/компьютер не должен! Если это произошло, просьба сообщить об этом, указав ссылку на видео. Иногда видео нельзя скачать напрямую в подходящем формате, поэтому мы добавили возможность конвертации файла в нужный формат. В отдельных случаях этот процесс может активно использовать ресурсы компьютера.

Как скачать видео "The Man Who Revolutionized Computer Science With Math" на телефон?

Вы можете скачать видео на свой смартфон с помощью сайта или pwa-приложения UDL Lite. Также есть возможность отправить ссылку на скачивание через QR-код с помощью расширения UDL Helper.

Как скачать аудиодорожку (музыку) в MP3 "The Man Who Revolutionized Computer Science With Math"?

Самый удобный способ — воспользоваться программой UDL Client, которая поддерживает конвертацию видео в формат MP3. В некоторых случаях MP3 можно скачать и через расширение UDL Helper.

Как сохранить кадр из видео "The Man Who Revolutionized Computer Science With Math"?

Эта функция доступна в расширении UDL Helper. Убедитесь, что в настройках отмечен пункт «Отображать кнопку сохранения скриншота из видео». В правом нижнем углу плеера левее иконки «Настройки» должна появиться иконка камеры, по нажатию на которую текущий кадр из видео будет сохранён на ваш компьютер в формате JPEG.

Сколько это всё стоит?

Нисколько. Наши сервисы абсолютно бесплатны для всех пользователей. Здесь нет PRO подписок, нет ограничений на количество или максимальную длину скачиваемого видео.