LaTeX source for "Short-circuiting the definition of mathematical knowledge for an AGI"
Primary LanguageTeX