# How to Formalize All of Mathematics

**URL:** <https://forum.devtalk.com/t/how-to-formalize-all-of-mathematics/250822>\
**Category:** In The News\
**Tags:** via-news-bot, mathematics, in-the-news\
**Created:** [16 October 2026 15:57 UTC](https://forum.devtalk.com/t/how-to-formalize-all-of-mathematics/250822 "2026-10-16T15:57:50Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![CommunityNews](https://forum.devtalk.com/user_avatar/forum.devtalk.com/communitynews/32/1113_2.png) [@CommunityNews](https://forum.devtalk.com/u/CommunityNews)\
**Post date:** [16 October 2026 15:57 UTC](https://forum.devtalk.com/t/how-to-formalize-all-of-mathematics/250822/1 "2026-10-16T15:57:50Z")

</div>

> Jeremy Avigad, Kevin Buzzard, Johan Commelin, Rémy Degenne, Kim Morrison, Oliver Nash and Adam Topaz have written a blog post over on Kevin Buzzard’s blog entitled “How to Formalize All…

Read in full here:

> **[How to Formalize All of Mathematics](https://terrytao.wordpress.com/2026/10/16/how-to-formalize-all-of-mathematics/)**
>
> Jeremy Avigad, Kevin Buzzard, Johan Commelin, Rémy Degenne, Kim Morrison, Oliver Nash and Adam Topaz have written a blog post over on Kevin Buzzard’s blog entitled “How to Formalize All…