Personal tools
You are here: Home Events Lab Lunch talk: Hercules and the Hydra

Lab Lunch talk: Hercules and the Hydra

Speaker: John Longley

What
When Apr 23, 2019
from 01:00 PM to 02:00 PM
Where MF2, Level 4
Add event to calendar vCal
iCal

Abstract:
The marvellous battle between Hercules and the hydra was introduced by Kirby and Paris in 1982 to give an accessible example of an arithmetical statement that is true but not provable in Peano Arithmetic. I shall describe the original work, then show how some of the progeny of the original Kirby-Paris hydra have wormed their way into various areas of logic and computer science.

Document Actions