Follow up to Hintikka on the analytic/synthetic distinction - some thoughts on proof depth, logical omniscience and tractability

Yesterday I wrote a blog post about Jaakko Hintikka's account of the analytic/synthetic distinction in mathematics and logic. This post is a direct follow up to that one, and refers to terms already defined there. I highly reccomend you read it first. Bonus content - computational tractability The authors of the "Depth-Bounded Natural Deduction" paper don't just define a notion for "analytic"…