A recent opinion article (Nature, Aug 14) has an interesting retrospective look on Gödel’s proof, the 1958 secondhand description of Gödel’s 1931 finding that rules of logic for quoting axioms eg. substituting variables and formulating deductions are themselves mathematical operations – pretty much the same of todays object oriented programming Continue reading Gödel’s proof