Accions

Diferència entre revisions de la pàgina «Axioma»

De Wikisofia

m (Text de reemplaçament - "Text: postulats Peano" a "Text: postulats de Peano")
Línia 1: Línia 1:
{{ConcepteWiki}}
+
{{ConcepteWiki}}  
(del grec αξιωμα, estimació, de [[Grec::ἄξιος]],'' axios'', digne)O [[postulat|postulat]]. [[enunciat|Enunciat]] o proposició inicial d'un [[sistema deductiu|sistema deductiu]], no demostrada dins del mateix sistema, que es pren com a punt de partida de la demostració de qualsevol [[teorema|teorema]] del sistema.
 
  
En  l'[[axiomàtica|axiomàtica]] clàssica (des d' [[Autor:Aristòtil|Aristòtil]], fins a M. Pasch, que en 1882 intenta la primera axiomatització de la geometria), s'ha entès que els axiomes o postulats havien de ser veritables i [[evidència|evidents]], tal com exigeix la lògica aristotèlica ([[Recurs:Cita d'Aristòtil 7|veure cita]]) i tal com se suposa, per exemple, en els ''Elements ''d'Euclides (escrits cap a 300 a. de C.), primera obra, probablement, en què apareixen axiomes (i postulats). En l'axiomàtica moderna, després de la creació de les noves axiomàtiques, coincidents amb l'aparició de les geometries no euclidianes (de Bolyai, Lobatchesvski i Riemann) al llarg del s. XIX, no s'exigeix dels axiomes (que ja no es distingeixen dels postulats) que s'atinguin als supòsits d'[[evidència|evidència]] i [[veritat|veritat]]; no és la seva veritat el que importa, sinó la seva coherència i fecunditat (ser aplicables a altres sistemes i a la realitat o a parcel·les de la realitat).
+
(del grec αξιωμα, estimació, de [[Grec::ἄξιος]],''axios'', digne) O [[Postulat|postulat]]. [[Enunciat|Enunciat]] o proposició inicial d'un [[Sistema_deductiu|sistema deductiu]], no demostrada dins del mateix sistema, que es pren com a punt de partida de la demostració de qualsevol [[Teorema|teorema]] del sistema.
  
El cinquè postulat d'[[Autor:Euclides d'Alexandria|Euclides]] (des d'un punt exterior a un recta només és possible traçar una única paral·lela), de les paral·leles, és un exemple d'axioma segons la concepció tradicional ([[Recurs:Cita de Newman |veure cita]]);els postulats de [[Autor:Peano, Giuseppe|Peano]] ([[Recurs:Text: postulats de Peano|veure cita]]) són un exemple d'axiomes segons la concepció moderna.
+
En l'[[Axiomàtica|axiomàtica]] clàssica (des d' [[Autor:Aristòtil|Aristòtil]], fins a M. Pasch, que en 1882 intenta la primera axiomatització de la geometria), s'ha entès que els axiomes o postulats havien de ser veritables i [[Evidència|evidents]], tal com exigeix la lògica aristotèlica ([[Recurs:Cita_d'Aristòtil_7|veure cita]]) i tal com se suposa, per exemple, en els ''Elements ''d'Euclides (escrits cap a 300 a. de C.), primera obra, probablement, en què apareixen axiomes (i postulats). En l'axiomàtica moderna, després de la creació de les noves axiomàtiques, coincidents amb l'aparició de les geometries no euclidianes (de Bolyai, Lobatchesvski i Riemann) al llarg del s. XIX, no s'exigeix dels axiomes (que ja no es distingeixen dels postulats) que s'atinguin als supòsits d'[[Evidència|evidència]] i [[Veritat|veritat]]; no és la seva veritat el que importa, sinó la seva coherència i fecunditat (ser aplicables a altres sistemes i a la realitat o a parcel·les de la realitat).
  
 +
El cinquè postulat d'[[Autor:Euclides_d'Alexandria|Euclides]] (des d'un punt exterior a un recta només és possible traçar una única paral·lela), de les paral·leles, és un exemple d'axioma segons la concepció tradicional ([[Recurs:Cita_de_Newman|veure cita]]); els postulats de [[Autor:Peano,_Giuseppe|Peano]] ([[Recurs:Text:_postulats_de_Peano|veure cita]]) són un exemple d'axiomes segons la concepció moderna.
  
 
{{Etiqueta
 
{{Etiqueta
 
|Etiqueta=Lògica
 
|Etiqueta=Lògica
}}
+
}} {{InfoWiki}}
{{InfoWiki}}
 

Revisió del 21:36, 16 ago 2015


(del grec αξιωμα, estimació, de ἄξιος,axios, digne) O postulat. Enunciat o proposició inicial d'un sistema deductiu, no demostrada dins del mateix sistema, que es pren com a punt de partida de la demostració de qualsevol teorema del sistema.

En l'axiomàtica clàssica (des d' Aristòtil, fins a M. Pasch, que en 1882 intenta la primera axiomatització de la geometria), s'ha entès que els axiomes o postulats havien de ser veritables i evidents, tal com exigeix la lògica aristotèlica (veure cita) i tal com se suposa, per exemple, en els Elements d'Euclides (escrits cap a 300 a. de C.), primera obra, probablement, en què apareixen axiomes (i postulats). En l'axiomàtica moderna, després de la creació de les noves axiomàtiques, coincidents amb l'aparició de les geometries no euclidianes (de Bolyai, Lobatchesvski i Riemann) al llarg del s. XIX, no s'exigeix dels axiomes (que ja no es distingeixen dels postulats) que s'atinguin als supòsits d'evidència i veritat; no és la seva veritat el que importa, sinó la seva coherència i fecunditat (ser aplicables a altres sistemes i a la realitat o a parcel·les de la realitat).

El cinquè postulat d'Euclides (des d'un punt exterior a un recta només és possible traçar una única paral·lela), de les paral·leles, és un exemple d'axioma segons la concepció tradicional (veure cita); els postulats de Peano (veure cita) són un exemple d'axiomes segons la concepció moderna.