¿Que es la Teoría de la Computación?

José Luis Ramírez Alcántara

jlram@cenidet.edu.mx
Contenido
Teoría de la
computación

Enfoque
Clásico
Nuevos
enfoques
Precursores

Prerrequisitos
 Contenido
 Computabilidad: Precursores
 Aristóteles
 Gottfried Wilhelm Leibniz
 George Boole
 Friedrich Ludwig Gottlob Frege
 Bertrand Arthur William Russell
 George Cantor
 David Hilbert
 Kurt Gödel
 Estado 0 de la Lógica: ARISTÓTELES y
el “Organon” (300 aC.)

-Leyes Lógicas
-Identificar reglas de razonamiento
-Análisis de argumentos en lenguaje natural
-Identificación de Falacias
-Lógica Silogística
-Lógica Modal …
 Leyes lógicas y Reglas de inferencia

No. Nombre Expresión sintáctica

1 Identidad P=P
2 No contradicción P¬P es
contradictorio
3 Tercer excluido P  ¬P es
verdadero
4 Doble negación (DN) ¬¬P  P
5
6
7
 Leyes lógicas y Reglas de inferencia

No. Nombre Expresión sintáctica

1 Identidad P=P

2 No contradicción P¬P es contradictorio

3 Doble negación (DN) ¬¬P  P

4 Tercer excluido P  ¬P es verdadero

5 Modus ponendo ponens P  Q, P  Q

(MPP)
6 Modus tollendo tollens P  Q, ¬Q  ¬P
(MTT)
7 Silogismo Hipotético (SH) [(P  Q)  (Q  R)]  P  R
 Silogística: Estudio de los silogismos.
 Todos los hombres son mortales
 Sócrates es hombre
 Por lo tanto Sócrates es mortal.

• Identifica diversos
tipos de lógica:
• Proposicional,
• Silogística,
• Modal,
• Temporal,
Gottfried Wilhelm Leibniz (1646-1716)

Staffelwalze
(Stepped Reckoner o máquina de Leibniz)

 Un lenguaje universal
 Un mecanismo de cálculo
 Gottfried Wilhelm Leibniz (1646-1716)

Influenciado por Aristóteles propuso:

• Buscar un alfabeto cuyos elementos representen
conceptos y establecer un lenguaje universal.

Siguiendo un razonamiento simbólico determinar:

- ¿Qué enunciados del lenguaje son verdaderos?

- ¿Qué relaciones lógicas existen entre ellos?
 Gottfried Wilhelm Leibniz (1646-1716)

El “calculus ratiocinator” de
Leibniz (álgebra de la Lógica)

Leibniz se propuso tres etapas:

• Crear una enciclopedia de todo el conocimiento

humano.

• Identificar los conceptos básicos y asociarles

símbolos adecuados

• Establecer reglas de deducción para manipular

esos símbolos.
 Gottfried Wilhelm Leibniz (1646-1716)

“Quo facto, quando orientur

controversiae, non magis disputatione
opus erit inter duos philosophos,
quam inter duos Computistas.
Sufficiet enim calamos in manus
sumere sedereque ad abacos, et sibi
mutuo (accito si placet amico) dicere:
Calculemus”. (GP 7, 200)
 Boole, G. :
“The Mathematical Analysis of Logic” (1847)
“An Investigation of the Laws of Thought” (1854)

Álgebra de
la lógica
 Boole, G. :
“The Mathematical Analysis of Logic” (1847)
“An Investigation of the Laws of Thought” (1854)

 “El diseño del siguiente tratado es para

investigar las leyes fundamentales de las
operaciones de la mente, por medio de las
cuales se lleva a cabo el razonamiento; darles
expresiones simbólicas en el lenguaje
simbólico del cálculo y sobre esta base
establecer la ciencia de la lógica y construir
sus métodos”. “An Investigation of the Laws of Thought” (1854, cap I,
p 1.)
 Boole, G. :
“The Mathematical Analysis of Logic” (1847)

Joe no puede encontrar su chequera y Susan le ayuda a

encontrarla.
SUSAN: La dejaste en el supermercado cuando estabas de
compras?
JOE: No, ya les hablé por teléfono, y ellos no la encontraron. Si
yo la hubiera dejado ahí, seguramente ellos la hubieran
encontrado.
SUSAN: ¡Espera un minuto! Elaboraste un cheque la noche
pasada en el restaurant y yo vi que la guardaste en la
bolsa de tu saco. Si no la has usado desde entonces, ésta
debe de estar ahí.
JOE: Tienes razón. No la he usado. Está en la bolsa de mi saco.
 Boole, G. :
“The Mathematical Analysis of Logic” (1847)

El razonamiento de Joe y Susan se puede simbolizar con las

siguientes proposiciones:

L = Joe dejó su chequera en el supermercado,

F = Encontraron la chequera de Joe en el supermercado,
W = Joe elaboró un cheque en el resturante la noche pasada,
P = Después de elaborar el cheque Joe guardó su chequera en
la bolsa de su saco,
H = Joe no usó su chequera después de la noche anterior,
S = La chequera de Joe está en la bolsa de su saco.
 Boole, G. :
