You are on page 1of 30

Contenido

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

Resumen de ayuda para examen final 2015


Epistemologa y Fundamentos de las Matemticas
Concepciones de las Matemticas.................................................................17
Concepcin idealista-platnica...................................................................17
Concepcin constructivista.........................................................................17
Papel de las Matemticas en la sociedad.......................................................18
En el mundo biolgico................................................................................ 18
En el mundo fsico...................................................................................... 19
En el mundo social...................................................................................... 19
En el mundo poltico................................................................................... 20
En el mundo econmico............................................................................. 20
Razonamiento Matemtico............................................................................ 20
Razonamiento Deductivo............................................................................... 20
Razonamiento Inductivo................................................................................ 21
Teora de la Definicin.................................................................................... 22
fiLaDenic................................................................................................................... 22
Reglas para redactar definiciones correctas y completas...........................22
LaDemoscintr................................................................................................................... 22
ElTeorma................................................................................................................... 23
Unidad 3............................................................................................................ 24
Sistemas y Mtodos Axiomticos...................................................................24
Tipos de Sistemas Axiomticos......................................................................25
Componentes de los Sistemas Axiomticos...................................................25
Propiedades de los Sistemas Axiomticos.....................................................26
Geometra?................................................................................................... 27
Antecedentes histricos de la Geometra......................................................28
Euclides......................................................................................................... 28
Postulados de Euclides................................................................................... 28

Resumen de ayuda para examen final 2015


Epistemologa y Fundamentos de las Matemticas

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.

Qu es la epistemologa de las matemticas?


Una buena descripcin de Epistemologa de las Matemticas es la del conocimiento de los
conocimientos matemticos.
El conocimiento matemtico es la tendencia a responder a situaciones matemticas
problmicas mediante la reflexin sobre problemas y sus soluciones dentro de un contexto
social y la construccin o reconstruccin de acciones, procesos y objetos organizndolos
en esquemas para tratar con dicha situacin.
En el conocimiento se destacan tres factores claves: el sujeto, la sociedad o marco social, y
el objeto material. El conocimiento es producto de una sntesis del concurso de estos tres
elementos, eso s, en una relacin de influencias muy difcil de precisar cuantitativamente.

Que estudian los Fundamentos de las Matemticas?


Los Fundamentos de la matemtica es el estudio de conceptos matemticos bsicos como
nmeros, figuras geomtricas, conjuntos, funciones, etc. y cmo forman jerarquas de
estructuras y conceptos ms complejos, especialmente las estructuras fundamentalmente
importantes que forman el lenguaje de la matemtica: frmulas, teoras y sus modelos,
dando un significado a las frmulas, definiciones, pruebas, algoritmos, etc. tambin
llamados conceptos metamatemticos, con atencin a los aspectos filosficos y la unidad
de la matemtica.

Resumen de ayuda para examen final 2015


Epistemologa y Fundamentos de las Matemticas

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.

Orgenes de las Matemticas


Las matemticas con las que convivimos hoy tienen su raz en una temprana cultura
numrica que nos lleva al ao 3000 a.C. Como era de esperar, los comienzos estaban
orientados a tratar con asuntos prcticos: problemas en el mercado, el pago de impuestos,
la medida de terrenos, la comprensin de las estrellas y los planetas o la concepcin de un
calendario; todas son aplicaciones que requieren nmeros, clculos y geometra
rudimentaria. Pero con los egipcios, mil aos despus, las sociedades comienzan a
investigar las propiedades de los sistemas numricos ms all de las de las aplicaciones
obvias.
Tambin empezaron a crear, por curiosidad y placer intelectual, acertijos matemticos, por
la misma razn por la que nosotros podemos disfrutar con el sudoku del peridico. Las
matemticas haban empezado a mirarse a s mismas. Haba nacido el matemtico.
Los griegos hicieron enormes progresos en torno al ao 500 a.C., cuando la verdadera
cultura matemtica floreci. Los estudios que realizaron han resultado influyentes a lo
largo de los siglos y todava se estudian hoy. Las matemticas eran consideradas como la
esencia del bien supremo y eran una parte esencial en la educacin clsica. Pitgoras,
Platn, Arqumedes o Euclides son slo algunos de los filsofos griegos que abogaron por
las matemticas y que ejercieron una influencia cientos, incluso miles, de aos despus.

Resumen de ayuda para examen final 2015


Epistemologa y Fundamentos de las Matemticas

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.

Resumen de ayuda para examen final 2015


Epistemologa y Fundamentos de las Matemticas

