This is really cool. My advisor is a strict constructivist and will tell anyone with ears about finitism after a few beers, and I've always found it a useful ph

This is really cool. My advisor is a strict constructivist and will tell anyone with ears about finitism after a few beers, and I've always found it a useful philosophical position.