A judge tells a prisoner, "You will be executed at noon on Monday or Tuesday of next week, but you will not know which day.'' The prisoner concludes that he will not be executed using a backward argument. We will investigate this paradox from the view of constructive mathematics and resolve it using Brouwer's weak continuity principle for natural numbers (WCN). We will also observe some striking consequences of WCN for metric spaces.
Thinking about UNT?
It's easy to apply online. Join us and discover why we're the choice of over 46,000 students.
Apply now