TURISMO
Materia: Matemáticas
Temas:
Las matemáticas como un sistema axiomático
El sistema axiomático de peano
Inducción a las matemáticas
Integrantes:
Rogelio Licona González
Guadalupe Cecilia España Quiroz
Alondra Escamilla Aldana
Rubén cuevas Benítez
Las matemáticas como un sistema axiomático
En lógica y matemáticas, un sistema axiomático consiste en un conjunto
de axiomas que se utilizan, mediante deducciones, para demostrar teoremas.
Ejemplos de sistemas axiomáticos deductivos son la geometría
euclidiana compilada por Euclides en los Elementos1 y el sistema axiomático de
la lógica proposicional.
Un sistema axiomático puede tener expresados sus axiomas de manera formal o
de manera informal:
Una axiomatización formal usa un lenguaje formal y en él cada axioma es
una cadena finita de signos en el alfabeto del lenguaje formal, siguiendo reglas
combinatorias que hacen de la secuencia una fórmula bien formada.
Una axiomatización informal usa una lengua natural formalizada y
definiciones no ambiguas, los libros de matemática y otras disciplinas formales
normalmente redactan los axiomas de esta manera.
La teoría de grupos es un sistema axiomático se puede basar en el
siguiente conjunto de tres axiomas G1, G2 y G3:
(G1) para todo x, y y z:
(G2) para todo x:
(G3) para todo x, existe un y tal que
En matemáticas para que una afirmación sea considerada válida debe o bien estar
contenida dentro de una base de afirmaciones de partida, los denominados
axiomas, o debe poder demostrarse a partir de los mismos. Los axiomas son por
tanto los pilares fundamentales de toda rama de las matemáticas, y a partir de
ellos, mediante las demostraciones matemáticas, se deduce la veracidad de
cualquier afirmación.
EL SISTEMA AXIOMATICO DE PEANO
Los axiomas de Peano o postulados de Peano son un sistema de axiomas para
la aritmética ideados por el matemático Giuseppe Peano en el siglo XIX,
para definirlos números naturales. Estos axiomas se han utilizado prácticamente
sin cambios en diversas investigaciones matemáticas, incluyendo cuestiones
acerca de la consistencia y completitud de la aritmética y la teoría de números.
Los cinco axiomas o postulados de Peano son los siguientes:
El 1 es un número natural, entonces 1 está en el conjunto N de los números
naturales.
Todo número natural n tiene un sucesor n*. (Este axioma es usado para definir
posteriormente la suma).
El 1 no es el sucesor de ningún número natural.
Si hay dos números naturales n y m con el mismo sucesor, entonces n y m son el
mismo número natural.
Si el 1 pertenece a un conjunto de números naturales, y dado un elemento
cualquiera, el sucesor también pertenece al conjunto, entonces todos los números
naturales pertenecen a ese conjunto.
INDUCCION A LAS MATEMATICAS
En matemáticas, la inducción es un razonamiento que
permite demostrar proposiciones que dependen de una variable n que toma una
infinidad de valores enteros. En términos simples, la inducción matemática
consiste en el siguiente razonamiento: