El timo de que nuestro cerebro se fusionará con internet. Pretenden reducirnos a la condición de animales y máquinas; ÉSE ES EL OBJETIVO

me parece que no entiendes el teorema de godel,
El que no lo entiende eres tú, porque aplicas significados distinto según te conviene.

un ser humano puede encontrar teoremas válidos en un sistema formal de segundo orden
No hace falta que sea un humano.
El teorema (que es una sentencia, fórmula o expesión), puede ser generado POR AZAR.
Por ejemplo, mediante un bombo y una serie de bolitas con todos los símbolos del sistema.
Con el siguiente sistema:

1. Dos bombos.
   1. Bombo de bolitas con números.
   2. Bobo de bolitas con elementos del sistema formal.
2. Se saca una bola (o conjunto de bolas) del bombo de los números.
   1. Dicha bola(s) dan la cantidad de símbolos de la expresión, sentencia, fórmula
3. Se sacan tantas bolitas del bombo de elementos como el número anterior ha dicho.
   1. Esas bolas forman la expresión, sentencia o teorema

Ya ve hustec.
Tenemos un generador de expresiones formales, o teoremas, sin necesidad de humano ni de máquina computadora.

que no son decidibles con ese sistema, nada tiene que ver con que esta afirmación se pueda demostrar.
Error.

Decidibilidad y demostrable es lo mismo.
Trampas del lenguaje en la que caéis los de letras y los emotivos.


La demostración es un algoritmo,
No lo es.
Una demostración es una serie de afirmaciones/sentencias/fórmulas que se desprenden una de otra, para lelgar de un antecedente a un consecuente.

Otra cosa es que haya algoritmos para generar dicha secuencia.

pero la creación de dicha demostración no, no se puede programar una máquina ni para que encuentra teoremas válidos no decidibles,
Hoyja, repase hustec lo que acaba dd decir.
Que para generar un teorema válido o decidible, primero tendría que generarse para calcular/demostrar si es decidible.
La decidibilidad de un teorema no puede venir ANTES de al proposición de dicho teorema
Es una imposibilidad causal, no diga semejantes inconssitencias hombre de dios.

porque el cálculo sólo le permite escupir teoremas por tanto decidibles,
No.
Los generadores no calculan nada.
GENERAN expresiones y teoremas.
El sistema de los bombos:

1. Es un generador de teoremas de todo tipo.
2. Solo genera teoremas.
3. No calcula nada.
4. No tiene capacidad de cómputo: No es un computador.

ni le permite crear una algoritmo nuevo de demostración más allá de su programación.
Si el algortimo de demostración está basado en alguna formalidad sí, sí que se puede generar algoritmos nuevos de demostración.
Pero debe de estar codificado en un sistema formal, para poder generar otro algoritmo.

Confundes la lógica (matemáticas), con las máquinas de calcular lógica (computadores calculadores).

El test de turing es inválido porque el pensamiento no es lo mismo que el lenguaje,
Valiente afirmación esa.
Confundes lenguaje con ser consciente del razonamiento base.

el lenguaje no agota las posibilidades del pensamiento
Confundes cerebro con pensamiento.

y por tanto una persona podría no pasar el test.
Correcto.
Deficientes e incapaces, locos y similares.
Son cerebros que están rotos.
Y mentes que en cierta manera, no existen.

Y en general, incapaces de demostrar una capacidad de razonamiento lógico.