Quinta-feira, 21 de Julho de 2011

We can never outdo, or so they say...

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

………………
Gödel's theorem may seem, at first sight,
rather nondescript,
but please keep in mind:
Gödel is right.
"In any sufficiently rich system
statements are possible
which can neither be proved
nor refuted within the system,
unless the system itself
is inconsistent."
You can describe your own language
in your own language:
but not quite.
You can investigate your own brain
by means of your own brain:
but not quite.
Etc.
In order to be vindicated
any conceivable system
must transcend, and that means,
destroy itself.
"Sufficiently rich" or not:
Freedom from contradiction
is either a deficiency symptom,
or it amounts to a contradiction.
(Certainty = Inconsistency.)
……………….

 

Daqui


publicado por quaerendoinvenietis às 22:15
link do post | comentar | favorito
partilhar

. ver perfil

. seguir perfil

. 1 seguidor

.pesquisar

 

.posts recentes

. Isto é CO LO SSAL

. "This is coming to you"

. Contente por ter visto es...

. Contemplação

. The Sinking of the Titani...

. Mantra

. ...

. Uma viagem e tanto

. "WHY CITIES KEEPING GROWI...

. Feels like home

.arquivos

. Abril 2014

. Janeiro 2014

. Outubro 2013

. Setembro 2013

. Agosto 2013

. Julho 2013

. Abril 2013

. Março 2013

. Fevereiro 2013

. Outubro 2012

. Setembro 2012

. Agosto 2012

. Julho 2012

. Maio 2012

. Abril 2012

. Março 2012

. Janeiro 2012

. Dezembro 2011

. Novembro 2011

. Outubro 2011

. Setembro 2011

. Agosto 2011

. Julho 2011

. Junho 2011

RSS