1 ¿Qué es una demostración? 12 variaciones sobre un mismo tema. Francisco Rivero Mendoza.

Slides:



Advertisements
Presentaciones similares
No todos los números son Racionales
Advertisements

Antonella Ruffa Ahumada Irene Morales Jiménez
Taller de Lógica Facultad de Filosofía y Letras, UBA. 2do cuatrimestre de 2006 Facultad de Filosofía y Letras, UBA.
Introducción al Teorema de Gödel Eduardo Alejandro Barrio UBA - CONICET 2do Cuatrimestre de 2009 Eduardo Alejandro Barrio UBA.
Introducción al Teorema de Gödel
Introducción al Teorema de Gödel Eduardo Alejandro Barrio UBA - CONICET 2do Cuatrimestre de 2009 Eduardo Alejandro Barrio UBA.
Matemáticas Computacionales
equivalencia material; y b) equivalencia lógica
FACTORIZACIÓN LU Bachilleres:
LA CLASE VIRTUAL POLINOMIOS.
Introducción a la máquina
2.1 – Expresiones algebraicas
Precursores Intelectuales de la I.A. - Ramón Llull - Leibniz
COMPETENCIAS PROYECTO TIC UNIVERSIDAD PONTIFICIA BOLIVARIANA
CAPÍTULO I LÓGICA Y CONJUNTOS.
Maestría en Bioinformática Bases de Datos y Sistemas de Información Fundamentos de Lógica Ing. Alfonso Vicente, PMP
Mat. Juan Jiménez Krassel
José Alfredo Cervantes Guzmán UMSNH Coautor: Jesús Rivera
Distinción entre ciencias formales y ciencias empíricas
Cuantificadores En esta clase trataremos: Proposiciones abiertas
DEPARTAMENTO DE FORMACIÓN GENERAL.
Metodo Científico Envuelve la observación de fenómenos naturales, luego la postulación de hipótesis y su comprobación mediante la experimentación.
Aporte de la Lógica a la Matemática
Sistemas de Ecuaciones
UNIVERSIDAD DE PUEBLA MAESTRIA EN DESARROLLO EDUCATIVO FILOSOFÍA DE LA EDUCACIÓN EQUIPO 2 TEMA: LA FILOSOFÍA EN CUANTO CIENCIA LIDUVINA SANTOS PONCE GABRIELA.
Mario Bunge. La ciencia. Su método y su filosofía. 18ª. reimpr
HISTORIA DE LAS MATEMÁTICAS
Lógica Proposicional Inteligencia Artificial Luis Villaseñor Pineda
Verificar que la siguiente igualdad es cierta:
U. Diego Portales Elementos de lógica Prof. Haroldo Cornejo O.
PRUEBA SABER MATEMÁTICAS 3° Y 5°
Integrantes: Camila Castillo Alarcón Claudio Rodríguez Medina Profesor Asesor: Carlos Jara Garcés.
Matemáticas para Ciencias de la Computación MCC3182
LÓGICA PROPOSICIONAL Y PREDICADOS
Campus Estado de México—Raúl Monroy Resolución, la regla de inferencia y el cálculo Raúl Monroy.
¿ INDUCCION MATEMATICA ?
Inducción completa El principio del buen orden: todo conjunto no vacío de enteros positivos posee un mínimo.
Inducción Matemática Objetivos Subtemas Proceso de deducción.
Tema 4: Combinatoria.
Universidad Autónoma San Francisco CARRERA PROFESIONAL: Lengua, Traducción e Interpretación Asignatura: MATEMÁTICA Tema: “SISTEMA FORMAL”
1-Comprender el principio de inducción completa.
Curso de Teoría del Autómata
MATEMATICA I Lógica Matemticas Prof Rubén Millán
ADRIANA MILENA ÁVILA REYES LICENCIATURA EN MATEMÁTICAS
INTRODUCCIÓN A LA LÓGICA
1. Asistentes de Pruebas para Lógicos y Matemáticos I
Ecuaciones Lineales Una ecuación en la variable x es lineal, si puede escribirse en la forma ax+b=c, en donde a, b y c son números reales y.
Ciencias formales Aristóteles Peano Euclides Alfred Tarski Kurt Gödel.
UN TEOREMA DE LEYENDA UN TEOREMA ES UNA PROPOSICIÒN TEORICA QUE PUEDE SER DEMOSTRADA A PARTIR DE PRINCIPIOS GENERALES O DE OTROS TEOREMAS YA DEMOSTRADOS.
TRIGONOMETRÍA. 4º Medio a b c De acuerdo al Teorema de Pitágoras dividiendo entre de donde I DENTIDADES T RIGONOMÉTRICAS  por tanto.
LEYES DEL ALGEBRA PROPOSICIONAL
Tema 3. PARALELISMO.
Ingeniero – Docente Henry Javier González González
DEMOSTRACIONES SISTEMA MATEMÁTICO
Álgebra de conmutación
MÉTODOS DE DEDUCCIÓN (Partes I & II)
IDENTIDADES BÁSICAS DE LA TRIGONOMETRÍA
Matemáticas Jornadas sobre el siglo XIX. En capítulos anteriores... Concepto de demostración ( paso a paso a través de la LÓGICA) Necesidad de AXIOMAS.
TUTORIAL DE MATEMATICAS
ÁREA ACADÉMICA: Matemáticas TEMA: Teorema De Pitágoras PROFESOR: Ing
Capítulo 4: Lógica Matemática
Sistemas de Ecuaciones
Teorema de Gödel.
Sistemas de Ecuaciones
Resuelve problemas de semejanza de triángulos y Teorema de Pitágoras.
Principios logicos.
Ministerio de Educación Colegio Beatriz Miranda de Cabal
TEMA 3 SUCESIONES Y SERIES.
 Dicho principio lógico podemos formularlo de la siguiente forma: A es A, en la cual la variable A denota un pensamiento o contenido concreto cualquiera.
