la matematica en los ordenadores
TRANSCRIPT
![Page 1: La matematica en los ordenadores](https://reader035.vdocumento.com/reader035/viewer/2022071900/55be9a24bb61ebcf0d8b45c3/html5/thumbnails/1.jpg)
REPÚBLICA BOLIVARIANA DE VENEZUELAMINISTERIO DEL PODER POPULAR PARA LA EDUCACIÓN
UNIVERSITARIACOLEGIO UNIVERSITARIO “FRANCISCO DE MIRANDA”
INGENIERÍA EN INFORMÁTICAPROGRAMA NACIONAL DE FORMACIÓN EN INFORMÁTICA
La matemática en los ordenadores
Alumna: Ramírez Yoselyn CI:22520821Sección :I05-102
![Page 2: La matematica en los ordenadores](https://reader035.vdocumento.com/reader035/viewer/2022071900/55be9a24bb61ebcf0d8b45c3/html5/thumbnails/2.jpg)
Inicios de los ordenadores y su lógica matemática
Inicios con el alemán David Gilbert
Formalización del Razonamiento matemático, muy complejo=
fracaso matemático
Éxito para el calculo.
La programación.
Y
La computación.
Principios siglo 20
![Page 3: La matematica en los ordenadores](https://reader035.vdocumento.com/reader035/viewer/2022071900/55be9a24bb61ebcf0d8b45c3/html5/thumbnails/3.jpg)
Paradojas y su evolución.
1. Paradoja de Russell. (matemática de conjuntos)
![Page 4: La matematica en los ordenadores](https://reader035.vdocumento.com/reader035/viewer/2022071900/55be9a24bb61ebcf0d8b45c3/html5/thumbnails/4.jpg)
Lógica de símbolosHilbert
lenguaje artificial
teoremas
método axiomático
geometría (Euclides)
reglas de lenguaje
![Page 5: La matematica en los ordenadores](https://reader035.vdocumento.com/reader035/viewer/2022071900/55be9a24bb61ebcf0d8b45c3/html5/thumbnails/5.jpg)
Demostración de la IncompletitudGODEL
Contradice a Hilbert en 1931
Lengua de programación de LISP muy similar a su teoría
Definición recursiva
Aritmética
![Page 6: La matematica en los ordenadores](https://reader035.vdocumento.com/reader035/viewer/2022071900/55be9a24bb61ebcf0d8b45c3/html5/thumbnails/6.jpg)
Maquina de Turing
“un procedimiento mecánico”
una máquina
lenguaje de máquina
el código “en crudo”
el problema de la detención
1936
![Page 7: La matematica en los ordenadores](https://reader035.vdocumento.com/reader035/viewer/2022071900/55be9a24bb61ebcf0d8b45c3/html5/thumbnails/7.jpg)
La aleatoriedad en la matemática
“teoría algorítmica de la información”.
¿Cómo saber cual es el programa mas pequeño en un ordenador?
¿Cómo saber cual es el programa mas grande en un ordenador?
![Page 8: La matematica en los ordenadores](https://reader035.vdocumento.com/reader035/viewer/2022071900/55be9a24bb61ebcf0d8b45c3/html5/thumbnails/8.jpg)
Gracias por su atención