El sistema babilnico de numeracin era bastante diferente del egipcio. En el babilnico se


utilizaban tablillas con varias muescas o marcas en forma de cua (cuneiforme); una cua
sencilla representaba al 1 y una marca en forma de flecha representaba al 1.
Los nmeros menores que 59 estaban formados por estos smbolos utilizando un proceso
aditivo, como en las matemticas egipcias. El nmero 60, sin embargo, se representaba
con el mismo smbolo que el 1, y a partir de ah, el valor de un smbolo vena dado por su
posicin en el nmero completo.
Con el tiempo, los babilonios desarrollaron unas matemticas ms sofisticadas que les
permitieron encontrar las races positivas de cualquier ecuacin de segundo grado.
Fueron incluso capaces de encontrar las races de algunas ecuaciones de tercer grado, y
resolvieron problemas ms complicados utilizando el teorema de Pitgoras. Los babilonios
compilaron una gran cantidad de tablas, incluyendo tablas de multiplicar y de dividir,
tablas de cuadrados y tablas de inters compuesto. Adems, calcularon no slo la suma de
progresiones aritmticas y de algunas geomtricas, sino tambin de sucesiones de
cuadrados.
Las matemticas en Grecia

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

Resumen de ayuda para examen final 2015


Epistemologa y Fundamentos de las Matemticas

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

Resumen de ayuda para examen final 2015


Epistemologa y Fundamentos de las Matemticas

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

Los europeos dominaron el desarrollo de las matemticas despus del renacimiento.


Durante el siglo XVII tuvieron lugar los ms importantes avances en las matemticas
desde la era de Arqumedes y Apolonio. El siglo comenz con el descubrimiento de los
logaritmos por el matemtico escocs John Napier (Neper); su gran utilidad llev al
astrnomo francs Pierre Simon Laplace a decir, dos siglos ms tarde, que Neper, al
reducir el trabajo de los astrnomos a la mitad, les haba duplicado la vida.
La ciencia de la teora de nmeros, que haba permanecido aletargada desde la poca
medieval, es un buen ejemplo de los avances conseguidos en el siglo XVII basndose en los
estudios de la antigedad clsica. La obra Las aritmticas de Diofante ayud a Fermat a
realizar importantes descubrimientos en la teora de nmeros. Su conjetura ms destacada
en este campo fue que no existen soluciones de la ecuacin an + bn = cn con a, b y c
enteros positivos si n es mayor que 2.
Esta conjetura, conocida como ltimo teorema de Fermat, ha generado gran cantidad de
trabajos en el lgebra y la teora de nmeros.
En geometra pura, dos importantes acontecimientos ocurrieron en este siglo. El primero
fue la publicacin, en el Discurso del mtodo (1637) de Descartes, de su descubrimiento de
la geometra analtica, que mostraba cmo utilizar el lgebra (desarrollada desde el
renacimiento) para investigar la geometra de las curvas (Fermat haba hecho el mismo
descubrimiento pero no lo public). El Discurso del mtodo, junto con una serie de
pequeos tratados con los que fue publicado, ayud y fundament los trabajos
matemticos de Isaac Newton hacia 1660. El segundo acontecimiento que afect a la
geometra fue la publicacin, por el ingeniero francs
Grard Desargues, de su descubrimiento de la geometra proyectiva en 1639. Aunque este
trabajo fue alabado por Descartes y por el cientfico y filsofo francs Blaise Pascal, su
terminologa excntrica y el gran entusiasmo que haba causado la aparicin de la
geometra analtica retras el desarrollo de sus ideas hasta principios del siglo XIX, con
los trabajos del matemtico francs Jean Victor Poncelet.

Resumen de ayuda para examen final 2015


Epistemologa y Fundamentos de las Matemticas

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

En 1821, un matemtico francs, Augustin Louis Cauchy, consigui un enfoque lgico y


apropiado del clculo. Cauchy bas su visin del clculo slo en cantidades finitas y el
concepto de lmite. Sin embargo, esta solucin plante un nuevo problema, el de la
definicin lgica de nmero real. Aunque la definicin de clculo de Cauchy estaba basada
en este concepto, no fue l sino el matemtico alemn Julius W. R. Dedekind quien
encontr una definicin adecuada para los nmeros reales, a partir de los nmeros
racionales, que todava se ensea en la actualidad; los matemticos alemanes Georg
Cantor y Karl T. W. Weierstrass tambin dieron otras definiciones casi al mismo tiempo.
Un problema ms importante que surgi al intentar describir el movimiento de vibracin
de un muelle estudiado por primera vez en el siglo XVIII fue el de definir el
significado de la palabra funcin. Euler, Lagrange y el matemtico francs
Joseph Fourier aportaron soluciones, pero fue el matemtico alemn Peter G. L. Dirichlet
quien propuso su definicin en los trminos actuales.
Adems de fortalecer los fundamentos del anlisis, nombre dado a partir de entonces a las
tcnicas del clculo, los matemticos del siglo XIX llevaron a cabo importantes avances en
esta materia. A principios del siglo, Carl Friedrich Gauss dio una explicacin adecuada
del concepto de nmero complejo; estos nmeros formaron un nuevo y completo campo del
anlisis, desarrollado en los trabajos de Cauchy, Weierstrass y el matemtico alemn
Bernhard Riemann.
Otro importante avance del anlisis fue el estudio, por parte de Fourier, de las sumas
infinitas de expresiones con funciones trigonomtricas. stas se conocen hoy como series
de Fourier, y son herramientas muy tiles tanto en las matemticas puras como en las
aplicadas. Adems, la investigacin de funciones que pudieran ser iguales a series de
9

Resumen de ayuda para examen final 2015


Epistemologa y Fundamentos de las Matemticas

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

En la Conferencia Internacional de Matemticos que tuvo lugar en Pars en 1900, el


matemtico alemn David Hilbert expuso sus teoras. Hilbert era catedrtico en Gotinga,
el hogar acadmico de Gauss y Riemann, y haba contribuido de forma sustancial en casi
todas las ramas de las matemticas, desde su clsico Fundamentos de la geometra (1899)
a su Fundamentos de la matemtica en colaboracin con otros autores. La conferencia de
Hilbert en Pars consisti en un repaso a 23 problemas matemticos que l crea podran
ser las metas de la investigacin matemtica del siglo que empezaba. Estos problemas, de
hecho, han estimulado gran parte de los trabajos matemticos del siglo XX, y cada vez que
aparecen noticias de que otro de los "problemas de Hilbert" ha sido resuelto, la
comunidad matemtica internacional espera los detalles con impaciencia.
A pesar de la importancia que han tenido estos problemas, un hecho que Hilbert no pudo
imaginar fue la invencin del ordenador o computadora digital programable, primordial
en las matemticas del futuro. Aunque los orgenes de las computadoras fueron las
calculadoras de relojera de Pascal y Leibniz en el siglo XVII, fue Charles Babbage quien,
en la Inglaterra del siglo XIX, dise una mquina capaz de realizar operaciones
matemticas automticamente siguiendo una lista de instrucciones (programa) escritas en
tarjetas o cintas. La imaginacin de Babbage sobrepas la tecnologa de su tiempo, y no
fue hasta la invencin del rel, la vlvula de vaco y despus la del transistor cuando la
computacin programable a gran escala se hizo realidad. Este avance ha dado un gran
impulso a ciertas ramas de las matemticas, como el anlisis numrico y las matemticas
finitas, y ha generado nuevas reas de investigacin matemtica como el estudio de los
algoritmos. Se ha convertido en una poderosa herramienta en campos tan diversos como la
teora de nmeros, las ecuaciones diferenciales y el lgebra abstracta. Adems, el
ordenador ha permitido encontrar la solucin a varios problemas matemticos que no se
haban podido resolver anteriormente, como el problema topolgico de los cuatro colores
propuesto a mediados del siglo XIX. El teorema dice que cuatro colores son suficientes
para dibujar cualquier mapa, con la condicin de que dos pases limtrofes deben tener
distintos colores. Este teorema fue demostrado en 1976 utilizando una computadora de
gran capacidad de clculo en la Universidad de Illinois (Estados Unidos).
El conocimiento matemtico del mundo moderno est avanzando ms rpido que nunca.
Teoras que eran completamente distintas se han reunido para formar teoras ms
completas y abstractas. Aunque la mayora de los problemas ms importantes han sido
10

Resumen de ayuda para examen final 2015


Epistemologa y Fundamentos de las Matemticas

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

Resumen de ayuda para examen final 2015


Epistemologa y Fundamentos de las Matemticas
Concepto de nmero entero

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

La operacin aritmtica de la adicin (suma) se indica con el signo ms (+) y es una


manera de contar utilizando incrementos mayores que 1. Por ejemplo, cuatro manzanas y
cinco manzanas se pueden sumar ponindolas juntas y contndolas a continuacin de una
en una hasta llegar a 9. La adicin, sin embargo, hace posible calcular sumas ms
fcilmente. Las sumas ms sencillas deben aprenderse de memoria. En aritmtica, es
posible sumar largas listas de nmeros con ms de una cifra si se aplican ciertas reglas
que simplifican bastante la operacin.

