This past June I led a team of talented high school students for the summer 2021 Illinois Geometry Lab research program. During the first couple of weeks, we learned some fundamentals of theoretical computer science and numeration systems. Then we read parts of “The critical exponent is computable for automatic sequences” by Schaeffer and Shallit. […]
Author: Rocco Davino
Some Talks on NSA
Here are the links to my first and second talks for the nonstandard analysis reading group. They are on the paper “Hilbert’s 5th Problem” by Goldbring and van den Dries.