Kevin Buzzard personal blog

Formalising Mathematics: An Introduction

by @XenaProject xenaproject.wordpress.com published 2021-01-21

An introduction to the TCC course “Formalising Mathematics”

Points

205

HN comments

116

Submissions

1

Cited by

0 commenters

Math & AlgorithmsSoftware Engineering2021

Related posts from the same era

Mathematics for the Adventurous Self-Learner

Nneilwithdata.com20201,232 points210 commentscited by 6 details

What Gödel Discovered

Stepan Parunashvili20201,000 points319 comments details

Heuristics that almost always work

Scott Alexander20221,000 points520 commentscited by 14 details

Knuth's Art of Computer Programming, V 4B, has gone into print

DDonald Knuth2022940 points513 commentscited by 8 details

Conterintuitive facts in mathematics, CS, and physics

Axis of Ordinary2021936 points323 comments details

Gravity is not a force – free-fall parabolas are straight lines in spacetime

TTim Hutton2020801 points433 comments details