Математика как иностранный. B2-3. Формализм математики vs формализм компьютера.

Uploaded By: Myvideo

Published on

28 Nov 2024

1 view

0

0 votes

0

About Share Download Add to

Небольшое размышление на тему сходств и различий формализма математических теорий и языков програмимрования. Архетипическое сравнение. Книга на обложке: H. Schwichtenberg, S. Wainer. Proofs and Computations. Cambridge University Press. 2012.

Share with your friends

Link:

Embed:

<iframe width="640" height="360" src="//myvideo.cc/embed/VFdiTmdCQ2ZkTEFKN25QZnZZL0RvdDRWd2Z1YWozc2d0cEVYU3RUbTZlQT0" frameborder="0" webkitallowfullscreen mozallowfullscreen allowfullscreen></iframe>

Video Size:

Custom size:

x

Autoplay video

Hide player controls

Hide resume playing

Add to Playlist:

Favorites

My Playlist

Watch Later

Доказательство переворачивания карты Numberphile

17 hours ago

00:16:46

Доказательство переворачивания карты Numberphile

1 87%

Простые числа на Луне (Лунная арифметика) Numberphile

17 hours ago

00:12:57

Простые числа на Луне (Лунная арифметика) Numberphile

1 46%

RTVI Развлечения Шедевр неандертальцев и другие суперсенсации: что ученые нашли в недрах Хотылево

17 hours ago

00:11:53

RTVI Развлечения Шедевр неандертальцев и другие суперсенсации: что ученые нашли в недрах Хотылево

4 62%

Пушки и Воробьи Numberphile

18 hours ago

00:22:31

Пушки и Воробьи Numberphile

1 55%

Клип @sav_vk

18 hours ago

00:00:47

Клип @sav_vk

1 84%

поровну разделить торт на троих Numberphile

18 hours ago

00:07:32

поровну разделить торт на троих Numberphile

1 76%

Тринити Холл Прайм Numberphile

18 hours ago

00:03:48

Тринити Холл Прайм Numberphile

1 62%

CHD ОБЕЗЬЯНЯ ПЫЛЬ Numberphile

18 hours ago

00:11:29

CHD ОБЕЗЬЯНЯ ПЫЛЬ Numberphile

1 58%

Незавершенность Гёделя (дополнительные кадры 1) Numberphile

19 hours ago

00:13:23

Незавершенность Гёделя (дополнительные кадры 1) Numberphile

1 66%

Теорема Гёделя о неполноте Numberphile

19 hours ago

00:13:52

Теорема Гёделя о неполноте Numberphile

1 16%

Мат Ты чето пиздишь кажись Подозрение ебать как чувствую подозрение сомнение недоверие Зона Комфорта

19 hours ago

00:00:04

Мат Ты чето пиздишь кажись Подозрение ебать как чувствую подозрение сомнение недоверие Зона Комфорта

1 40%

ФОРЕКС РОБОТЫ ОТЗЫВЫ

20 hours ago

00:01:44

ФОРЕКС РОБОТЫ ОТЗЫВЫ

1 75%

САМЫЙ ЛУЧШИЙ ТОРГОВЫЙ РОБОТ СОВЕТНИК FOREX ЧТО ЭТО

20 hours ago

00:01:44

САМЫЙ ЛУЧШИЙ ТОРГОВЫЙ РОБОТ СОВЕТНИК FOREX ЧТО ЭТО

1 95%

КАК ВЫСТАВИТЬ НА ОЗОН СВОЙ ТОВАР

23 hours ago

00:03:00

КАК ВЫСТАВИТЬ НА ОЗОН СВОЙ ТОВАР

1 54%

Математика в астрономии и астрофизике

1 day ago

00:10:19

Математика в астрономии и астрофизике

2 94%

Число Пи: как считали и наглядное определение

1 day ago

00:03:50

Число Пи: как считали и наглядное определение

1 67%

Треугольник Паскаля

1 day ago

01:11:07

Треугольник Паскаля

3 92%

Совершенные числа

1 day ago

00:30:08

Совершенные числа

1 68%

Комплексные числа

1 day ago

00:34:56

Комплексные числа

1 29%

Почему стаканчик имеет форму конуса

1 day ago

00:03:17

Почему стаканчик имеет форму конуса

1 68%

Основная теорема арифметики

1 day ago

00:30:19

Основная теорема арифметики

1 87%

Как Пифагор придумал музыку

1 day ago

00:19:34

Как Пифагор придумал музыку

1 45%

Конические сечения

1 day ago

00:12:15

Конические сечения

1 53%

Падение криптокороля (2024) - Русский трейлер

1 day ago

00:01:29

Падение криптокороля (2024) - Русский трейлер

66 68%

0 Comments

Guest