3 ms·
The paper referenced also defines Gentzen's sequent calculus, an even nicer formulation of logic: http://www.digizeitschriften.de/download/PPN266833020_0039/PP
by user2994cb 7y ago
The paper referenced also defines Gentzen's sequent calculus, an even nicer formulation of logic:
http://www.digizeitschriften.de/download/PPN266833020_0039/PPN266833020_0039___log32.pdf#page=18 http://www.digizeitschriften.de/download/PPN266833020_0039/P...
- user2994cb 7y agoAnd the same volume has his proof of the consistency of arithmetic: http://www.digizeitschriften.de/download/PPN266833020_0039/PPN266833020_0039___log42.pdf http://www.digizeitschriften.de/download/PPN266833020_0039/P...
- laxd 7y agoWhen I click that link in firefox it starts opening like 20-tabs a second. Chrome works.
- user2994cb 7y agoSorry about that, works OK for me (FF 72.0.2/Ubuntu 19.10).
- mjd 7y agoI also linked the PDF directly from my blog article, at https://pic.blog.plover.com/math/logic/lk/Gentzen1934.pdf https://pic.blog.plover.com/math/logic/lk/Gentzen1934.pdf , partly because I found the Digizeitschriften page annoying.
- user2994cb 7y agoIndeed, though that's to the entire volume - I was trying to link directly to the individual Gentzen papers (though by the fairly slow download maybe they are being created dynamically). Thanks for the interesting blog piece though - maybe you could write one about Gentzen's consistency proof?
- asdfafsadfasdf 7y agoA very nice interactive introduction to the sequent calculus is here: http://logitext.mit.edu/tutorial http://logitext.mit.edu/tutorial