LANGREITER.COM plain, simple
      START     INDEX
  Samstag, 12. Juni 2004

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.[create Protégé]: Inklusive OWL-Plug-In. So schön wie eh und je ... Planet SAP
Planet Sun"(Alas, we didn't get to hear who Google hates -- Eric Schmidt was at the conference as an observer and he appeared in the rebirth of the Computer Bowl, but he was seen walking around the conference wearing a t-shirt that read "quiet period" on the front and "can't answer questions" on the back; perhaps [create Marc Benioff] should have had a similar t-shirt made up ... and then stuffed in his mouth)." [ Ø SMLF • ]

y!kes 6749 days AGO
There's so much talk about computer technology here that I figured this could be a perfect place to get answers about time tables. People say history repeats itself and I'm a believer. My 28-year cycle calendar is proof. Yet, the 28-year cycle ends when a leap year is skipped according to the leap year rule. I don't know how, if possible, to restart it.

Please log in (you may want to register first) to post comments!


  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 84 of the anonymous kind.
Click on Join us in the chatterbox dimension! for a moderate dose of lcom-talk. This will probably not work in Lynx and other browser exotica.


THIS DAY IN HISTORY
2007 / 2004 / 2003 / 2002

BACKLINKS
none

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
Special Entanglement Forces provided by Vanilla

&c.
GeoURL RSS 0.92

FRIENDLY SHOPS
Uncut Games bei Gameware

OFFEN!
Offenlegung gem. §25 MedienG:
Christian Langreiter, Langkampfen
See also: Privacy policy.



 
EDIT