nLab
Paul Hertz

Paul Hertz (1881-1940) was a German theoretical physicist and philosopher who made important pioneering contributions to structural proof theory. In particular, his explorations of axiomatic “Satzsysteme” (systems of sentences) in the 1920s was a stepping stone to Gerhard Gentzen's sequent calculus.

References

category: people