Las cuatro causas de Aristóteles fueron la causa material, formal, eficiente y final.
Ahora, la respuesta a esa pregunta dependerá de la hipótesis, la teoría, la filosofía o la religión desde la que comience.
Si asumimos una versión digital del Mecanismo de Descartes, es decir, la existencia de un nivel de autodescripción tal que sobreviviríamos a través de una emulación física digital de nuestro cuerpo en ese nivel de sustitución, o por debajo de ese nivel, entonces obtendremos el Neo-neopirágeno Respuesta: las cuatro causas son platónicas y, como todas las fuerzas, desde la gravitación hasta el amor, emergen de los infinitos cálculos, vistos desde adentro, realizados a través de la solución de las ecuaciones polinómicas diofánticas (para arreglar las cosas).
En ese contexto, es un problema abierto justificar o refutar la “coherencia de los sueños” del número suficiente para definir realidades físicas únicas y estables, que aún serían infinitos de los sueños del número límite. La noción de “ver desde el interior” puede ser (y se ha hecho) precisa utilizando las lógicas modales auto-referenciales de la máquina (basadas en el trabajo de Gödel, Kleene, Löb, Solovay, Grzegorczyk, Goldblatt y algunos otros).
- ¿Existe tal cosa como la verdad moral?
- ¿La creatividad está limitada por el conocimiento?
- ¿Pueden usarse las respuestas de Quora para enseñar a una máquina a ser humana?
- ¿Es la capacidad de calcular rápidamente los cálculos matemáticos una verdadera capacidad matemática? ¿Por qué?
- ¿Qué significa “pensar como un hombre”?
La tesis de Church-Turing rehabilita el pitagorismo. La informática y la lógica matemática proporcionan “soluciones” cercanas a los neopitagóricos, que corresponden a la lógica de lo que las máquinas pueden probar, conocer, observar y sentir sobre sí mismas, desde muchos puntos de vista diferentes impuestos por la incompletud. (La variante modal (las “vistas desde el interior”) se definen en términos aritméticos a través de las variantes modales del predicado beweisbar de Gödel: p, [] p, [] p & p, [] p & t, [] p & p & t).