Search The Directory The Web for Home > Science > Math > Logic and Foundations > Proof_Theory New! Submit a site   whatUseek Collection Sites (submit a site ):   Give your site great placement in this category in as little as two business days!     whatUseek Directory Site Listings:   50th Anniversary of Gentzen's Thesis - Introduction to Gentzen's Hauptsatz and the consistency proof of arithmetic using induction up to the least epsilon number.   Fast-growing Functions and Unprovable Theorems - Online seminar on Goodstein's Theorem, transfinite ordinals, formal number theory, Wainer Hierarchy of fast-growing functions, and the Kirby-Paris Theorem.   Proof Theory as an Alternative to Model Theory - Short article by Dale Miller, arguing that logic programming languages should base their semantics on proof theory, not model theory.   Proof Theory on the Eve of Year 2000 - A survey consisting of 10 questions asked by Solomon Feferman and 29 responses.   Proof-Theory - Series of reflections by Gianluigi Bellin on Prawitz's idea that two proofs are identical exactly when they share the same normal form. Help build the largest human-edited directory on the web.   Submit a Site - Open Directory Project - Become an Editor

About   Help   Content Filter   Terms   Privacy Policy © 2018 whatUseek