Guests
Seminar by Dr. Marco Abbadini
Dott. Marco Abbadini (University of Birmingham) will give a seminar on Thursday 24 April 2025 at 10:00 in Sala Riunioni, DipMat. Title: An algebraic version of Herbrand’s theorem. Abstract: Herbrand’s theorem is a fundamental result of mathematical logic, which allows a reduction of first-order logic to propositional logic.In its simplest form, it asserts Read more…