An introduction to the geolog project

Abstract

Within the ARIA program, a number of researchers are working on a project called “geolog.” Geolog has some ambitious goals and some controversial theses; in this talk we will give an overview of these goals and theses alongside an intro to some of the math and computer science that we are using to attempt to achieve the goals and confirm the theses.