Proof Theory and Logical Complexity

About this book

For Hilbert and his school, mathematics must be analyzed as a purely meaningless activity, similar to a game, say the game of chess: mathematical formulas are strings of symbols constructed according to fixed formal rules, and the rules of logical inference are purely formal as well, permitting one to pass from a string of symbols to another.