LANGREITER.COM plain, simple |
START INDEX |
Gregory Chaitin: Meta Math! "Mathematicians this century have [...] made the fatal mistake of gradually eliminating all words from their papers." "Let me repeat: formal axiomatic systems are a failure! Theorem proving algorithms do not work. One can publish papers about them, but they only prove trivial theorems. And in the case-histories in this book, we’ve seen that the essence of math resides in its creativity, in imagining new concepts, in changing viewpoints, not in mindlessly and mechanically grinding away deducing all the possible consequences of a fixed set of rules and ideas." "On the other hand, a way to minimize the debugging problem is to try at all costs to keep software intellectually manageable, as illustrated by my discussion of Lisp. In our IBM project, I did this by re-writing all my code from scratch each time that I advanced in my understanding of the problem." Uswusf. Hilft nur selber lesen. |
SEARCH
GET YOUR MOVE ON ALMOST ALL ABOUT YOU So log in, fella — or finally get your langreiter.com account. You always wanted one. Nearby in the temporal dimension: Nobody. ... and 7 of the anonymous kind. Click on for a moderate dose of lcom-talk. This will probably not work in Lynx and other browser exotica. BACKLINKS 2004-06-12 RECENT EDITS (MORE) films-seen Blood Stone y!kes wet towel B Studio Pilcrow News Nastassja Kinski 2011-10-06-steve 2011-10-06 comment-2011-08-04-1 POWERED BY &c. GeoURL RSS 0.92 FRIENDLY SHOPS Uncut Games bei Gameware OFFEN! Offenlegung gem. §25 MedienG: Christian Langreiter, Langkampfen See also: Privacy policy. |