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

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

Paradojas y su evolución.

1. Paradoja de Russell. (matemática de conjuntos)

Lógica de símbolosHilbert

lenguaje artificial

teoremas

método axiomático

geometría (Euclides)

reglas de lenguaje

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

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

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?

Gracias por su atención