Top News, Articles, and Interviews in Philosophy

The Consistency of Arithmetic

Philosophy News image
There’s a nice new piece on the Consistency of Arithmetic by Timothy Chow in the Mathematical Intelligencer, which the author has made freely available. As he says in a FOM posting, he has put extra effort ┬áinto trying to make Gentzen’s proof accessible to the “mathematician in the street”. Of course, this kind of expository effort will always strike some readers as requiring too much of them to follow, and strike other readers as not going far enough into the details they want. But it seems an admirable effort to me, that students in particular could find pretty helpful. The post The Consistency of Arithmetic appeared first on Logic Matters.

Continue reading . . .

News source: Logic Matters

blog comments powered by Disqus