12

Resumen de ayuda para examen final 2015


Epistemologa y Fundamentos de las Matemticas
Sustraccin

La operacin aritmtica de la sustraccin (resta) se indica con el signo menos (-) y es la


operacin opuesta, o inversa, de la adicin. De nuevo, se podra restar 23 de 66 contando
al revs 23 veces empezando por 66 o eliminando 23 objetos de una coleccin de 66, hasta
encontrar el resto, 43. Sin embargo, las reglas de la aritmtica para la sustraccin nos
ofrecen un mtodo ms sencillo para encontrar la solucin.
Multiplicacin

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

La operacin aritmtica de la divisin es la operacin recproca o inversa de la


multiplicacin.
Usando como ejemplo 12 dividido entre 4, la divisin se indica con el signo de dividir
(12:4) una raya inclinada (12/4).
La divisin es la operacin aritmtica usada para determinar el nmero de veces que un
nmero dado contiene a otro. Por ejemplo, 12 contiene a 4 tres veces; por eso 12 dividido
entre 4 es 3, o 0 es 3.

Teora de conjuntos
Una visin de Cantor

La definicin inicial de Cantor es totalmente intuitiva: un conjunto es cualquier coleccin


C de objetos determinados y bien distintos x de nuestra percepcin o nuestro pensamiento
(que se denominan elementos de C), reunidos en un todo. Igual que en Frege su idea de lo
que es un conjunto coincide con la extensin de un predicado (la coleccin de objetos que
13

Resumen de ayuda para examen final 2015


Epistemologa y Fundamentos de las Matemticas

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}

Donde A es el conjunto formado por la coleccin de objetos a, b y c


En principio podra tomarse cualquier lengua natural para describir los objetos (espaol,
ingls, italiano, vasco, cataln, etc), sin embargo es preferible utilizar un lenguaje formal
que ofrezca rigor y precisin. Dicho lenguaje debe ser suficientemente rico; esto es, lo
suficientemente expresivo como para poder describir todas las colecciones matemticas.
Pero tambin lo suficientemente restrictivo como para limitarse a slo las colecciones de
objetos matemticos. Para expresar predicados utilizaremos el lenguaje formal de la
lgica de predicados de primer orden (el lenguaje de la lgica de proposiciones con los
smbolos lgicos de las conectivas ,,,, ms los cuantificadores universal y
existencial) al que se aade variables, igualdad y el relator binario de pertenencia. Este
lenguaje puede ser ampliado con los smbolos propios de las operaciones, relaciones o
funciones del lenguaje especfico de teora de conjuntos.

La paradoja de Russell

La definicin intuitiva de conjunto como el de una coleccin de objetos


describible por un predicado conduce inevitablemente a ciertas
contradicciones que se llaman paradojas, la ms clebre es la conocida
como paradoja de Russell: Consideremos el conjunto A = {x : x / x},
descrito mediante el predicado del lenguaje formal x / x . Obviamente,
14

Resumen de ayuda para examen final 2015


Epistemologa y Fundamentos de las Matemticas

para cualquier B, B A si y slo si B / B. Es decir, est en A cuando


verifica las condiciones que definen a A. Pero, qu sucede con el propio
A? Evidentemente, A A si y slo si A / A. Pero este resultado es
contradictorio. En vano se debe intentar descubrir un error en el
razonamiento, ms bien parece que el problema proviene de admitir
expresiones como A A (o conjuntos como el conjunto de todos los
conjuntos que produce tambin paradojas). Se ha visto claramente que
el concepto de conjunto no es tan sencillo y que identificarlo sin mayor
investigacin con el de coleccin resulta problemtico. Para evitar la
paradoja de Russell, y otras de esta naturaleza, es necesario tener ms
cuidado en la definicin de conjunto, lo veremos en lo que sigue. Otras
paradojas, de hecho las primeras en descubrirse, afectaban a
colecciones grandes, como por ejemplo la de los ordinales, o la de todos
los conjuntos. Estas colecciones no podrn ser conjuntos.
Conjunto Finito

Podemos decir que un conjunto finito es un conjunto con elementos


distintos y que se puede contar.
Un conjunto finito tiene una cantidad de elementos o su cardinalidad
igual a un nmero natural.
Ejemplos:
A = {1,2,3,4,5} un conjunto de 5 elementos, tambin se puede escribir
#A = 5

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