El Principio de Inducción D EFINICIÓN Un conjunto A se llama inductivo sii satisface las siguientes dos propiedades i)0  A ii)  n  A se tiene n+1 
Transcripción de la presentación:

1 ¿Qué es una demostración? 12 variaciones sobre un mismo tema. Francisco Rivero Mendoza

2 ¿Para qué sirven las demostraciones? Los matemáticos son muy metódicos, analíticos e inflexibles en cuanto a la verificación de los resultados La formalidad es un ingrediente fundamental en el trabajo. Todo debe estar suficientemente justificado.

3 La búsqueda de la verdad. El camino agustiniano. Creersaber aprehender verdad

4 Tautologías Diremos que P  Q es una proposición simbólica. Una Tautología es una proposición simbólica, la cual es verdadera en todos los casos posibles de sustitución de las variables. Por ejemplo [ P Λ (P  Q)]  Q es una tautología. ( Modus Ponens).

5 Demostraciones a la carta Teorema fundamental del Algebra. Ley de reciprocidad cuadrática. Teorema de Sylow.

6 Problema: Demostrar que el producto de tres enteros consecutivos: n (n + 1)(n + 2) es divisible entre 6. Más simbología: A(n) = n ( n+1)(n+2)

7 Prueba 1.. Reducción al absurdo. Profundamente Eleática Probaremos que hay infinitos A( n) divisibles entre 6. Relación fundamental en esta charla A( k +1) = A (k) + 3 ( k +1 )( k +2 )

8 Prueba 2. Demostración por negación. (Negación de la tesis) Existe un n tal que A( n) no es divisible entre 6. A( k +1) = A (k) + 3 ( k +1 )( k +2 ) ¿Qué pasa con el siguiente? ¿ Y el siguiente del siguiente?....

9 Prueba 3. Visualización. A la manera china. A( n) = n( n+1)(n+2)

10 Prueba 4. Geométrica. Maravillosamente Pitagórica T (n) número triangular n-ésimo. T( n ) = n ( n+1)/2

11 Prueba 5. Algorítmica Definitivamente árabe. ¿Cómo se construyen los números 1, 4, 10,….? nA(n)6.b n bnbn

12 Prueba 6. Constructiva. Poderosamente Newtoniana. A (n) = 6 ( T( n+1) + T( n) + … + T(0)). ¿Será original mi fórmula?

13 Prueba 7. Descenso al infinito. Misteriosamente Fermatiana. A( k +1) = A (k) + 3 ( k +1 )( k +2 ). A (k) = A( k-1) + 3 ( k )( k +1)….. 1 < ····· <A( k-1) < A(k) < A( k +1)

14 Prueba 8. Directa Majestuosamente gaussiana. A (n) = n n 2 + 2n. A (n)  0 mod 2. A (n)  n 3 + 2n  3 n  0 mod 3. Congruencias en Wikipedia.

15 Prueba 9. Combinatoria. A la manera de Paul Erdos. ¿ Qué significado tiene el cociente n( n+1)( n+2) / 6 ? Erdos en Wikipedia.Erdos en Wikipedia

16 Prueba 10. Inducción matemática. Infinitamente cantoriana. Proposición P(k) A (k ) es divisible entre 6. A( k +1) = A (k) + 3 ( k +1 )( k +2 ). Cantor en Wikipedia.Cantor en Wikipedia

17 Prueba 11. Exhaustiva. Teorema de los cuatro colores.Teorema de los cuatro colores N = 6k + p. P = 0, 1, 2, 3, 4, 5. A( n) = n ( n+1) ( n+2) = 6t + A( p). pP+1P+2A (p)

18 Prueba 12. Principio de los palomares Formalista Dirichlet – Hilbert. Si p es un primo cualquiera, 2 s p divide al producto : n ( n+1)(n+2)…..( n+p-1), Para cualquier n, natural

20 Principio del palomar Si A tiene n elementos y B tiene n+1 elementos, no existe una función inyectiva de A en B.

21 Conclusión. ¿ Cuál de todas las pruebas es la más bonita? El libro de Dios.

22 Muchas gracias. Profesor Francisco Rivero. webdelprofesor.ula.ve/ciencias/lico webdelprofesor.ula.ve/ciencias/lico