New APPS

Hitler does not like Gödel's theorem one bit. Perhaps surprisingly, he displays a sophisticated understanding of the implications and presuppositions of the theorem. (In other words, there's some very solid philosophy of logic in the background — I think I could teach a whole course only on the material presupposed here.)

(Courtesy of Diego Tajer, talented young logician from Buenos Aires, giving continuation to the best Monty Python tradition!)