Jason Priestley

Machine Mathematics

a new foundation for calculus - What is infinity? What exists? - this symbol-game - to an old dream of Leibniz’ - never conflict with finitary calculation - « Entscheidungsproblem » - at speeds impossible - If two mathematicians sat at an abacus - on the one hand a utopian faith