Si A es un conjunto finito, a su cardinal se le conoce tambin como


el nmero de elementos de A; dos conjuntos finitos son, pues,
equipotentes si y slo si tienen el mismo nmero de elementos.

15

Resumen de ayuda para examen final 2015


Epistemologa y Fundamentos de las Matemticas

Si A es un conjunto finito y B est estrictamente incluido en A,


entonces no existe ninguna biyeccion entre A y B; esto es, un
conjunto finito no es equipotente a ninguna de sus partes propias.
Segn lo anterior, si un conjunto A se puede poner en
correspondencia biyectiva con alguna de sus partes propias,
entonces A no puede ser finito; en tal caso, se dira que A es
infinito.

Conjunto Infinito

Se llaman conjuntos infinitos a los conjuntos que no son finitos; es decir,


un conjunto A es infinito si card(A) no es un nmero natural.
Caracterizaciones de los conjuntos infinitos
Un conjunto A es infinito si y slo si se verifica cualquiera de las
siguientes condiciones:
Algn subconjunto de A es equipotente con N.
El conjunto A es equipotente con alguna de sus partes propias

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

Resumen de ayuda para examen final 2015


Epistemologa y Fundamentos de las Matemticas
Diferencia de Conjuntos
La diferencia de los conjuntos A y B es el conjunto de elementos que
pertenecen a A. pero no a B. Se denota la diferencia de A y B por A - B que se
lee A diferencia B o simplemente A menos B.
Sean S = {a, b, c, d} y T = {f, b, d, g}. Se tiene: S T = {a, c}
Complemento de Conjuntos
Sea E = {2, 4, 6,.}, o sea los nmeros pares. Entonces E = {1, 3, 5,.}, que
son los impares. Aqu se supone que el conjunto universal es el de los nmeros
naturales, 1, 2, 3,.
El complemento de un conjunto A es el conjunto de elementos que no
pertenecen a A, es decir, la diferencia del conjunto universal U y del A. se
denota el complemento de A por A'

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

Resumen de ayuda para examen final 2015


Epistemologa y Fundamentos de las Matemticas
Concepcin constructivista

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.

Papel de las Matemticas en la sociedad


Las aplicaciones matemticas tienen una fuerte presencia en nuestro entorno. Si queremos
que el alumno valore su papel, es importante que los ejemplos y situaciones que mostramos
en la clase hagan ver, de la forma ms completa posible, el amplio campo de fenmenos
que las matemticas permiten organizar.
En el mundo biolgico

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

Resumen de ayuda para examen final 2015


Epistemologa y Fundamentos de las Matemticas

Cuando se hacen predicciones sobre la evolucin de la poblacin mundial o sobre la


posibilidad de extincin de las ballenas, se estn usando modelos matemticos de
crecimiento de poblaciones, de igual forma que cuando se hacen estimaciones de la
propagacin de una cierta enfermedad o de la esperanza de vida de un individuo.
Las formas de la naturaleza nos ofrecen ejemplos de muchos conceptos geomtricos,
abstrados con frecuencia de la observacin de los mismos.
El crecimiento de los alumnos permite plantear actividades de medida y ayudar a los
alumnos a diferenciar progresivamente las diferentes magnitudes y a estimar cantidades de
las mismas: peso, longitud, etc.
En el mundo fsico

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

El hombre no vive aislado: vivimos en sociedad; la familia, la escuela, el trabajo, el ocio


estn llenos de situaciones matemticas. Podemos cuantificar el nmero de hijos de la
familia, la edad de los padres al contraer matrimonio, el tipo de trabajo, las creencias o
aficiones de los miembros varan de una familia a otra, todo ello puede dar lugar a
estudios numricos o estadsticos.
Para desplazarnos de casa a la escuela, o para ir de vacaciones, dependemos del
transporte pblico. Podemos estimar el tiempo o la distancia o el nmero de viajeros que
usarn el autobs.
En nuestros ratos de ocio practicamos juegos de azar tales como quinielas o loteras.
Acudimos a encuentros deportivos cuyos resultados son inciertos y en los que tendremos
que hacer cola para conseguir las entradas. Cuando hacemos una pliza de seguros no
19

Resumen de ayuda para examen final 2015


Epistemologa y Fundamentos de las Matemticas

sabemos si la cobraremos o por el contrario perderemos el dinero pagado; cuando


compramos acciones en bolsa estamos expuestos a la variacin en las cotizaciones La
estadstica y probabilidad se revela como herramienta esencial en estos contextos.

