Voevodsky's Work on Formalization of Proofs and the Foundations of Mathematics

Title:Voevodsky's Work on Formalization of Proofs and the Foundations of Mathematics

Authors:Daniel R. Grayson

Conference:ITP 2018

Tags:homotopy type theory, univalent foundations and Voevodsky

Abstract:

A consistent thread running through the three decades of Voevodsky's work is
the application of the ideas of homotopy theory in new and surprising ways,
first to motives, and then to formalization of proofs and the foundations of
mathematics. I will present the story of the latter development, focusing on
the points of interest to mathematicians.

Voevodsky's Work on Formalization of Proofs and the Foundations of Mathematics

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

1of41

1

2

3

4