German logician who has worked on proof theory and the extraction of programs from constructive proofs — the formal realization of the Curry-Howard correspondence.
Basic Proof Theory (with Troelstra): systematic treatment of proof theory — sequent calculus, natural deduction, normalization. Minlog: a proof assistant for intuitionistic logic with program extraction — demonstrates the computational content of constructive proofs.
No recorded minds influenced.
Discussing
Ask anything about Helmut Schwichtenberg — their ideas, influences, contradictions, legacy.
Sign in to start a conversation.