¿Es el código de computadora una forma de representación matemática?

El código de computadora es una serie de instrucciones, mientras que la representación matemática generalmente consiste en una serie de afirmaciones o afirmaciones fácticas.

Los lenguajes de computadora como Prolog son excepciones. En Prolog y otros lenguajes basados ​​en la lógica, el programador escribe un conjunto de aserciones lógicas, y el sistema de tiempo de ejecución hace inferencias basadas en las aserciones. Este tipo de lenguajes se han utilizado para probar teoremas y crear sistemas expertos (y otros tipos de sistemas de IA). Esta es una forma de programación donde el código puede verse como una representación matemática.

Hay toda una rama de la informática que estudia los algoritmos como construcciones matemáticas. Por ejemplo, existen límites de rendimiento teórico demostrables para resolver ciertos problemas. En cierto sentido, esta rama de CS trata los algoritmos (y el código que los implementa) como construcciones matemáticas. En este sentido, el código puede verse como una representación matemática en la informática teórica. Sin embargo, no creo que esto sea lo que tenías en mente. La informática teórica trata los algoritmos y el código como objetos de estudio, no como una representación para estudiar matemáticas en general.

Supongo que por código de computadora te refieres a las piezas de código escritas en los lenguajes de computadora con el paradigma imperativo.

y debo mencionar de antemano que sé muy poco acerca de la representación matemática, sin embargo, te diré lo que supongo.

considerando su forma de razonar sobre el código de computadora como un tipo específico de representación matemática: hay una diferencia fundamental simple en mi punto de vista entre el código de computadora y las representaciones matemáticas que ya he visto.

en la representación matemática estás hablando de cosas (más específicamente relaciones) que existen. pero en la codificación por computadora usted está hablando de cosas que su máquina de cómputo debería hacer realidad.

por ejemplo, cuando usted -en matemáticas- dice: x = 1, quiere decir que una variable llamada x (digamos una de las coordenadas de un punto) “es” igual a 1. pero cuando -en un código de computadora- dice x = 1, quiere decir que el valor 1 debe asignarse a la variable x, y significa que x “debería obtener” igual a 1.

Repito que no sé cuánto es cierta esta idea, porque no sé mucho acerca de la representación matemática. entonces cualquier corrección sería apreciada

Seguro. El código de computadora es una representación simbólica y una construcción intelectual, como lo son las matemáticas. Supongo que una característica distintiva es que los símbolos generalmente persisten en forma binaria en algún tipo de hardware en lugar de en una pizarra, pizarra o papel.