Abstract
Lecture Notes On Eric Schmid's "Prospectus to a Homotopic Metatheory of Language"
Presented at the Book Release Event at Triest Gallery (NYC) on January 19, 2024
Prospectus to a Homotopic Metatheory of Language by Eric Schmid proposes that mathematics does not involve the discovery of a synthetic a priori. In other words, mathematics is not a stable transcendent object of knowledge. Instead, Schmid defines math as a language that depends on an infinitely large network topology of inferences. Importantly, this metatheory can be applied not just to the disciplinary specific languages of computer & natural science, but also ordinary & public languages.
Mathematics is not the discovery of transcendent concepts, but a dynamic evolving language of inquiry.