Gödel’s System T in Grammatical Gramwork
An implementation of Gödel’s T with programming language and natural language syntax
Recent Posts
Libraries in the Dust
A description of The Library of Babel, a Burning Man art installation in 2014
Grammatical Framework for the working Mathematician
An introduction to Grammatical Framework for a mathematically inclined audience
Naturals 2: Natural numbers
module Naturals where The night sky holds more stars than I can count, though fewer than five thousand are visible to the naked eye. The observable univers...
Testing Code
Consider a language, \(\mathscr{L}_0^{\N_0} \ell\),