The formal verification of computer systems has become practical. It has an essential role in tech firms such as Amazon, AMD, Intel, Microsoft and Nvidia. In recent years, researchers have started asking whether verification technology could also benefit research mathematicians. Here, we explore every aspect of doing…
Visit lawrencecpaulson.github.io → On Hacker News Oct 2022 – Apr 2026
Math & Algorithms 7Programming Languages 5Software Engineering 2History & Retro Computing 2Systems & Performance 1Life, Learning & Writing 1
The phrase “foundations of mathematics” is bandied about frequently these days, but it’s clear that there is widespread confusion about what it means. Some say that a proof assistant must be based on a foundation of mathematics, and therefore that the foundations of mathematics refers to some sort of formal system…