Although having travelled this year more than ever before (with 8x Bozen, 2x London, 2x Berlin, 1x Paris, 1x Barcelona, 1x Prague and 1x Washington) there are two important conferences that I missed. Both were aiming at the inner workings of science that interests me more than science itself Continue reading Conferences I should have attended in 2008
Tag Archives: expert knowledge
Gödel’s proof
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