| Andrew Cooke | Contents | Latest | RSS | Twitter | Previous | Next

C[omp]ute

Welcome to my blog, which was once a mailing list of the same name and is still generated by mail. Please reply via the "comment" links.

Always interested in offers/projects/new ideas. Eclectic experience in fields like: numerical computing; Python web; Java enterprise; functional languages; GPGPU; SQL databases; etc. Based in Santiago, Chile; telecommute worldwide. CV; email.

Personal Projects

Lepl parser for Python.

Colorless Green.

Photography around Santiago.

SVG experiment.

Professional Portfolio

Calibration of seismometers.

Data access via web services.

Cache rewrite.

Extending OpenSSH.

C-ORM: docs, API.

Last 100 entries

President Bachelet's Speech; Baltimore Primer; libxml2 Parsing Stream; configure.ac Recipe For Library Path; The Davalos Affair For Idiots; Not The Onion: Google Fireside Chat w Kissinger; Bicycle Wheels, Inertia, and Energy; Another Tax Fraud; Google's Borg; A Verion That Redirects To Local HTTP Server; Spanish Accents For Idiots; Aluminium Cans; Advice on Spray Painting; Female View of Online Chat From a Male; UX Reading List; S4 Subgroups - Geometric Interpretation; Fucking Email; The SQM Affair For Idiots; Using Kolmogorov Complexity; Oblique Strategies in bash; Curses Tools; Markov Chain Monte Carlo Without all the Bullshit; Email Para Matias Godoy Mercado; The Penta Affair For Idiots; Example Code To Create numpy Array in C; Good Article on Bias in Graphic Design (NYTimes); Do You Backup github?; Data Mining Books; SimpleDateFormat should be synchronized; British Words; Chinese Govt Intercepts External Web To DDOS github; Numbering Permutations; Teenage Engineering - Low Price Synths; GCHQ Can Do Whatever It Wants; Dublinesque; A Cryptographic SAT Solver; Security Challenges; Word Lists for Crosswords; 3D Printing and Speaker Design; Searchable Snowden Archive; XCode Backdoored; Derived Apps Have Malware (CIA); Rowhammer - Hacking Software Via Hardware (DRAM) Bugs; Immutable SQL Database (Kinda); Tor GPS Tracker; That PyCon Dongle Mess...; ASCII Fluid Dynamics; Brandalism; Table of Shifter, Cassette and Derailleur Compatability; Lenovo Demonstrates How Bad HTTPS Is; Telegraph Owned by HSBC; Smaptop - Sunrise (Music); Equation Group (NSA); UK Torture in NI; And - A Natural Extension To Regexps; This Is The Future Of Religion; The Shazam (Music Matching) Algorithm; Tributes To Lesbian Community From AIDS Survivors; Nice Rust Summary; List of Good Fiction Books; Constructing JSON From Postgres (Part 2); Constructing JSON From Postgres (Part 1); Postgres in Docker; Why Poor Places Are More Diverse; Smart Writing on Graceland; Satire in France; Free Speech in France; MTB Cornering - Where Should We Point Our Thrusters?; Secure Secure Shell; Java Generics over Primitives; 2014 (Charlie Brooker); How I am 7; Neural Nets Applied to Go; Programming, Business, Social Contracts; Distributed Systems for Fun and Profit; XML and Scheme; Internet Radio Stations (Curated List); Solid Data About Placebos; Half of Americans Think Climate Change Is a Sign of the Apocalypse; Saturday Surf Sessions With Juvenile Delinquents; Ssh, tty, stdout and stderr; Feathers falling in a vacuum; Santiago 30m Bike Route; Mapa de Ciclovias en Santiago; How Unreliable is UDP?; SE Santiago 20m Bike Route; Cameron's Rap; Configuring libxml with Eclipse; Reducing Combinatorial Complexity With Occam - AI; Sentidos Comunes (Chilean Online Magazine); Hilary Mantel: The Assassination of Margaret Thatcher - August 6th 1983; NSA Interceptng Gmail During Delivery; General IIR Filters; What's happening with Scala?; Interesting (But Largely Illegible) Typeface; Retiring Essentialism; Poorest in UK, Poorest in N Europe; I Want To Be A Redneck!; Reverse Racism; The Lost Art Of Nomography; IBM Data Center (Photo); Interesting Account Of Gamma Hack

© 2006-2015 Andrew Cooke (site) / post authors (content).

A Century of Controversy Over the Foundations of Mathematics

From: Manuel Johannes Simoni <csae4529@...>

Date: Mon, 15 Dec 2003 21:16:46 +0100

Historical Introduction --- A Century of Controversy Over the Foundations of 
Mathematics

G J Chaitin

Link: http://www.cs.auckland.ac.nz/CDMTCS/chaitin/cmu.html

G.J. Chaitin's 2 March 2000 Carnegie Mellon University School of Computer 
Science Distinguished Lecture. The speaker was introduced by Manuel Blum. The 
lecture was videotaped; this is an edited transcript which appeared on pp. 12-
21 of a special issue of Complexity magazine on ``Limits in Mathematics and 
Physics'' (Vol. 5, No. 5, May/June 2000).

...

Now I don't think that Hilbert really wanted us to formalize all of 
mathematics. He didn't say that we should all work in an artificial language 
and have formal proofs. Formal proofs tend to be very long and inhuman and 
hard to read. I think Hilbert's goal was philosophical. If you believe that 
mathematics gives absolute truth, then it seems to me that Hilbert has got to 
be right, that there ought to have been a way to formalize once and for all 
all of mathematics. That's sort of what mathematical logic was trying to do, 
that's sort of what the axiomatic method was trying to do, the idea of 
breaking proofs into smaller and smaller steps. And Leibniz thought about 
this, and Boole thought about this, and Frege and Peano and Russell and 
Whitehead thought about this. It's the idea of making very clear how 
mathematics operates step by step. So that doesn't sound bad. Unfortunately it 
crashes at this point! 

So everyone is in a terrible state of shock at this point. You read essays by 
Hermann Weyl or John von Neumann saying things like this: I became a 
mathematician because this was my religion, I believed in absolute truth, here 
was beauty, the real world was awful, but I took refuge in number theory. And 
all of a sudden Gödel comes and ruins everything, and I want to kill myself! 

So this was pretty awful. However, this 

``This stmt is unprovable!'' 

is a very strange looking statement. And there are ways of rationalizing, 
human beings are good at that, you don't want to face unpleasant reality. And 
this unpleasant reality is very easy to shrug off: you just say, well, who 
cares! The statements I work with normally in mathematics, they're not 
statements of this kind. This is nonsense! If you do this kind of stupidity, 
obviously you're going to get into trouble. 
But that's rationalizing too far. Because in fact Gödel made this 

``This stmt is unprovable!'' 

into a statement in elementary number theory. In its original form, sure, it's 
nonsense, who ever heard of a statement in mathematics that says it's 
unprovable? But in fact Gödel made this into a numerical statement in 
elementary number theory, in arithmetic. It was a large statement, but in some 
clever way, involving Gödel numbering of all arithmetic statements using prime 
numbers, he was writing it so that it looked like a statement in real 
mathematics. But it really indirectly was referring to itself and saying that 
it's unprovable. 

So that's why there's a problem. But people didn't really know what to make of 
this. So I would put ``surprising'' here, surprising, a terrible shock! 

...

Summary of Gödel's Theorem:
http://www.cs.auckland.ac.nz/CDMTCS/chaitin/eesti.html#23

G J Chaitin's homepage: 
http://www.cs.auckland.ac.nz/CDMTCS/chaitin/index.html


Manuel

Comment on this post