Las Primeras Axiomáticas
Con la aritmetización del análisis el movimiento acelero, separaciones sorprendentes se manifestaron así entre las sugesti...
 
Un sistema geométrico presupone ordinariamente la aritmética.
Indefinibles E Indemostrables.  Sistemas Equivalentes Uno de los rasgos que caracterizan mas visiblemente la puesta en for...
Las Definiciones Por Postulados
Dos Ejemplos De Axiomáticas <ul><li>Peano preocupado por el problema de la expresión simbólica, construyo la teoría de los...
1.- Cero es un número. 2.- El sucesor de un número es un número . 3.- Varios números cualesquiera no pueden tener el mismo...
Modelos. Isomorfismo. Se puede llamar  concreta, material o intuitiva  a una teoría en el estadio preaxiomatico, es decir,...
Consistencia E Integridad. Decidibilidad La elección de los postulados que se ponen por base de una axiomática no es por e...
Upcoming SlideShare
Loading in …5
×

II. Las Primeras Axiomaticas

1,006 views

Published on

0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
1,006
On SlideShare
0
From Embeds
0
Number of Embeds
3
Actions
Shares
0
Downloads
3
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

II. Las Primeras Axiomaticas

  1. 1. Las Primeras Axiomáticas
  2. 2. Con la aritmetización del análisis el movimiento acelero, separaciones sorprendentes se manifestaron así entre las sugestiones falaces en la intuición y las enseñanzas indubitables de la demostración. Fue quien en 1882 intentó la primera axiomatización de la geometría. Y planteó claramente el problema: “para que la geometría llegue a ser verdaderamente una ciencia deductiva, es necesario que la manera como se sacan las consecuencias sea en todas partes independiente del sentido de los conceptos geométricos, como debe serlo de las figuras; solo deben tomarse en consideración las relaciones establecidas por las proposiciones entre los conceptos geométricos.
  3. 4. Un sistema geométrico presupone ordinariamente la aritmética.
  4. 5. Indefinibles E Indemostrables. Sistemas Equivalentes Uno de los rasgos que caracterizan mas visiblemente la puesta en forma axiomática de una teoría deductiva, es la que comienza por despejar los indefinibles e indemostrables aspectos de la teoría. Dos sistemas de proposiciones serán equivalentes si cualquier proposición del uno se puede demostrar con la sola ayuda de las proposiciones del otro, y recíprocamente; dos sistemas son equivalentes, si todo termino del uno se puede definir con la sola ayuda de los términos del otro y recíprocamente.
  5. 6. Las Definiciones Por Postulados
  6. 7. Dos Ejemplos De Axiomáticas <ul><li>Peano preocupado por el problema de la expresión simbólica, construyo la teoría de los números naturales: </li></ul><ul><li>En primer lugar por la brevedad que permitiría exponerla toda entera, luego porque se encontraba en ella una ilustración simple y notable del carácter de equivocidad. </li></ul><ul><li>Pues no comporta sino tres términos primeros: cero, el numero, el sucesor de- y cinco proposiones primeras, que se transcriben de la notación simbólica en el lenguaje usual: </li></ul><ul><li>De los cuales sobresalían estos términos: </li></ul><ul><li>El cero </li></ul><ul><li>El Numero </li></ul><ul><li>El sucesor </li></ul><ul><li>Y cinco proposiciones </li></ul>
  7. 8. 1.- Cero es un número. 2.- El sucesor de un número es un número . 3.- Varios números cualesquiera no pueden tener el mismo sucesor. 4.- Cero no es el sucesor de ningún número. 5.- Si una propiedad pertenece a cero y si cuando pertenece a un número cualesquiera, pertenece también a su sucesor, entonces pertenece a todos los números (principio de inducción). Con la ayuda de las dos primeras proposiciones, se puede definir en primer lugar el número 1, después el número 2, y así sucesivamente. Sobre estas bases, las nociones y proposiciones elementales de la aritmética se pueden definir o demostrar todas.
  8. 9. Modelos. Isomorfismo. Se puede llamar concreta, material o intuitiva a una teoría en el estadio preaxiomatico, es decir, que mantiene aun el contacto con los conocimientos que organiza, y que presenta un contenido que conserva su sentido y su verdad empíricos. Cuando los modelos no se distinguen así entre ellos, sino por la diversidad de las interpretaciones concretas que se da a sus termino, y coinciden exactamente cuando se hace abstracción de estas para instalarse sobre el plano de la axiomática formal, se dice que son isomorfos: tienen en efecto igual estructuras. El método axiomático tiene precisamente el interés de revelar isomorfismos entre teorías concretas aparentemente heterogéneas, restableciéndolas en la unidad de un sistema abstracto.
  9. 10. Consistencia E Integridad. Decidibilidad La elección de los postulados que se ponen por base de una axiomática no es por eso dejado al azar: queda sujeto a exigencias internas diversas, mas o menos imperiosas. Si los diversos postulados de un sistema no fueran compatibles entre ellos, el sistema llegaría a ser contradictorio.

×