ZLB

A very interesting issue of the American Mathematical Society on formal proofs.  

Most people don’t realize it but mathematical proofs are usually written in a very condensed way, that allows other mathematicians to understand what is being said, but which are not formal complete statements, since lots of things are implied. Proof verification is essentially  a social process by which other mathematicians convince themselves that the proof is correct. This doesn’t sound very reassuring but it has (in most cases) worked until now. Off course new challenges are appearing,  with proofs 500 pages long or that use computer programs to to part of the job (like testing cases), that’s why formal proofs are becoming more and more pertinent.

Yes, it has finally seen the light of day (or electrical lamps). 

“I was vaguely aware of something”  is available for download here.

 

October 2008 - ZLB - Den Haag from zlb on Vimeo.

Presented at a Sonology Discussion Concert, it consists of a video using material by Pablo Sanz Almoguera, further edited. The audio is taken from “I did not have a strong feeling of Presence, but more a wonderful feeling of converting energy into action” from ZLB’s upcoming album “I was vaguely aware of something”.