Perspectivas en la axiomatización de la lógica computacional cuántica
Desde los comienzos de las matemáticas, sistemas sencillos como los dedos de las manos, palitos y luego el ábaco se vienen utilizando para representar entidades matemáticas y operaciones entre ellas. Y tan pronto como se hizo visible la relación entre operaciones de la aritmética elemental y secuenc...
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | conferenceObject |
| Lenguaje: | Español |
| Publicado: |
Marisa Velasco
2016
|
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/11086/3983 |
| Aporte de: |
| Sumario: | Desde los comienzos de las matemáticas, sistemas sencillos como los dedos de las manos, palitos y luego el ábaco se vienen utilizando para representar entidades matemáticas y operaciones entre ellas. Y tan pronto como se hizo visible la relación entre operaciones de la aritmética elemental y secuencias de procedimientos implementables físicamente, los diseños pioneros de Pascal y Leibniz los trasladaron a dispositivos mecánicos que por primera vez nos relevaron de tareas tediosas como la de multiplicar dos enteros grandes. |
|---|