The University of Edinburgh: The University of Edinburgh

Inaugural lecture: Prof Alex Simpson


Listen Later

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.
...more
View all episodesView all episodes
Download on the App Store

The University of Edinburgh: The University of EdinburghBy The University of Edinburgh

  • 3
  • 3
  • 3
  • 3
  • 3

3

1 ratings


More shows like The University of Edinburgh: The University of Edinburgh

View all
The University of Edinburgh: The University of Edinburgh by The University of Edinburgh

The University of Edinburgh: The University of Edinburgh

0 Listeners

Musical Acoustics by Clive Greated (c.a.greated@ed.ac.uk)

Musical Acoustics

5 Listeners

Gifford Lectures (audio) by

Gifford Lectures (audio)

1 Listeners

Medical Detectives (audio) by The University of Edinburgh

Medical Detectives (audio)

4 Listeners

250 Years of English Literature by The University of Edinburgh

250 Years of English Literature

3 Listeners

Edinburgh Film Podcast by The University of Edinburgh

Edinburgh Film Podcast

1 Listeners

The Tartan Tardigrade - Astrobiology Chats by The University of Edinburgh

The Tartan Tardigrade - Astrobiology Chats

2 Listeners

The Dick Vet Podcast by

The Dick Vet Podcast

0 Listeners

The Synthetic Biology Podcast by

The Synthetic Biology Podcast

1 Listeners