Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Matricula :2012-1139
Construcción axiomática de la matemática en el
Helenismo.
Un axioma es una proposición asumida dentro de un cuerpo teórico sobre la
cual descansan otros razonamientos y proposiciones deducidas de esas
premisas Introducido originalmente por los matemáticos griegos del período
helenístico, el axioma se consideraba como una proposición «evidente» y que
se aceptaba sin requerir demostración previa. Posteriormente, en un sistema
hipotético-deductivo, un axioma era toda proposición no deducida de otras, sino
que constituye una regla general de pensamiento lógico (por oposición a
los postulados). Así en lógica y matemáticas, un axioma es solo una premisa
que se asume, con independencia de que sea o no evidente, y que se usa para
demostrar otras proposiciones. Actualmente se busca qué consecuencias
lógicas comportan un conjunto de axiomas, y de hecho en algunos casos se
opta por introducir un axioma o bien su contrario, viendo que ninguna de las
dos parece una proposición evidente. Así, si tradicionalmente los axiomas se
elegían de entre «afirmaciones evidentes», con el objetivo de deducir el resto
de proposiciones, en la moderna teoría de modelos un axioma es solo una
asunción, y en modo alguno se considera que la verdad o falsedad de los
axiomas dependa del sentido intuitivo que se le pueda atribuir, o se recurre a
que puedan ser autoevidentes.
En lógica un postulado es una proposición no necesariamente evidente:
una fórmula bien formada (planteada) de un lenguaje formal utilizada en
una deducción para llegar a una conclusión.
Uno de los grandes frutos de los matemáticos griegos fue la reducción de
asertos matemáticos y teoremas, en forma racional y coherente, a una
pequeña cantidad de postulados o axiomas muy simples, los bien conocidos
axiomas de la geometría, o bien las reglas de la aritmética, que presiden
relaciones entre unos pocos objetos básicos, tales como los números enteros y
los puntos geométricos. Los objetos matemáticos se generaron como
abstracciones o idealizaciones de la realidad física. Los axiomas, ya sea
aceptados como "evidentes" desde un punto de vista filosófico o bien
meramente como abrumadoramente plausibles, se aceptan sin demostración;
sobre ellos se ha erigido la cristalizada estructura de las matemáticas
avanzada.
El punto de vista tradicional sobre el Imperio Antiguo nos dice que los egipcios
dedicaron la aritmética para usos prácticos, con muchos problemas del
tipo: Cómo un número de panes se pueden dividir en partes iguales entre un
número de personas. Los problemas de los papiros de Moscú y Rhind se
expresan en un contexto educativo, y los traductores han encontrado tres
definiciones abstractas del número y otras formas más complejas de aritmética.
Las tres definiciones abstractas están en la tablilla de madera de Aj min, el
EMLR y el papiro matemático de Rhind. Las formas más complejas de
aritmética incluyen el uso de tablas de fracciones, así como restos de la
sustracción no aditiva y de la división. Los restos son precedidos por series
binarias y seguidos por un factor de posicionamiento en la tablilla de Aj min, el
PMR y otros textos.
Para la adición y la multiplicación, emplearon el método de duplicar, y de dividir
por dos, un número conocido para encontrar la solución. Para la sustracción y
la división emplearon otros métodos que todavía no se conocen en su totalidad.
El «método de posición falsa» puede no haber sido utilizado para la división y
los problemas simples del álgebra.
En el Imperio Antiguo, usaban un sistema numérico de base 10, en el Imperio
Nuevo, fracciones unitarias y tablas de segundos resultados; los escribas
solucionaron varios problemas matemáticos muy complejos, 84 de los cuales
se explican en el papiro matemático de Rhind.
Según Heródoto, los egipcios son los padres de la Geometría, pero gracias a
sus monumentos y sus papiros también sabemos hoy que disponían de un
sistema de numeración adicional que les permitía trabajar con fracciones de
una forma muy especial ya que el numerador siempre era la unidad.