Axiomatic Language

Explore a thought-provoking conference talk that delves into the concept of an "Axiomatic Language," presented by Walter Wilson at the Strange Loop Conference in 2013. Discover how this innovative approach to programming languages challenges conventional constraints by prioritizing pure specification, minimalism with extensibility, and metalanguage capabilities. Learn about the fundamental principle of defining a program's external behavior through an infinite set of symbolic expressions, mapping inputs to corresponding outputs. Gain insights into how this language aims to tell computers what to do without specifying how, and how it can potentially imitate and subsume other languages. Presented by Walter Wilson, a software developer of CAD/CAM applications at Lockheed Martin, this 22-minute talk offers a fascinating glimpse into a programming paradigm that reimagines language design by setting aside efficiency concerns.