Is Mathematics Infinite?

Is Mathematics Infinite?

I’m re-reading John Boyd’s The Last Starship from Earth, and an interesting scenario pops up in the middle. The character, a brilliant mathematics student named Haldane IV, is under investigation and trial. One of the jurors / investigators is a leader in the State’s...