Principia Mathematica - The Foundations of Arithmetic in C++

Explore a comprehensive conference talk that delves into the challenges of formal interface design for C++ integer arithmetic operations. Dive deep into the intricate world of preconditions, postconditions, and mathematical theorems that interconnect these operations. Learn how to address these challenges through the presentation of interfaces, theorems, and proofs using a slightly extended version of C++. Drawing inspiration from Bertrand Russell's and Alfred North Whitehead's "Principia Mathematica," discover how arithmetic can be developed from procedural first principles, including stability of objects, substitutability of values, and repeatability of operations. Gain insights into formal interface design, foundations of arithmetic, and the art of writing mathematical proofs procedurally. This talk, presented by Lisa Lippincott at CppNow 2022, offers a unique blend of computer science and mathematical logic, aiming to make computer-checked proofs of correctness an integral part of programming.