Your SlideShare is downloading. ×
II. Las Primeras Axiomaticas
Upcoming SlideShare
Loading in...5
×

Thanks for flagging this SlideShare!

Oops! An error has occurred.

×

Saving this for later?

Get the SlideShare app to save on your phone or tablet. Read anywhere, anytime - even offline.

Text the download link to your phone

Standard text messaging rates apply

II. Las Primeras Axiomaticas

746
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
746
On Slideshare
0
From Embeds
0
Number of Embeds
0
Actions
Shares
0
Downloads
2
Comments
0
Likes
0
Embeds 0
No embeds

Report content
Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
No notes for slide

Transcript

  • 1. Las Primeras Axiomáticas
  • 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.
  • 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.
  • 6. Las Definiciones Por Postulados
  • 7. Dos Ejemplos De Axiomáticas
    • Peano preocupado por el problema de la expresión simbólica, construyo la teoría de los números naturales:
    • 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.
    • 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:
    • De los cuales sobresalían estos términos:
    • El cero
    • El Numero
    • El sucesor
    • Y cinco proposiciones
  • 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.
  • 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.
  • 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.