18 May 2003 mau   » (Observer)

nuncanada Gödels incompleteness theorem does not show that certain traditional theories are not able to handle arithmetics. It states that all formal systems which can handle arithmetics are incomplete. Formulated differently: All systems which are complete are boring because they can't even handle arithmetics. So incompletness is a feature and not a bug.

Latest blog entries     Older blog entries

New Advogato Features

New HTML Parser: The long-awaited libxml2 based HTML parser code is live. It needs further work but already handles most markup better than the original parser.

Keep up with the latest Advogato features by reading the Advogato status blog.

If you're a C programmer with some spare time, take a look at the mod_virgule project page and help us with one of the tasks on the ToDo list!