“The Mathematical Analysis of Logic” (1847)

Joe y Susan usan los siguientes patrones :

PREMISAS :
Si L, entonces F.
No F.
W y P.
Si W y P y H, entonces S.
H.
CONCLUSIONES:
No L.
S.
 Boole, G. :
“The Mathematical Analysis of Logic” (1847)

Las premisas de Joe y Susan se pueden expresar

por medio de las siguientes ecuaciones
1) L ( l - F) = 0,
2) F = O,
3) WP = 1 ,
4) WPH( 1 - S ) = 0,
5) H = l .

Substituyendo la segunda ecuación en la primea se obtiene: L = 0,

que es la primera conclusión. Substituyendo la tercera y quinta
ecuaciones en la cuarta obtenemos: 1 - S = 0, esto es, S = 1 , la
otra conclusión buscada.
 Friedrich Ludwig Gottlob Frege

Sistema formal para la

lógica de predicados.

Begriffsschrift (Conceptual Notation) of 1879

Paradojas

Las matemáticas de la Lógica

y la Lógica de las matemáticas
-Los principios de la aritmética
-(Conceptografía)
 Friedrich Ludwig Gottlob Frege

Begriffsschrift (Conceptual Notation) of 1879

Russell encuentra Paradojas en Begriffsschrift

Con los enunciados:
 Con los enunciados:

Se forma el siguiente juicio:

Derivación:

Conclusión:
George Cantor
Teoría de conjuntos

Paradojas matemáticas

Método de
diagonalización
George Cantor
Teoría de conjuntos

ℕ = { 0, 1, 2, 3, 4, 5, ….}

|ℕ| = |ℤ| = |ℚ| = ℵ0

 George Cantor
Teoría de conjuntos

ℝ no es numerable (método de diagonalización)

|ℝ| = ℵ1
 Bertrand Arthur William Russell
and Alfred North Whitehead
Fundamentos de las matemáticas

Sistema formal: axiomatizar

las matemáticas y la teoría
de conjuntos
Bertrand Arthur William Russell

Cálculo de predicados

RUSSELL: PRINCIPIA MATHEMATICA

Resolución de las
Matemáticas = Lógica + paradojas:
Teoría de Conjuntos TEORIA DE TIPOS
Bertrand Arthur William Russell

Consideremos el conjunto de todos los

conjuntos que no son un elemento de sí
mismos: S = { T| T T}
Preguntemos entonces: “¿Es este
conjunto elemento de sí mismo?”.
Si fuera elemento de sí mismo, no lo sería
(S  S  S  S ), y recíprocamente.
Bertrand Arthur William Russell

Se dice que Epiménides

exclamó: “¡Esta aseveración
es falsa!”.
¿Lo es? Si su aseveración es
falsa, ha de ser verdadera.
Pero, si es verdadera,
entonces es falsa.
 David Hilbert

Sistema formal

Consistente
El miedo a la
contradicción
Decidible
Un sistema formal para
Completo toda la matemática.
 David Hilbert
La convicción de que todos los
problemas matemáticos se
pueden resolver.

“…However unapproachable these problems

may seem to us and however helpless we
stand before them, we have, nevertheless,
the firm conviction that their solution must
follow by a finite number of purely logical
processes . . .” Hilbert, D. 1990. International
Congress of Mathematicians at Paris.
 David Hilbert

“This conviction of the solvability of

every mathematical problem is a
powerful incentive to the worker. We
hear within us the perpetual call: There
is the problem. Seek its solution. You
can find it by pure reason; for in
mathematics there is no ignorabimus.”
David Hilbert, 1900. International Congress of
Mathematicians at Paris.
 David Hilbert

2.- ¿Los axiomas de la aritmética son consistentes?

El Entscheidungsproblem (problema de
decisión): encontrar un algoritmo general
que decida si una fórmula del cálculo de
primer orden es un teorema. 1928
Hilbert- Ackerman
 Limitaciones de los
sistemas formales

1930. "The completeness of the axioms

of the functional calculus of logic“

1931. Über formal unentscheidbare Sätze der

Principia Mathematica und verwandter Systeme
(Sobre proposiciones formalmente indecidibles de
Principia Mathematica y sistemas relacionados).
En 1931 Demostró:
i) que para todo sistema axiomático computable
que sea lo suficientemente poderoso como para
describir la aritmética, entonces: Si el sistema es
consistente no puede ser completo (teorema de
la incompletud).

Hay verdades matemáticas que no se

pueden demostrar.
ii) La consistencia de los
axiomas no puede demostrarse
en el interior del sistema.
 Formalizar los conceptos
intuitivos

• ¿Qué es un algoritmo?
• ¿Qué significa que una función sea
“efectivamente calculable”?
 Contenido
 Computabilidad Enfoque Clásico.
 Alonso Church,
 Alan Turing,
 Stephen C. Kleene,
 Emil. Post,
 A.A. Markov),
 …
¿Que es la Teoría de la Computación?

José Luis Ramírez Alcántara

jlram@cenidet.edu.mx