Douglas_Knight comments on Exponentiation goes wrong first - Less Wrong

10 [deleted] 14 December 2010 04:13AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (81)

You are viewing a single comment's thread. Show more comments above.

Comment author: Douglas_Knight 15 December 2010 06:07:12AM 9 points [-]

You are using strong theories to reason about Peano arithmetic. If Nelson doubts the consistency of PA, he's not going to buy your argument.