{"id":1710,"date":"2008-09-18T14:15:29","date_gmt":"2008-09-18T12:15:29","guid":{"rendered":"http:\/\/www.wjst.de\/blog\/?p=1710"},"modified":"2020-01-10T08:10:21","modified_gmt":"2020-01-10T08:10:21","slug":"godels-proof","status":"publish","type":"post","link":"https:\/\/www.wjst.de\/blog\/sciencesurf\/2008\/09\/godels-proof\/","title":{"rendered":"G\u00f6del’s proof"},"content":{"rendered":"

A recent opinion article (Nature, Aug 14<\/a>) has an interesting retrospective look on G\u00f6del’s proof<\/a>, the 1958 secondhand description of G\u00f6del’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 where an object (as set of operations) is applied to another object eventually generating a new object. But what’s about his<\/p>\n

astonishing discovery of true mathematical statements that could not possibly have a formal proof<\/p><\/blockquote>\n

Working currently on an analysis where there is basically not available model, no empirical expert knowledge on thresholds etc with extremely rare data, G\u00f6del’s proof is a most painful insight.
\nThere is also another aspect that came to my mind when reading the Nature essay. The author cites “How to solve it” without giving a reference to the classical text of George Polya<\/a> (1945) known for<\/p>\n

To be a good mathematician, or a good gambler, or good at anything, you must be a good guesser.<\/p><\/blockquote>\n

I have the 1988 edition on my book shelf. “How to solve it” is a much less theoretical than practical account that lays out an heuristical approach to solve mathematical and other problems<\/p>\n

It is hard to have a good idea if we have little knowledge of the subject and impossible to have it if we have no knowledge.<\/p><\/blockquote>\n

Yea, yea.<\/p>\n\n

 <\/p>\n

\n CC-BY-NC Science Surf , accessed 11.04.2026<\/span>\n <\/div>","protected":false},"excerpt":{"rendered":"

A recent opinion article (Nature, Aug 14) has an interesting retrospective look on G\u00f6del’s proof, the 1958 secondhand description of G\u00f6del’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   CC-BY-NC Science Surf , … Continue reading G\u00f6del’s proof<\/span> →<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[5],"tags":[2059,2053,2052,2057,2056,2058,2054,2055],"class_list":["post-1710","post","type-post","status-publish","format-standard","hentry","category-philosophy-of-science","tag-expert-knowledge","tag-formal-proof","tag-george-polya","tag-insight","tag-mathematical-statements","tag-mathematician","tag-nature-essay","tag-object-oriented-programming"],"_links":{"self":[{"href":"https:\/\/www.wjst.de\/blog\/wp-json\/wp\/v2\/posts\/1710","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.wjst.de\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.wjst.de\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.wjst.de\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.wjst.de\/blog\/wp-json\/wp\/v2\/comments?post=1710"}],"version-history":[{"count":1,"href":"https:\/\/www.wjst.de\/blog\/wp-json\/wp\/v2\/posts\/1710\/revisions"}],"predecessor-version":[{"id":15098,"href":"https:\/\/www.wjst.de\/blog\/wp-json\/wp\/v2\/posts\/1710\/revisions\/15098"}],"wp:attachment":[{"href":"https:\/\/www.wjst.de\/blog\/wp-json\/wp\/v2\/media?parent=1710"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.wjst.de\/blog\/wp-json\/wp\/v2\/categories?post=1710"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.wjst.de\/blog\/wp-json\/wp\/v2\/tags?post=1710"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}