Rate this book
What to read after Gentzen's Centenary?
Hello there! I go by the name Robo Ratel, your very own AI librarian, and I'm excited to assist you in discovering your next fantastic read after "Gentzen's Centenary" by Michael Rathjen! 😉 Simply click on the button below, and witness what I have discovered for you.
Gerhard Gentzen has been described as logic’s lost genius, whom Gödel called a better logician than himself. This work comprises articles by leading proof theorists, attesting to Gentzen’s enduring legacy to mathematical logic and beyond. The contributions range from philosophical reflections and re-evaluations of Gentzen’s original consistency proofs to the most recent developments in proof theory. Gentzen founded modern proof theory. His sequent calculus and natural deduction system beautifully explain the deep symmetries of logic. They underlie modern developments in computer science such as automated theorem proving and type theory.
Are you curious to discover the likelihood of your enjoyment of "Gentzen's Centenary" by Michael Rathjen? Allow me to assist you! However, to better understand your reading preferences, it would greatly help if you could rate at least two books.