Michael Rathjen - Böcker

Constructive mathematics - mathematics in which 'there exists' always means 'we can construct' - is enjoying a renaissance. fifty years on from Bishop's groundbreaking account of constructive analysis, constructive mathematics has spread out to to...

Läs mer »

This book on proof theory centers around the legacy of Kurt Schütte and its current impact on the¿subject. Schütte was the last doctoral student of David Hilbert who was the first to see that proofs¿can be viewed as structured mathematical objects...

Läs mer »

This book on proof theory centers around the legacy of Kurt Schutte and its current impact on the subject. Schutte was the last doctoral student of David Hilbert who was the first to see that proofs can be viewed as structured mathematic...

Läs mer »

This book on proof theory centers around the legacy of Kurt Schütte and its current impact on the¿subject. Schütte was the last doctoral student of David Hilbert who was the first to see that proofs¿can be viewed as structured mathematical objects...

Läs mer »

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 cont...

Läs mer »

Gerhard Gentzen has been described as logic's lost genius, whom Godel 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 cont...

Läs mer »

The overall topic of the volume, Mathematics for Computation (M4C), is mathematics taking crucially into account the aspect of computation, investigating the interaction of mathematics with computation, bridging the gap between mathematics and com...

Läs mer »