The set of all sets that do not contain themselves

«Two scientists have formalized a theorem regarding the existence of God penned by mathematician Kurt Gödel. But the God angle is somewhat of a red herring — the real step forward is the example it sets of how computers can make scientific progress simpler.»

Kurt Gödel also claimed that 1) If the system is consistent, it cannot be complete; 2) The consistency of the axioms cannot be proven within the system. He constructed a formula that claims that it is unprovable in a given formal system. If it were provable, it would be false, which contradicts the idea that in a consistent system, provable statements are always true. Thus there will always be at least one true but unprovable statement.

I’ts not easy being Kurt. :)

Advertisements

East Anglia ateísta

Vieram a público uma série de emails entre Deus e proeminentes activistas ateus provando que à mais de duas décadas estão em contacto.

A Santa Sé já emitiu um comunicado, afirmando que apesar do cínismo de muitos, este caso revela os insondáveis desígnios de Deus, aqui em particular testando a fé do seu rebanho.

Por outro lado um porta-voz ateísta defende que tudo não passa duma fraude elaborada por um rapazola armado em engradinho.