Gödel’s System T in Grammatical Gramwork
An implementation of Gödel’s T with programming language and natural language syntax
Posts by Tag
gf
Grammatical Framework for the working Mathematician
An introduction to Grammatical Framework for a mathematically inclined audience
Jekyll
Testing Code
Consider a language, \(\mathscr{L}_0^{\N_0} \ell\),
update
Testing Code
Consider a language, \(\mathscr{L}_0^{\N_0} \ell\),
syntax highlighting
Gödel’s System T in Grammatical Gramwork
An implementation of Gödel’s T with programming language and natural language syntax
Grammatical Framework for the working Mathematician
An introduction to Grammatical Framework for a mathematically inclined audience
Gallery
Libraries in the Dust
A description of The Library of Babel, a Burning Man art installation in 2014
Burning Man
Libraries in the Dust
A description of The Library of Babel, a Burning Man art installation in 2014