Seminar by John Slaney
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 … Seminar by John Slaney