Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Computacional
Andrés Abeliuk
Estudiante de Ciencias de la computación
U. de Chile
Números infinitos por cantor
Es una de las creaciones matemáticas más sorprendentes y
atrevidas de toda la historia: los números transfinitos. Antes
que él, el infinito, por mucha que fuese su peculiaridad, era
más un objeto de reflexión filosófica que matemática. Al
mostrar que existen diferentes tipos de infinito y que es
posible clasificarlos
mediante nuevos números,
Cantor lo convirtió en
protagonista de una
rama muy activa
de las matemáticas.
crisis de los fundamentos de las
matemáticas.
Se ven afectado pilares tan esenciales de la ciencia como son los
conceptos de verdad y de demostración
Los matemáticos se percataron de la excesiva confianza concedida a
la intuición hasta ahora y que las evidencias sobre las que se habían
descansado, no debían ser consideradas más criterios inobjetables
de verdad.
Esta crisis lleva a revisar el sistema aceptado de intuiciones
consideradas como elementales.
Escuela Formalista
Primer teorema:
“En cualquier formalización consistente de las
matemáticas que sea lo bastante fuerte para
definir el concepto de números naturales, se
puede construir una afirmación que ni se
puede demostrar ni se puede refutar dentro de
ese sistema.”
Segundo teorema:
“Ningún sistema consistente se puede usar
para demostrarse a sí mismo.”
Teorema de incompletitud de
Gödel
Proposición no demostrable:
“No soy demostrable”
Resulta ser no demostrable, por lo que vendría
siendo verdad, pero no demostrable
El Entscheidungsproblem
(problema de decisión)
El décimo problema de Hilbert planteaba la siguiente
pregunta:
¿es posible diseñar un algoritmo que, dada una ecuación
diofántica cualquiera, indique si admite o no alguna solución?
Podemos transforma la pregunta en un problema más general:
dada una teoría matemática no trivial ¿es posible diseñar un
algoritmo que, dada una proposición cualquiera de esa teoría,
nos indique si la misma es verdadera o falsa?
Enunciado en términos más dramáticos, el
Entscheidungsproblem nos pregunta ¿es posible, aunque sea
en teoría, diseñar una computadora que reemplace a un
matemático?
Definición de Algoritmo
La palabra clave es algoritmo. ¿Qué es un algoritmo?
Intuitivamente, un algoritmo es una receta, una serie de
instrucciones que nos dice cómo trabajar mecánicamente con
cierto conjunto de datos.
El objetivo es encontrar
una ruta que,
comenzando y
terminando en una
ciudad concreta, pase
una sola vez por cada
una de las ciudades y
minimice la distancia
recorrida por el viajante
NP-completo
Dentro de la clases NP se definieron los problemas “difíciles”
como NP-completos
Definiciones:
NP:
Se dice que un problema es NP si existe una maquina de turing
a tiempo polinomial que verifique la solución.
NP-completo:
Si el problema es NP y todo otro problema NP es reducible a
este, es decir basta resolver el problema en cuestión para
resolver cualquier otro.