Boyd: The Fighter Pilot Who Changed the Art of War

by Robert Coram

shown that a consistency proof of arithmetic can be found by appealing to systems outside that arithmetic.