El razonamiento humano o bien es no-computable, o bien es contradictorio o bien sus reglas no pueden ser abarcadas en un sistema formal. El probar cada una de estas propiedades ha dado origen a intensos trabajos de investigación. Desde un punto de vista materialista elemental se puede suponer que el cerebro, como dispositivo físico que es, no puede ser superior a una máquina de Turing. Sin embargo, físicos de gran relevancia en la Física Moderna, como Roger Penrose, han planteado como hipótesis la no-computabilidad del pensamiento debido a la no-computabilidad de ciertos patrones vistos en la Física de partículas sub-atómicas.
Me parece, sin embargo, que hay que considerar la complejidad de las relaciones sociales y de la percepción que colectivamente nos hacemos del mundo para ``probar'' que, en efecto, nuestro pensamiento es contradictorio y no codificable en un sistema formal (que incluya sus propias reglas de deducción).
En este escrito sólo incluyo primeras impresiones personales
y no les atribuyo validez ``científica'' alguna.