ycliper

Популярное

Музыка Кино и Анимация Автомобили Животные Спорт Путешествия Игры Юмор

Интересные видео

2025 Сериалы Трейлеры Новости Как сделать Видеоуроки Diy своими руками

Топ запросов

смотреть а4 schoolboy runaway турецкий сериал смотреть мультфильмы эдисон
Скачать

Prof. Alex Simpson - The Intertwined Foundations of Mathematics and Computer Science

Автор: The University of Edinburgh

Загружено: 2012-05-31

Просмотров: 7564

Описание: Professor Alex Simpson, Personal Chair in Foundations of Computer Science, delivered his inaugural lecture entitled "The Intertwined Foundations of Mathematics and Computer Science".

Mathematics is commonly perceived as a subject in which there are absolute standards of truth and proof. This perception, however, is not entirely accurate. There are ways in which it is possible to shape mathematics to suit the applications to which it will be put.

In this talk, which is aimed at a general audience, Prof Simpson discusses various ways in which mathematics can be reshaped to take account of concepts arising in computer science.

He also briefly touches upon how such reshapings might even be of use within certain areas of mathematics itself.

Recorded on Thursday 17 May at the Informatics Forum, The University of Edinburgh.

Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
Prof. Alex Simpson - The Intertwined Foundations of Mathematics and Computer Science

Поделиться в:

Доступные форматы для скачивания:

Скачать видео

  • Информация по загрузке:

Скачать аудио

Похожие видео

Prof. Tony Lynch - The Importance of Listening to International Students

Prof. Tony Lynch - The Importance of Listening to International Students

Математический семинар | 50 веков за 50 минут: краткая история математики

Математический семинар | 50 веков за 50 минут: краткая история математики

Prof. Scott Aaronson - Quantum Computing and the Limits of the Efficiently Computable

Prof. Scott Aaronson - Quantum Computing and the Limits of the Efficiently Computable

The Foundation of Mathematics - Numberphile

The Foundation of Mathematics - Numberphile

Prof. Simon Kirby - The Language Organism: Evolution, Culture, and What it Means to be Human

Prof. Simon Kirby - The Language Organism: Evolution, Culture, and What it Means to be Human

What Computers Can't Do - with Kevin Buzzard

What Computers Can't Do - with Kevin Buzzard

Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky

Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky

Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript

Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript

Финал юбилейного сезона Что? Где? Когда? 27.12.2025

Финал юбилейного сезона Что? Где? Когда? 27.12.2025

How I became interested in foundations of mathematics

How I became interested in foundations of mathematics

200 years of dinosaurs: shining new light on old bones

200 years of dinosaurs: shining new light on old bones

Europa już wie. USA przestały być sojusznikiem Ukrainy – i przestały zachowywać się jak filar NATO.

Europa już wie. USA przestały być sojusznikiem Ukrainy – i przestały zachowywać się jak filar NATO.

Crisis in the Foundation of Mathematics | Infinite Series

Crisis in the Foundation of Mathematics | Infinite Series

Примет ли Россия сделку или это все блеф?

Примет ли Россия сделку или это все блеф?

Prof. Sharon Abrahams - Mind Matters in Motor Neurone Disease

Prof. Sharon Abrahams - Mind Matters in Motor Neurone Disease

What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky

What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky

The mathematical work of Vladimir Voevodsky - Dan Grayson

The mathematical work of Vladimir Voevodsky - Dan Grayson

Как Сделать Настольный ЭЛЕКТРОЭРОЗИОННЫЙ Станок?

Как Сделать Настольный ЭЛЕКТРОЭРОЗИОННЫЙ Станок?

Per Martin Löf: How did 'judgement' come to be a term of logic ?

Per Martin Löf: How did 'judgement' come to be a term of logic ?

Jakubiak: z Tuskiem nikt tak naprawdę nie chce rozmawiać | W Punkt

Jakubiak: z Tuskiem nikt tak naprawdę nie chce rozmawiać | W Punkt

© 2025 ycliper. Все права защищены.



  • Контакты
  • О нас
  • Политика конфиденциальности



Контакты для правообладателей: [email protected]