¿Han creado las personas un lenguaje comunicable usando matemáticas, aritmética y álgebra (quiero hacer uno)?

El lenguaje se basa en los sonidos que los humanos hacen con la boca, llamados fonemas. Cada idioma tiene una disposición diferente de estos sonidos. El inglés americano estándar de Broadcast tiene 42 fonemas diferentes. Un sistema de base de diez números tiene solo 10 símbolos, y eso hace que sea imposible escribir la mayoría de las palabras en inglés de cinco letras con cinco números.

Hubo un compañero inglés que ideó un idioma numérico en los años 1700 o principios de 1800, pero nunca se dio cuenta y es difícil de buscar en Internet debido a toda la basura publicada por los numerólogos.

Este lenguaje se basaba en significados: los sustantivos comenzaban con un mumber, adjetivos con otro, etc. El segundo dígito para los sustantivos indicaba animal, vegetal o mineral, y así sucesivamente. Muy inteligente, pero difícil de aprender e imposible de hablar, porque los números son diferentes en cada idioma.

Yo llamaría a este proyecto un callejón sin salida.

puedes expresar casi todo lo que quieras en notación matemática, lo único que necesitas son definiciones de conceptos particulares. es decir, sustituimos el concepto de PI con [math] \ pi [/ math] y tenemos un símbolo para los ángulos, tenemos símbolos para muchas cosas.

En lingüística, las palabras que describen cosas también son símbolos, pueden vincularse entre sí mediante la lógica mediante operadores y pueden recibir atributos adicionales.

Las herramientas lingüísticas tienen nombres elegantes como “nomen”, “verbo”, “adjetivo”, “adverbio”, etc. Los operadores a menudo también requieren una dirección, esta dirección está dada por “sujetos” y “objetos”.

Estoy seguro de que conoce todas estas palabras elegantes, pero ¿sabía que la notación matemática también las conoce?

+ – * / etc son operadores, la dirección de acción es de izquierda a derecha, de arriba a abajo, siempre existe una secuencia estricta como orden de ejecución para todos los operandos y operadores.

Matemáticas trabaja con declaraciones.

“Pienso, luego existo.”

Yo ~ | -> yo

Si desea introducir nuevos símbolos a la notación matemática, puede hacerlo, simplemente elija uno y estará listo. Muchos matemáticos a lo largo de la historia han agregado nuevas anotaciones, algunas de las cuales se han convertido en estándar porque fueron útiles y prácticas.

Si necesita ayuda con el concepto, no dude en enviar PM

Creo que estás buscando “El cálculo del predicado de primer orden”, que tal vez ya conozcas de las matemáticas de la escuela secundaria, pero no con ese nombre. Utiliza algunos símbolos, pero puede reemplazarlos con palabras, si lo desea.
Lógica de primer orden

Por ejemplo

Para todos los PERROS (x), CAT (y): x! = Y

Es decir, para todo x donde x es un perro y todo y donde y es un gato, x no es y, ningún perro es un gato y ningún gato es un perro.

El lugar donde el FOPC parece engañar un poco es en la forma en que define los predicados. Por ejemplo, RED es un predicado (es decir, una función que devuelve verdadero o falso) que tiene la propiedad de que RED (x) es verdadero si y solo si x es realmente rojo. Pero si realmente intenta escribir software basado en el FOPC, resulta que puede pensar que los predicados son los nombres de columnas en su base de datos.

Alguien más mencionó el cálculo lambda. Esto es útil cuando intenta relacionar la sintaxis formal con la semántica formal, pero no lo veo como parte del lenguaje en sí. Generalmente uno usa expresiones lambda como parte de una gramática que está destinada a convertir una oración en lenguaje natural en una oración FOPC. O, al menos, eso es lo que siempre he visto.

Lenguajes de programación de computadoras