En el mundo poltico

El Gobierno, tanto a nivel local como nacional o de organismos internacionales, necesita


tomar mltiples decisiones y para ello necesita informacin. Por este motivo la
administracin precisa de la elaboracin de censos y encuestas diversas. Desde los
resultados electorales hasta los censos de poblacin hay muchas estadsticas cuyos
resultados afectan las decisiones de gobierno.
Los ndices de precios al consumo, las tasas de poblacin activa, emigracin inmigracin, estadsticas demogrficas, produccin de los distintos bienes, comercio, etc.,
de las que diariamente escuchamos sus valores en las noticias, proporcionan ejemplo de
razones y proporciones.
En el mundo econmico

La contabilidad nacional y de las empresas, el control y previsin de procesos de


produccin de bienes y servicios de todo tipo no seran posibles sin el empleo de mtodos y
modelos matemticos.
En la compleja economa en la que vivimos son indispensables unos conocimientos
mnimos de matemticas financieras. Abrir una cuenta corriente, suscribir un plan de
pensiones, obtener un prstamo hipotecario, etc. son ejemplos de operaciones que
necesitan este tipo de matemticas.

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

Resumen de ayuda para examen final 2015


Epistemologa y Fundamentos de las Matemticas

El razonamiento inductivo se define como obtener una conclusin general, o conjetura, a


partir de observaciones repetidas en ejemplos especficos; dicha conclusin puede llegar a
ser verdadera o no. El razonamiento deductivo, cuando el hombre tiene unificacin de las
ideas se tiene el concepto de veracidad. Los filsofos griegos hicieron la primera
contribucin de importancia al desarrollo de un mtodo sistemtico para descubrir la
verdad. Aristteles y sus discpulos implantaron el razonamiento deductivo como un
proceso del pensamiento en el que de afirmaciones generales se llega a afirmaciones
especficas aplicando las reglas de la lgica. Es un sistema para organizar hechos
conocidos y extraer conclusiones, lo cual se logra mediante una serie de enunciados que
reciben el nombre de silogismos, los mismos comprenden tres elementos: a) la premisa
mayor, b) la premisa menor y c) la conclusin.
He aqu un ejemplo:
a) todos los hombres son mortales (premisa mayor),
b) Scrates es hombre (premisa menor); por lo tanto,
c) Scrates es mortal (conclusin).
Si las premisas del razonamiento deductivo son verdaderas, la conclusin tambin lo ser.
Este razonamiento permite organizar las premisas en silogismos que proporcionan la
prueba decisiva para la validez de una conclusin; generalmente se suele decir ante una
situacin no entendida Deduzca, sin embargo, el razonamiento deductivo tiene
limitaciones. Es necesario empezar con premisas verdaderas para llegar a conclusiones
vlidas. La conclusin de un silogismo nunca puede ir ms all del contenido de las
premisas. Las conclusiones deductivas son necesariamente inferencias hechas a partir de
un conocimiento que ya exista. En consecuencia, la indagacin cientfica no puede
efectuarse slo por medio del razonamiento deductivo, pues es difcil establecer la verdad
universal de muchos enunciados que tratan de fenmenos cientficos. El razonamiento
deductivo puede organizar lo que ya se conoce y sealar nuevas relaciones conforme pasa
de lo general a lo especfico, pero sin que llegue a constituir una fuente de verdades
nuevas.

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

Resumen de ayuda para examen final 2015


Epistemologa y Fundamentos de las Matemticas
como verdades absolutas las premisas transmitidas por las autoridades en la
materia.
Segn Bacon las observaciones se hacan sobre fenmenos particulares de una
clase, y luego a partir de ellos se hacan inferencias acerca de la clase entera.
Este procedimiento se denomina razonamiento inductivo y viene a ser lo
contrario del que se utiliza en el mtodo deductivo. La diferencia entre ambos
razonamientos se capta en los ejemplos siguientes:
Mtodo Deductivo:
A. Todos los mamferos tienen pulmones.
B. Todos los conejos son mamferos.
C. Por lo tanto, todos los conejos tienen pulmones.
Mtodo Inductivo:
A. Todos los conejos que fueron observados tienen pulmones.
B. Por lo tanto, todos los conejos tienen pulmones.
El mtodo inductivo se conoce como experimental y sus pasos son: 1)
Observacin, 2) Formulacin de hiptesis, 3) Verificacin, 4) Tesis, 5) Ley y 6)
Teora.

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

