Question

Describe un hecho con lenguaje formal?es de español​

Answer 1

Respuesta:

La Numeración de Gödel {an : a es un número primo y n un número de Gödel}.

El conjunto de todos los programas sintácticamente válidos en un determinado lenguaje de programación.

El conjunto de todas las fórmulas bien formadas en la lógica de primer orden.

Explicación: