![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Dr Jon Sterling - Department of Computer Science and Technology, University of Cambridge
Wednesday 25 October 2023, 15:05-15:55
An invitation to univalent foundations of mathematics
- 👤 Speaker: Dr Jon Sterling - Department of Computer Science and Technology, University of Cambridge
- 📅 Date & Time: Wednesday 25 October 2023, 15:05 - 15:55
- 📍 Venue: Lecture Theatre 1, Computer Laboratory, William Gates Building
Abstract
Voevodsky’s univalent foundations and homotopy type theory comprise a new and radical approach to the foundations of mathematics in which the structural properties of equality are extended to every possible form of equivalence and symmetry, leading to an expanded universe of discourse in which ordinary sets and algebraic structures exist harmoniously alongside infinite-dimensional spaces. In this talk, I will expose the basic grammar and vocabulary of the new univalent foundations — and explain how they shed light on basic problems in theoretical computer science and the specification of computer programs.
Link to join virtually: https://cam-ac-uk.zoom.us/j/81322468305
A recording of this talk is available at the following link: https://www.cl.cam.ac.uk/seminars/wednesday/video/
Series This talk is part of the Wednesday Seminars - Department of Computer Science and Technology series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- Cambridge talks
- Chris Davis' list
- computer science
- Department of Computer Science and Technology talks and seminars
- Graduate-Seminars
- Guy Emerson's list
- Interested Talks
- Lecture Theatre 1, Computer Laboratory, William Gates Building
- Martin's interesting talks
- School of Technology
- se393's list
- Trust & Technology Initiative - interesting events
- Wednesday Seminars - Department of Computer Science and Technology
- yk449
Note: Ex-directory lists are not shown.