El nmero de posibilidades de interpretacin diferentes debe ser lo ms reducido posible.


Sin embargo, una definicin debe ser tan sencilla como sea posible.
22

Resumen de ayuda para examen final 2015


Epistemologa y Fundamentos de las Matemticas

Una definicin no debe contener, si es posible, ninguna regla de excepcin


Una definicin no puede la palabra que define.
LaDemrosctni

En matemticas, una demostracin es un argumento deductivo para asegurar la verdad de


una proposicin matemtica. En la argumentacin se pueden usar otras afirmaciones
previamente establecidas, tales como teoremas o bien la afirmaciones iniciales o axiomas.
Las demostraciones emplean lgica pero normalmente incluyen una buena parte de
lenguaje natural, el cual usualmente admite alguna ambigedad. De hecho, la gran
mayora de las demostraciones en las matemticas escritas puede ser considerada como
aplicaciones de lgica informal rigurosa. Las demostraciones puramente formales, escritas
en lenguaje simblico en lugar de lenguaje natural, se consideran en teora de la
demostracin. La distincin entre demostraciones formales e informales ha llevado a
examinar la lgica matemtica histrica y actual, el cuasi-empirismo matemtico y el
formalismo matemtico. La filosofa de las matemticas concierne al rol del lenguaje y la
lgica en las demostraciones, y en las matemticas como lenguaje.
El hecho de no conocer ninguna demostracin de un teorema no implica su no veracidad;
slo la demostracin de la negacin de este resultado implica que es falso.
Mtodos de demostracin:
Aunque en general no existe un procedimiento nico de demostracin de tesis, si existen
diferentes tipos de demostraciones que son utilizados comnmente en matemticas:

Demostracin por contraposicin (formalizado y utilizado en los silogismos por


Aristteles).

Demostracin por reduccin al absurdo (formalizado y utilizado por Aristteles) y,


como caso particular, descenso infinito

Induccin matemtica

Induccin fuerte

23

Resumen de ayuda para examen final 2015


Epistemologa y Fundamentos de las Matemticas
ElTeorma

Un teorema es una proposicin que afirma una verdad demostrable. En matemticas, es


toda proposicin que partiendo de un supuesto (hiptesis), afirma una verdad (tesis) no
evidente por s misma.
Un teorema es una frmula bien formada que puede ser demostrada dentro de un sistema
formal, partiendo de axiomas u otros teoremas. Demostrar teoremas es un asunto central
en la lgica matemtica. Los teoremas tambin pueden ser expresados en lenguaje natural
formalizado.
Resumiendo lo anterior, puede decirse formalmente que, un teorema es una frmula bien
formada, que no es un axioma, y que puede ser el elemento final de alguna demostracin,
es decir, un teorema es una frmula bien formada para la cual existe una demostracin.

Unidad 3

Sistemas y Mtodos Axiomticos


Un sistema formal (o sistema axiomtico) se puede definir como un conjunto proposiciones
llamadas axiomas y una serie de reglas para unirlas, que permite la deduccin de nuevas
proposiciones llamadas teoremas.
El mtodo axiomtico consiste en aceptar sin prueba ciertas proposiciones como axiomas
o postulados, y en derivar luego de esos axiomas todas las dems proposiciones del
sistema, en calidad ya de teoremas. Los axiomas constituyen los "cimientos" del sistema;
los teoremas son las "superestructuras", y se obtienen a partir de los axiomas sirvindose,
exclusivamente, de los principios de la lgica.
La principal caracterstica de un sistema axiomtico es que si puede demostrarse de
alguna manera la verdad de los axiomas, quedan automticamente garantizadas tanto la
verdad como la consistencia mutua de todos los teoremas.
24

Resumen de ayuda para examen final 2015


Epistemologa y Fundamentos de las Matemticas

Lo caracterstico del sistema axiomtico como realizacin de la idea de clculo consiste en


disponer de un conjunto de enunciados o frmulas que se admiten sin demostracin y a
partir de los cuales se obtienen todas las dems afirmaciones de la teora, las cuales se
llaman teoremas. Y las formulas aceptadas sin discusin son axiomas o postulados. El
conjunto de axiomas, ms la definicin de enunciado o formula del sistema (definicin que
precede al enunciado de los axiomas) y el conjunto de las reglas para la obtencin de
teoremas a partir de los axiomas (reglas de transformacin) constituyen la base primitiva
del sistema.

Tipos de Sistemas Axiomticos


