Professional Documents
Culture Documents
Unidad 1.............................................................................................................. 3
Epistemologa?............................................................................................... 3
Qu es la epistemologa de las matemticas?...............................................3
Que estudian los Fundamentos de las Matemticas?.....................................3
Matemtica?................................................................................................... 4
Orgenes de las Matemticas...........................................................................4
Las matemticas en la antigedad...............................................................5
Las matemticas en Grecia..........................................................................6
Las matemticas durante el renacimiento....................................................7
Avances en el siglo XVII................................................................................ 8
Las matemticas en el siglo XIX...................................................................9
La matemtica moderna............................................................................. 10
Los Nmeros.................................................................................................. 11
Concepto de nmero natural......................................................................11
Concepto de nmero entero.......................................................................12
Aritmtica...................................................................................................... 12
Adicin........................................................................................................ 12
Sustraccin................................................................................................. 13
Multiplicacin.............................................................................................. 13
Divisin....................................................................................................... 13
Teora de conjuntos........................................................................................ 13
Una visin de Cantor.................................................................................. 13
La paradoja de Russell................................................................................ 14
Conjunto Finito............................................................................................ 15
Cardinalidad................................................................................................ 15
Conjunto Infinito......................................................................................... 16
Unin de Conjuntos..................................................................................... 16
Interseccin de Conjuntos..........................................................................16
Diferencia de Conjuntos.............................................................................. 16
Complemento de Conjuntos........................................................................17
Unidad 2............................................................................................................ 17
Unidad 1
Epistemologa?
La palabra epistemologa tiene su origen en las races griegas (episteme) que
significa conocimiento, y (logos) que significa teora. La epistemologa es, por tanto,
la teora del conocimiento.
En un concepto ms amplio, es la rama de la filosofa que estudia la investigacin
cientfica y su producto, el conocimiento cientfico, abarcando la metodologa, el problema
de la verdad cientfica, el de las relaciones entre la ciencia y la filosofa, examinando la
naturaleza del conocimiento, intentando determinar sus leyes y sus lmites, entre otros.
Matemtica?
La palabra matemtica proviene del griego mathema, que significa ciencia, conocimiento,
aprendizaje. De acuerdo a su etimologa es la ciencia que estudia las propiedades de entes
abstractos (nmeros, figuras geomtricas, etc.), as como las relaciones que se establecen
entre ellos.
La matemtica es una ciencia lgica deductiva, que utiliza smbolos para generar una
teora exacta de deduccin e inferencia lgica basada en definiciones, axiomas, postulados
y reglas que transforman elementos primitivos en relaciones y teoremas ms complejos.
Las matemticas no nacieron plenamente formadas. Fueron hacindose gracias a los
esfuerzos acumulativos de muchas personas que procedan de muchas culturas y hablaban
diferentes lenguas, algunas ideas matemticas que se siguen usaron hoy en da datan de
hace ms de 4000 aos.
En los primeros siglos del Cristianismo, el pndulo se movi hacia el otro lado, y aquellos
que mostraban inters en matemticas podan encontrarse desterrados a la periferia del
mundo cultural. Alrededor del ao 400, san Agustn de Hippo sugiri que el buen
cristiano debera cuidarse de los matemticos y aquellos que hacen profecas vanas,
condenndolos por hacer un pacto con el diablo para oscurecer el espritu y recluir al
hombre en las cadenas del infierno. En aquellos das, los matemticos estaban
estrechamente conectados con las prcticas tenebrosas de los astrlogos y la sospecha
sobre propsitos potencialmente viles o herticos gravit alrededor de las matemticas por
un largo perodo.
En el siglo xvi, el filsofo Francis Bacon lament el hecho de que el excelente uso de la
matemtica pura no fuese bien entendido, pero un signo de mejoras fue la toma de
posesin de Galileo del puesto de profesor de matemticas en la Universidad de Padua.
Los encontronazos de Galileo con la Iglesia catlica, la cual rechaz algunos de sus
hallazgos, mostraron que la tolerancia hacia las matemticas y sus implicaciones con la
fsica y la astronoma tena limitaciones. Pero a finales del siglo xvii, con Isaac Newton y
sus contemporneos, se desata una revolucin cientfica y matemtica, la cual cambiar
para siempre la balanza cultural de poder. Puede que el Romanticismo de finales del siglo
xviii y principios del xix menosprecie estas nuevas visiones del mundo, y William Blake
satirice sobre Newton, pero, con las matemticas como el lenguaje de la ciencia, el futuro
estaba seguro. El siglo xix vio cmo las matemticas se establecan en las universidades de
todo el mundo y fue testigo de una avalancha de nuevos estudios que plantean muchas
cuestiones. Las matemticas haban llegado para quedarse.
Las matemticas en la antigedad
Las primeras referencias a matemticas avanzadas y organizadas datan del tercer milenio
a.C., en Babilonia y Egipto. Estas matemticas estaban dominadas por la aritmtica, con
cierto inters en medidas y clculos geomtricos y sin mencin de conceptos matemticos
como los axiomas o las demostraciones.
Los primeros libros egipcios, escritos hacia el ao 1800 a.C., muestran un sistema de
numeracin decimal con distintos smbolos para las sucesivas potencias de 10 (1, 10,
100), similar al sistema utilizado por los romanos. Los nmeros se representaban
escribiendo el smbolo del 1 tantas veces como unidades tena el nmero dado, el smbolo
del 10 tantas veces como decenas haba en el nmero, y as sucesivamente. Para sumar
nmeros, se sumaban por separado las unidades, las decenas, las centenas de cada
nmero. La multiplicacin estaba basada en duplicaciones sucesivas y la divisin era el
proceso inverso.
Los griegos tomaron elementos de las matemticas de los babilonios y de los egipcios. La
innovacin ms importante fue la invencin de las matemticas abstractas basadas en una
estructura lgica de definiciones, axiomas y demostraciones. Segn los cronistas griegos,
este avance comenz en el siglo VI a.C. con Tales de Mileto y Pitgoras de Samos. Este
ltimo ense la importancia del estudio de los nmeros para poder entender el mundo.
Algunos de sus discpulos hicieron importantes descubrimientos sobre la teora de nmeros
y la geometra, que se atribuyen al propio Pitgoras.
En el siglo V a.C., algunos de los ms importantes gemetras fueron el filsofo atomista
Demcrito de Abdera, que encontr la frmula correcta para calcular el volumen de una
pirmide, e Hipcrates de Cos, que descubri que el rea de figuras geomtricas en forma
de media luna limitadas por arcos circulares son iguales a las de ciertos tringulos. Este
descubrimiento est relacionado con el famoso problema de la cuadratura del crculo.
Otros dos problemas bastante conocidos que tuvieron su origen en el mismo periodo son la
triseccin de un ngulo y la duplicacin del cubo(construir un cubo cuyo volumen es dos
veces el de un cubo dado). Todos estos problemas fueron resueltos, mediante diversos
mtodos, utilizando instrumentos ms complicados que la regla y el comps. Sin embargo,
hubo que esperar hasta el siglo XIX para demostrar finalmente que estos tres problemas no
se pueden resolver utilizando solamente estos dos instrumentos bsicos.
A finales del siglo V a.C., un matemtico griego descubri que no existe una unidad de
longitud capaz de medir el lado y la diagonal de un cuadrado, es decir, una de las dos
cantidades es inconmensurable. Esto significa que no existen dos nmeros naturales m y n
6
cuyo cociente sea igual a la proporcin entre el lado y la diagonal. Dado que los griegos
slo utilizaban los nmeros naturales (1, 2, 3), no pudieron expresar numricamente este
cociente entre la diagonal y el lado de un cuadrado (este nmero, f, es lo que hoy se
denomina nmero irracional). Debido a este descubrimiento se abandon la teora
pitagrica de la proporcin, basada en nmeros, y se tuvo que crear una nueva teora no
numrica. sta fue introducida en el siglo IV a.C. por el matemtico Eudoxo de Cnido, y la
solucin se puede encontrar en los Elementos de Euclides. Eudoxo, adems, descubri un
mtodo para demostrar rigurosamente supuestos sobre reas y volmenes mediante
aproximaciones sucesivas.
Euclides, matemtico y profesor que trabajaba en el famoso Museo de Alejandra, tambin
escribi tratados sobre ptica, astronoma y msica. Los trece libros que componen sus
Elementos contienen la mayor parte del conocimiento matemtico existente a finales del
siglo IV a.C., en reas tan diversas como la geometra de polgonos y del crculo, la teora
de nmeros, la teora de los inconmensurables, la geometra del espacio y la teora
elemental de reas y volmenes.
El siglo posterior a Euclides estuvo marcado por un gran auge de las matemticas, como
se puede comprobar en los trabajos de Arqumedes de Siracusa y de un joven
contemporneo, Apolonio de Perga. Arqumedes utiliz un nuevo mtodo terico, basado
en la ponderacin de secciones infinitamente pequeas de figuras geomtricas, para
calcular las reas y volmenes de figuras obtenidas a partir de las cnicas. stas haban
sido descubiertas por un alumno de Eudoxo llamado Menaechmo, y aparecan como tema
de estudio en un tratado de Euclides; sin embargo, la primera referencia escrita conocida
aparece en los trabajos de Arqumedes.
Tambin investig los centros de gravedad y el equilibrio de ciertos cuerpos slidos
flotando en agua. Casi todo su trabajo es parte de la tradicin que llev, en el siglo XVII,
al desarrollo del clculo. Su contemporneo, Apolonio, escribi un tratado en ocho tomos
sobre las cnicas, y estableci sus nombres: elipse, parbola e hiprbola. Este tratado
sirvi de base para el estudio de la geometra de estas curvas hasta los tiempos del filsofo
y cientfico francs Ren Descartes en el siglo XVII.
Las matemticas durante el renacimiento
Aunque el final del periodo medieval fue testigo de importantes estudios matemticos sobre
problemas del infinito por autores como Nicole Oresme, no fue hasta principios del siglo
XVI cuando se hizo un descubrimiento matemtico de trascendencia en Occidente. Era una
frmula algebraica para la resolucin de las ecuaciones de tercer y cuarto grado, y fue
publicado en 1545 por el matemtico italiano Gerolamo Cardano en su Ars magna. Este
hallazgo llev a los matemticos a interesarse por los nmeros complejos y estimul la
bsqueda de soluciones similares para ecuaciones de quinto grado y superior. Fue esta
7
bsqueda la que a su vez gener los primeros trabajos sobre la teora de grupos a finales
del siglo XVIII y la teora de ecuaciones del matemtico francs variste Galois a
principios del XIX.
Tambin durante el siglo XVI se empezaron a utilizar los modernos signos matemticos y
algebraicos. El matemtico francs Franois Vite llev a cabo importantes estudios sobre
la resolucin de ecuaciones. Sus escritos ejercieron gran influencia en muchos
matemticos del siglo posterior, incluyendo a Pierre de Fermat en Francia e Isaac Newton
en Inglaterra.
Avances en el siglo XVII
Otro avance importante en las matemticas del siglo XVII fue la aparicin de la teora de
la probabilidad a partir de la correspondencia entre Pascal y Fermat sobre un problema
presente en los juegos de azar, el llamado problema de puntos. Este trabajo no fue
publicado, pero llev al cientfico holands Christiaan Huygens a escribir un pequeo
folleto sobre probabilidad en juegos con dados, que fue publicado en el Ars coniectandi
(1713) del matemtico suizo Jacques Bernoulli. Tanto Bernoulli como el francs Abraham
De Moivre, en su Doctrina del azar de 1718, utilizaron el recin descubierto clculo para
avanzar rpidamente en su teora, que para entonces tena grandes aplicaciones en
pujantes compaas de seguros.
Sin embargo, el acontecimiento matemtico ms importante del siglo XVII fue, sin lugar a
dudas, el descubrimiento por parte de Newton de los clculos diferencial e integral, entre
1664 y 1666.
Newton se bas en los trabajos anteriores de dos compatriotas, John Wallis e Isaac
Barrow, as como en los estudios de otros matemticos europeos como Descartes,
Francesco Bonaventura Cavalieri, Johann van Waveren Hudde y Gilles Personne de
Roberval. Unos ocho aos ms tarde, el alemn Gottfried Wilhelm Leibniz descubri
tambin el clculo y fue el primero en publicarlo, en 1684 y 1686. El sistema de notacin
de Leibniz es el que se usa hoy en el clculo.
Las matemticas en el siglo XIX
Fourier llev a Cantor al estudio de los conjuntos infinitos y a una aritmtica de nmeros
infinitos. La teora de Cantor, que fue considerada como demasiado abstracta y criticada
como "enfermedad de la que las matemticas se curarn pronto", forma hoy parte de los
fundamentos de las matemticas y recientemente ha encontrado una nueva aplicacin en el
estudio de corrientes turbulentas en fluidos.
La matemtica moderna
resueltos, otros como las hiptesis de Riemann siguen sin solucin. Al mismo tiempo siguen
apareciendo nuevos y estimulantes problemas. Parece que incluso las matemticas ms
abstractas estn encontrando aplicacin.
Los Nmeros
Concepto de nmero natural
Antes de que surgieran los nmeros para la representacin de cantidades, el ser humano
us otros mtodos para contar, utilizando para ello objetos como piedras, palitos de
madera, nudos de cuerdas, o simplemente los dedos. Ms adelante comenzaron a aparecer
los smbolos grficos como seales para contar, por ejemplo marcas en una vara o
simplemente trazos especficos sobre la arena. Pero fue en Mesopotamia alrededor del ao
4.000 a. C. donde aparecen los primeros vestigios de los nmeros que consistieron en
grabados de seales en formas de cuas sobre pequeos tableros de arcilla empleando
para ello un palito aguzado. De aqu el nombre de escritura cuneiforme. Este sistema de
numeracin fue adoptado ms tarde, aunque con smbolos grficos diferentes, en la Grecia
Antigua y en la Antigua Roma. En la Grecia antigua se empleaban simplemente las letras
de su alfabeto, mientras que en la antigua Roma adems de las letras, se utilizaron algunos
smbolos.
Quien coloc al conjunto de los nmeros naturales sobre lo que comenzaba a ser una base
slida, fue Richard Dedekind en el siglo XIX. Este los deriv de una serie de postulados (lo
que implicaba que la existencia del conjunto de nmeros naturales se daba por cierta), que
despus precis Peano dentro de una lgica de segundo orden, resultando as los famosos
cinco postulados que llevan su nombre. Frege fue superior a ambos, demostrando la
existencia del sistema de nmeros naturales partiendo de principios ms fuertes.
Lamentablemente la teora de Frege perdi, por as decirlo, su credibilidad y hubo que
buscar un nuevo mtodo. Fue Zermelo quien demostr la existencia del conjunto de
nmeros naturales, dentro de su teora de conjuntos y principalmente mediante el uso del
axioma de infinitud que, con una modificacin de este hecha por Adolf Fraenkel, permite
construir el conjunto de nmeros naturales como ordinales segn von Neumann.
El conjunto de los nmeros naturales est formado por:
N = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, ...}
11
Podemos definir como nmero entero a todo nmero natural que lleva delante un signo
+ o -. Los nmeros enteros que llevan delante un signo + se llaman positivos y los que
llevan delante un signo - se llaman negativos.
Ejemplos: +5, +12, +53 (positivos) y -5, -12 y -53 (negativos). Al conjunto de los
nmeros positivos, negativos y el cero se lo denomina conjunto de los nmeros enteros.
Se lo simboliza con la letra Z y est compuesto por infinitos nmeros.
{ -4, -3, -2, -1, 0, +1, +2, +3, +4}
Aritmtica
Aritmtica, literalmente, arte de contar. La palabra deriva del griego arithmtik,, que
combina dos palabras: arithmos, que significa nmero, y techn, que se refiere a un arte
o habilidad.
Los nmeros usados para contar son los naturales o enteros positivos. Se obtienen al
aadir 1 al nmero anterior en una serie sin fin. Las distintas civilizaciones han
desarrollado a lo largo de la historia diversos tipos de sistemas numricos. Uno de los ms
comunes es el usado en las culturas modernas, donde los objetos se cuentan en grupos de
10. Se le denomina sistema en base 10 o decimal.
La aritmtica se ocupa del modo en que los nmeros se pueden combinar mediante
adicin, sustraccin, multiplicacin y divisin. Aqu la palabra nmero se refiere tambin a
los nmeros negativos, irracionales, algebraicos y fracciones. Las propiedades aritmticas
de la suma y la multiplicacin y la propiedad distributiva son las mismas que las del
lgebra.
Adicin
12
La operacin aritmtica de la multiplicacin se indica con el signo por (). Algunas veces
se utiliza un punto para indicar la multiplicacin de dos o ms nmeros, y otras se utilizan
parntesis. Por ejemplo, 3 4, 3 4 y (3)(4) representan todos el producto de 3 por 4. La
multiplicacin es simplemente una suma repetida. La expresin 3 4 significa que 3 se ha
de sumar consigo mismo 4 veces, o tambin que 4 se ha de sumar consigo mismo 3 veces.
En ambos casos, la respuesta es la misma. Pero cuando se multiplican nmeros con varias
cifras estas sumas repetidas pueden ser bastante tediosas; sin embargo, la aritmtica tiene
procedimientos para simplificar estas operaciones.
Divisin
Teora de conjuntos
Una visin de Cantor
satisface el predicado). Esta idea sencilla y tan intuitiva resulta ser tambin ingenua
porque produce enormes contradicciones de inmediato, como por ejemplo la paradoja de
Russell. Para poder mostrarlo es necesario empezar por formalizar esta teora intuitiva
que, aparte de los smbolos para los conjuntos y sus elementos (x, C, etc.), tendr los
smbolos de pertenencia e igualdad = (de los objetos del lenguaje formal).
Que x es un elemento del conjunto C se expresa x pertenece a C. Que x no es un
elemento de C se expresa x no pertenece a C Tendremos en cuenta que no es necesario
denotar siempre con maysculas a los conjuntos y con minsculas a sus elementos, ya que
un conjunto puede ser a su vez un elemento de otro conjunto e incluso podemos considerar
que en nuestra teora no hay objetos que no sean conjuntos. Cmo se determina una
coleccin?
A = {a, b, c}
La paradoja de Russell
Cardinalidad
El cardinal de un conjunto finito A es el nmero de elementos que tiene dicho
conjunto. A ese nmero lo denotaremos por #A o card(A)
Observaciones
15
Conjunto Infinito
Unin de Conjuntos
La unin de los conjuntos A y B es el conjunto de todos los elementos que
pertenecen a A o a B o a ambos. Se denota la unin de A y B por A U B
Sean S = {a, b, c, d} y T = {f, b, d, g}. Entonces S T = {a, b, c, d, f, g}
Interseccin de Conjuntos
La interseccin de los conjuntos A y B es el conjunto de los elementos que son
comunes a A y B, esto es, de aquellos elementos que pertenecen a A y que
tambin pertenecen a B. Se denota la interseccin de A y B por A B
Sea V = {2, 4, 6,. . .}, es decir, los mltiplos de 2; y sea W = {3, 6, 9, . . .}, o
sean los mltiplos de 3. Entonces V W = {6, 12, 18,...}
16
Unidad 2
Concepciones de las Matemticas
Concepcin idealista-platnica
sta concepcin, que fue comn entre muchos matemticos profesionales hasta hace unos
aos, considera que el alumno debe adquirir primero las estructuras fundamentales de las
matemticas de forma axiomtica. Se supone que una vez adquirida esta base, ser fcil
que el alumno por s solo pueda resolver las aplicaciones y problemas que se le presenten.
Segn esta visin no se puede ser capaz de aplicar las matemticas, salvo en casos muy
triviales, si no se cuenta con un buen fundamento matemtico. La matemtica pura y la
aplicada seran dos disciplinas distintas; y las estructuras matemticas abstractas deben
preceder a sus aplicaciones en la Naturaleza y Sociedad. Las aplicaciones de las
matemticas seran un "apndice" en el estudio de las matemticas, de modo que no se
produciran ningn perjuicio si este apndice no es tenido en cuenta por el estudiante. Las
personas que tienen esta creencia piensan que las matemticas son una disciplina
autnoma. Podramos desarrollar las matemticas sin tener en cuenta sus aplicaciones a
otras ciencias, tan solo en base a problemas internos a las matemticas. Esta concepcin
de las matemticas se designa como "idealista-platnica".
17
Otros matemticos consideran que debe haber una estrecha relacin entre las matemticas
y sus aplicaciones a lo largo de todo el currculo. Piensan que es importante mostrar a los
alumnos la necesidad de cada parte de las matemticas antes de que les sea presentada.
Los alumnos deberan ser capaces de ver cmo cada parte de las matemticas satisfacen
una cierta necesidad.
En esta visin, las aplicaciones, tanto externas como internas, deberan preceder y seguir a
la creacin de las matemticas; stas deben aparecer como una respuesta natural y
espontnea de la mente y el genio humano a los problemas que se presentan en el entorno
fsico, biolgico y social en que el hombre vive. Los estudiantes deben ver, por s mismos,
que la axiomatizacin, la generalizacin y la abstraccin de las matemticas son
necesarias con el fin de comprender los problemas de la naturaleza y la sociedad. A las
personas partidarias de esta visin de las matemticas y su enseanza les gustara poder
comenzar con algunos problemas de la naturaleza y la sociedad y construir las estructuras
fundamentales de las matemticas a partir de ellas. De este modo se presentara a los
alumnos la estrecha relacin entre las matemticas y sus aplicaciones.
Dentro del campo biolgico, puede hacerse notar al alumno que muchas de las
caractersticas heredadas en el nacimiento no se pueden prever de antemano: sexo, color
de pelo, peso al nacer, etc. Algunos rasgos como la estatura, nmero de pulsaciones por
minuto, recuento de hemates, etc., dependen incluso del momento en que son medidas. La
probabilidad permite describir estas caractersticas.
En medicina se realizan estudios epidemiolgicos de tipo estadstico. Es necesario
cuantificar el estado de un paciente (temperatura, pulsaciones, etc.) y seguir su evolucin,
mediante tablas y grficos, comparndola con los valores promedios en un sujeto sano. El
modo en que se determina el recuento de glbulos rojos a partir de una muestra de sangre
es un ejemplo de situaciones basadas en el razonamiento proporcional, as como en la idea
de muestreo.
18
Adems del contexto biolgico del propio individuo, nos hallamos inmersos en un medio
fsico. Una necesidad de primer orden es la medida de magnitudes como la temperatura, la
velocidad, etc. Por otra parte, las construcciones que nos rodean (edificios, carreteras,
plazas, puentes) proporcionan la oportunidad de analizar formas geomtricas; su
desarrollo ha precisado de clculos geomtricos y estadsticos, uso de funciones y
actividades de medicin y estimacin (longitudes, superficies, volmenes, tiempos de
transporte, de construccin, costes, etc.)
Qu mejor fuente de ejemplos sobre fenmenos aleatorios que los meteorolgicos?. La
duracin, intensidad, extensin de las lluvias, tormentas o granizos; las temperaturas
mximas y mnimas, la intensidad y direccin del viento son variables aleatorias. Tambin
lo son las posibles consecuencias de estos fenmenos: el volumen de agua en un pantano,
la magnitud de daos de una riada o granizo son ejemplos en los que se presenta la
ocasin del estudio de la estadstica y probabilidad.
En el mundo social
En el mundo poltico
Razonamiento Matemtico
El razonamiento deductivo e inductivo es de gran utilidad para la Matemtica. La
deduccin permite establecer un vnculo de unin entre teora y observacin y permite
deducir a partir de la teora los fenmenos objeto de observacin. La induccin conlleva a
acumular conocimientos e informaciones aisladas.
Razonamiento Deductivo
20
Razonamiento Inductivo
Las conclusiones del razonamiento deductivo sern verdaderas slo si las
premisas en que se basan tambin lo son. Pero cmo saber si stas ltimas
son correctas?. En la Edad Media las premisas vlidas solan sustituirse por el
dogma, la fe con lo cual se llegada a conclusiones invlidas. Francis Bacon
(1561-1626) fue el primero que propuso un nuevo mtodo para adquirir
conocimientos, afirmaba que los pensadores no deban esclavizarse aceptando
21
Teora de la Definicin
En las matemticas, existen tres pilares fundamentales para su desarrollo y evolucin
terica, la Definicin, los Teoremas y las Demostraciones.
LaDefinic
La definicin es la descripcin ms cercana de algn objeto o termino que sirve para darse
una idea de lo que es o ampliar su conocimiento sobre susodicho trmino.
Segn la doctrina clsica aristotlica, una definicin debe incluir el gnero y la diferencia
especfica, es decir, que estos deben estar especificados a la clase que pertenecen y las
caractersticas por las cuales pertenecen a esa clase.
Reglas para redactar definiciones correctas y completas
Induccin matemtica
Induccin fuerte
23
Unidad 3
demostracin.
Las reglas de inferencias son reglas cuya funcin principal es la de generar
nuevas frmulas a partir de los axiomas. Son en general procedimientos para
obtener formulas nuevas a partir de otras frmulas y se denominan regla de
transformacin y es todo lo que se necesita si se adopta una concepcin
26
Geometra?
La palabra geometra procede de dos palabras griegas que significan tierra y medida,
lo que indica que la disciplina tuvo su origen en las mediciones de tierras y otras
aplicaciones prcticas. As fue en la cultura mesopotmica y en la egipcia. En la cultura
helnica la geometra se consolida como ciencia y se pasa de enunciados de problemas
particulares a enunciados generales y a una geometra axiomtica en la que de unos pocos
enunciados se deducen todos los dems mediante razonamiento universal. De hecho,
27
Euclides
Euclides de Alejandra fue un matemtico griego que vivi sobre el 300 a.C. (se cree que
desde el 325 a.C. al 265 a.C.). Se conoce poco de su vida y de hecho una de las hiptesis
que se barajan es que ni siquiera existi como se le conoce actualmente.
Su libro Los Elementos es uno de los libros ms importantes e influyentes de la historia de
las Matemticas (sino el que ms). La obra se divide en XIII libros o captulos que
incluyen 132 definiciones, 5 axiomas, 5 postulados y cerca de 500 proposiciones y trata
temas de lgebra, geometra elemental del plano y del espacio y teora de nmeros.
28
Postulados de Euclides
Antes de todo, decimos que un postulado es una proposicin cuya verdad se admite sin
pruebas y que es necesaria para servir de base en ulteriores razonamientos. Vamos a
detenernos en los cinco postulados de la teora de Euclides:
1. Desde cualquier punto se puede trazar una recta a cualquier otro punto.
29
5. Si una lnea recta corta a otras dos lneas rectas de manera que la suma de los
dos ngulos interiores de un lado sea menor que dos ngulos rectos, entonces las
otras dos lneas rectas, si se prolongan lo suficiente, se cortarn al mismo lado de
la primera lnea en que se encuentran aquellos ngulos.
30