Hay idiomas naturales e idiomas formales. Los idiomas naturales son idiomas hablados como inglés, chino, francés, maorí, etc. y nos permiten representar cosas en nuestro espacio perceptivo con suficiente ambigüedad para expresar más conceptos de los que podríamos expresar sin la capacidad de ser ambiguos.
Los lenguajes formales son como los lenguajes de las computadoras. Es estricto, basado en la definición y creado al componer expresiones entre sí a partir de la expresión “átomos”. El propósito de los lenguajes formales es proporcionar una descripción de las relaciones que pueden expresarse en formas tan definidas (al menos en la medida en que la relación necesite ser descrita). De hecho, se podría decir que todas las oraciones en cualquier lenguaje formal son “descripciones de relaciones formales”.
Ahora, con las dos descripciones fuera del camino, su pregunta se convierte en:
- ¿Cuál es la solución integral positiva de X1.x2.x3.x4.x5 = 840?
- ¿Es la matriz de transformación DFT (o tal vez su inversa) lo que se conoce como la 'base de Fourier' en el aprendizaje del diccionario?
- ¿Cuántos 5 hay en 25 ^ 25 y 50 ^ 50?
- Si a ^ 2, b ^ 2 y c ^ 2 están en AP, entonces, ¿qué es a / (b + c), b / (c + a) c / (a + b)?
- Si Z = 4x + 2y, 4x + 2y> = 46, x + 3y <= 24 yx e y son mayores o iguales a cero, entonces ¿cuál es el valor máximo de z?
- “¿Son los lenguajes naturales un subconjunto de lenguajes formales?”
- “¿Son los idiomas formales un subconjunto de los lenguajes naturales?”
Para ambas preguntas, la respuesta es un no, con la advertencia de que podemos expresar todas las oraciones en lenguaje formal en idiomas naturales, y no podemos expresar todas las oraciones en lenguaje natural en un idioma formal (todavía).
Hay un comentario adicional que debe hacerse aquí: aunque las oraciones en lenguaje natural no pueden expresarse en un lenguaje formal, eso no significa que no podamos usar la semántica del lenguaje formal para descomponer el significado de las oraciones en lenguaje natural. De hecho, ese es un tema activo en este momento.