1. Sintcticos. Llamados tambin clculos o sistemas no interpretados, que se
caracterizan por el hecho de que sus expresiones carecen de significado, estn
compuestos por formulas entendidas como meras sucesiones de signos. Los
axiomas y teoremas son consecuentemente formulas vacas, puesto que contienen
signos que no tienen referencia.
2. Semnticos. Tambin conocidos como Interpretados los cuales estn formados por
enunciados, es decir, oraciones que poseen significados y valores de verdad.

Componentes de los Sistemas Axiomticos


Segn el enfoque moderno se enunciaran los que forman parte de los sistemas sintcticos,
que ciertos agregados que bajo ciertas condiciones sern sistemas semnticos.

Los trminos primitivos o alfabeto bsico son un listado de signos que no se lo


definen dentro del sistema y que podrn ser utilizados para definir otros.

Adems se pueden dividir en signos propios o impropios.


Los Signos propios son aquellos que al ser interpretados o se les asigna
significados se refieren a objetos especficos de la teora. Pueden ser constantes
(se refiere a entidades determinadas) y Variables (se refiere a lugares que
puedan ser ocupados por distintas entidades que constituyen e dominio de la
variable)
25

Resumen de ayuda para examen final 2015


Epistemologa y Fundamentos de las Matemticas

Los signos impropios son aquellos que pertenecen a la lgica subyacente

presupuesta en los sistemas matemticos y explicitados en los sistemas lgicos.


Morfologa. En todo sistemas se establecen explicita o implcitamente las
formas en que pueden combinarse los signos en la formula, siendo esta una

sucesin finita de trmino.


Las definiciones permiten introducir en los sistemas axiomticos signos nuevos

a partir de los trminos primitivos, que seran los trminos definidos.


Los axiomas constituyen un conjunto de frmulas bien formadas que se adoptan
como punto de partida o formulas iniciales, las cuales se aceptan sin

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

sintactista de los sistemas axiomticos.


Una demostracin es una secuencia de frmulas bien formadas donde cada una
de ellas es o bien un axioma o bien se ha obtenido a partir de frmulas

anteriores mediante la aplicacin de reglas de inferencias.


Un teorema es la ltima formula de una demostracin.

Propiedades de los Sistemas Axiomticos


Consistencia
Se pretende la exigencia de coherencia, es decir, que en un sistema axiomtico no puede
inferirse dos teoremas contradictorios a partir de los axiomas.
Partiendo de los axiomas no debe ser posible deducir o demostrar un teorema y su
negacin. Es decir, el sistema no debe suponer contradicciones.
Ejemplo: Si se deduce el teorema T en el sistema axiomtico S, no puede inferirse tambin
el teorema no-T en el mismo sistema.

26

Resumen de ayuda para examen final 2015


Epistemologa y Fundamentos de las Matemticas

Este requisito de consistencia es el ms importante en lo que debe satisfacer un sistema


axiomtico.
Completitud
Significa que no es posible aadir al sistema una formula bien formada que no sea teorema
sin que el sistema se vuelva inconsistente.
Se llama completo a un sistema S, si dada una formula bien formada f, de S, o esta frmula
o su negacin (no-f) es un teorema de S.
Todo enunciado bien formulado que no sea deducible de sus axiomas tiene que estar en
contradiccin con una tesis del sistema. Es decir: Sea L un Sistema Axiomtico cualquiera,
es decidible o completo si y solo si, dada una formula f cualquiera de dicho lenguaje L,
hay un medio para averiguar con seguridad deductiva si f es verdadero o falso en L.
Independencia
Los axiomas o formulas iniciales del sistema son independientes cuando ninguno de ellos
pueden ser teoremas en el mismo sistema. Es decir, ninguno de los axiomas puede ser
deducido, demostrado a partir de los dems, cada axioma debe ser independiente de los
otros.

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

Resumen de ayuda para examen final 2015


Epistemologa y Fundamentos de las Matemticas

esta visin de la geometra perdurar a travs de muchos siglos y solamente nuevos


problemas darn lugar a nuevas geometras.

Antecedentes histricos de la Geometra

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

Resumen de ayuda para examen final 2015


Epistemologa y Fundamentos de las Matemticas

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.

2. Toda recta se puede prolongar indefinidamente.

3. Con cualquier centro y cualquier distancia se puede trazar un crculo.

29

Resumen de ayuda para examen final 2015


Epistemologa y Fundamentos de las Matemticas

4. Todos los ngulos rectos son iguales.

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.

Nota importante: LEER EL APUNTE COMPLETO DE GEOMETRIA QUE SE


ENCUENTRA EN LA PLATAFORMA

30