Thursday, April 24, 2008

What I read and liked on 2008-04-23

The power of links and the value of global knowledge
Lately I wonder more and more about the value and possible uses of the info stored in Facebook


New Features in EJB 3.1
Asynchronous invocations caught my eye.


Wednesday, April 23, 2008

What I read and liked on 2008-04-22

Developer paradise?
We all liked the images of Google offices in Zurich that flooded our e-mail lately. Here is a different approach
Amazon upgrades EC2 with Persistent Storage
I 'm a proud friend of the author

Tuesday, April 22, 2008

Non completeness

This statement is not provable.

Let 's call the above statement S. So what S says is that

S is not provable

If this statement is false (meaning S is false) then the opposite statement must be true. The opposite statement is

S is provable

and it must be true. But wait a minute. If S is provable, meaning that there exists a proof of its truth, then S is true. But wait a minute again. We started by assuming that S is false. A contradiction... This means that our initial assumption was wrong and therefore S is true. But what does this mean ? This means that what it says is true, S is actually not provable. So S is true but non-provable. This is non-completeness. Our inability to reach every existing truth. Simple, elegant and yet so deep.