Can Computers Understand Their Own Programs? Prof Sir Tony Hoare 05 th July 2012.
Issues in the Transition from Concrete to Formal Mathematics
1 7 August 2010 Susanna S. Epp [email protected] Mathematical Association of America MathFest: The Klein Project Pittsburgh, PA Issues in the Transition.
Logic, Metalogic and Neutrality