Prefer a chat interface with context about you and your work?
The Fundamental Problem of General Proof Theory
I see the question what it is that makes an inference valid and thereby gives a proof its epistemic power as the most fundamental problem of general proof theory. It has been surprisingly neglected in logic and philosophy of mathematics with two exceptions: Gentzen's remarks about what justifies the rules …