Gerhard Gentzen has been described as logic's lost genius, whom
Goedel 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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
