Cálculo


La computación es cualquier tipo de cálculo [1] [2] que incluye pasos tanto aritméticos como no aritméticos y que sigue un modelo bien definido (por ejemplo, un algoritmo ).

Los dispositivos mecánicos o electrónicos (o, históricamente , las personas) que realizan cálculos se conocen como computadoras . Una disciplina especialmente conocida del estudio de la computación es la informática .

La computación puede verse como un fenómeno puramente físico que ocurre dentro de un sistema físico cerrado llamado computadora . Los ejemplos de tales sistemas físicos incluyen computadoras digitales , computadoras mecánicas , computadoras cuánticas, computadoras de ADN , computadoras moleculares , computadoras basadas en microfluidos, computadoras analógicas o computadoras de software húmedo . Este punto de vista ha sido adoptado por la física de la computación , una rama de la física teórica, así como por el campo de la computación natural .

Un punto de vista aún más radical, el pancomputacionalismo , es el postulado de la física digital que sostiene que la evolución del universo es en sí misma una computación.

La descripción clásica de la computación se encuentra en las obras de Hilary Putnam y otros. Peter Godfrey-Smith ha llamado a esto la "cuenta de mapeo simple". [3] El resumen de esta cuenta de Gualtiero Piccinini establece que se puede decir que un sistema físico realiza un cómputo específico cuando hay un mapeo entre el estado de ese sistema y el cómputo tal que los “estados microfísicos [del sistema] reflejan el estado transiciones entre los estados computacionales”. [4]

Filósofos como Jerry Fodor [5] han sugerido varias explicaciones de la computación con la restricción de que el contenido semántico sea ​​una condición necesaria para la computación (es decir, lo que diferencia un sistema físico arbitrario de un sistema informático es que los operandos de la computación representan algo) . Esta noción intenta evitar la abstracción lógica de la cuenta de mapeo del pancomputacionalismo , la idea de que se puede decir que todo está computando todo.