What is Meyer’s E1 problem?

John Slaney, Australian National University

The E1 problem is a rather specialised question concerning propositional logic. It was posed by R. K. Meyer almost 50 years ago, and is still open. In this talk, I undertake to explain the problem, to review progress towards its solution and possibly even to make it look less eccentric than it might at first seem. The talk is accessible to anyone with an interest in computer science or logic, as it does not presuppose any great technicalities.

John Slaney is Professor of Computer Science at Australian National University, Canberra.

His research has focussed on many aspects of logic and artificial intelligence, sometimes from a very philosophical standpoint but also from a very practical one of building better solvers. He also wrote Logic4Fun, an interactive logic modelling and solving website.

John Slaney has never denied rumours that he was a professional ice hockey player in North America, including scoring the winning goal in a Canada-USSR match. However, if asked he probably will deny them (since he was never a hockey player).