LA EVOLUCION HISTORICA DEL CONOCIMIENTO MATEMATICO

Primeras evidencias: las matemticas potmicas

Alineacin horizontal y vertical de smbolos Distribuciones planas y espaciales de diseos geomtricos Simetra, repeticin, pensamiento peridico, calendario Utilizacin de fracciones Operaciones numricas Calculo de reas a travs de descomposicin de figuras. Aparicin de modelos de sistemas simblicos numricos. Notacin posicional Sistematizacin de formas operacionales: tcnicas o procedimientos de clculo. Utilizacin de tablas.

Primeras evidencias de actividad matemtica

Cantidad y forma, orden, parte y todo: aritmtica y geometra como actividades asociadas al quehacer prctico, a rituales, a necesidades que surgen del desarrollo cultural, a necesidades prctico-tcnicas constructivas.
Hueso de Ishango (Paleoltico Superior/20 000 a.C.) Papiro de Ahmes (2000 a 1800aC)

QUIPUS / YUPANA / CALENDARIO SOLAR

Sistemas de numeracin ACUMULATIVOS

Acumula smbolos de todas las cifras hasta completar el nmero deseado

Sistemas de numeracin POSICIONALES

SISTEMA DE NUMERACIN JEROGLFICA EGIPCIA SISTEMA DE NUMERACIN HIND

i.

La posicin del dgito o cifra numrica es significativa. Es posible escribir cualquier nmero usando tan solo diez (10) dgitos

Sistemas de numeracin POSICIONALES

NMEROS CON CARACTERES CUNEIFORMES (BABILONICOS Y SUMERIOS)

(5 x 60) + (2x10) +1 (4x10) + (5x1) = 300 + 20

+1 40 +5 = 321 45/60

Basada en 10 y 60, teniendo en cuenta la posicin de estos caracteres

Sistemas de numeracin POSICIONALES

SISTEMA NUMRICO MAYA

Sistemas de numeracin HIBRIDOS

Combinan el principio del sistema acumulativo con el posicional de base decimal; el orden en la escritura de las cifras (vertical u horizontal) es fundamental para evitar confusiones en su interpretacin

SISTEMA DE NUMERACIN CHINO IDEOGRAMAS

SOBRE LO REAL ENCRUCIJADA ONTOLOGICA

Desafo del pensamiento filosfico en relacin a que es la realidad:

Cul es el criterio ltimo de realidad que sostiene la multiplicidad de la unidad de las cosas?

Los caminos que adoptemos nos llevarn a una forma particular de concebir la realidad, el Ser de las cosas, a posibles

OPCIONES ONTOLOGICAS, MODOS DE CONCEBIR LA REALIDAD

CONCEPCIONES EPISTEMOLGICAS SOBRE LA TECNOLOGA

CAMINO DE LA PHYSIS

ELEA

Los presocrticos buscaban en la physis el arch, el principio de todas las cosas. Dan nacimiento a la filosofa y colocan la semilla del pensamiento cientfico, cuya caracterstica es la sujecin a la norma de que las explicaciones genricas de los fenmenos naturales debe realizarse acudiendo solo a los fenmenos naturales.

Parmnides (530-515 a.C.)

El pensamiento de Parmnides es revelacin divina. Lo que es, es ajeno a la generacin y a la corrupcin y por lo tanto es engendrado e indestructible, es lo nico que verdaderamente existe (o sea, no existe la nada), es homogneo, inmvil y perfecto. Formula el Principio de identidad: cada cosa es igual a s misma, el Ser es, el no Ser no es

CAMINO DE LA META-PHYSIS
La unidad de la multiplicidad de los fenmenos trasciende a la naturaleza, dominio al que solamente el pensamiento filosfico nos puede conducir y donde nos encontramos con el ser de las cosas y sus esencias ltimas. Las cosas en su apariencia diversa y cambiante no son sino expresiones de un nivel de realidad trascendente. Cuestionamiento al estatuto del mundo sensorial, que es ilusin, sombra o mera apariencia .

ESTAGIRA ELEA
PARMENIDES (530-515 a.C.) ARISTOTELES (384 a.C...) SOCRATES (470 a 399 a.C.)

1 Elea 2 Crotona: Escuela pitagrica 3 Agrigento: Empdocles 4 Leontino: Gorgias 5 Siracusa 6 Estagira 7 Abdera: Demcrito; Protgoras 8 Atenas 9 Clazomene: Anaxgoras 10 Colofn: Jenfanes 11 feso: Herclito 12 Mileto: Tales; Anaximandro; Anaxmenes

PLATON (428 a 347 a.C.)

ATENAS

CONCEPCIONES EPISTEMOLGICAS SOBRE LA TECNOLOGA

CAMINO ANTROPOLOGICO
el hombre es la medida de todas las cosas
La unidad de la diversidad de las cosas es algo que los seres humanos confieren a las cosas. Preocupacin por el aret, virtudes para llegar a ser buenos y efectivos ciudadanos. La unidad de la diversidad no debe ser buscada ni en la naturaleza ni fuera de ella, en un mundo trascendente.

ABDERA
PROTAGORAS
(481 a 401 a.C.)

No existe en la realidad nada que sea siempre igual, porque lo nico real es el cambio.
Lo que existe es un Ser en movimiento que se transforma. Atribuye realidad a lo concreto, mltiple y cambiante, es decir, a un Universo formado por contrarios en perpetua oposicin, a lo que se llega a travs del logos o razn, ley o medida. Marca la inseparabilidad del Ser y del no Ser.

FESO
HERACLITO
(535-484 a.C.)

poca talsica
(800aC y 800dC)

poca talsica
Los rudimentos matemticos desarrollados siguieron las rutas a los distintos centros-ciudades. Se rompe con la tradicin potmica, aparece una nueva civilizacin, la helnica. Se apropian de los saberes de la poca, que se convierten en el umbral de modos de produccin que anuncian la aparicin de la matemtica griega.

poca talsica
Thales (Circa 624-548aC) - Mileto

(800aC/800dC)

Pitgoras (Circa 580-500aC) Samos

Matemtica griega
Incorporacin de conocimientos de otras culturas que lograron mejorar y perfeccionar.

La proposicin de Thales un ngulo inscrito en una semicircunferencia es un ngulo recto pudo haberla aprendido en el perodo de sus viajes a Mesopotamia.

La tradicin le atribuye algn tipo de demostracin a esta proposicin y la ha convertido en un teorema, motivo por el cual se lo menciona como el primer matemtico griego y padre de la organizacin deductiva de la geometra.

Matemtica griega
Thales es el primer hombre al que se le atribuyen descubrimientos matemticos concretos, contribuyendo a travs de procesos de abstraccin pragmtica a la va de la organizacin racional y la sistematizacin de las categoras geomtricas fundamentales.

Proclo (410-485), historiador, dice acerca de Thales: descubri por s mismo muchas proposiciones e instruy a sus sucesores en los principios en los que se basan muchas otras siendo su mtodo de ataque en algunos casos ms general y en otros ms emprico.

Pensamiento pitagrico
Para Pitgoras el intelecto era la ms importante de las facultades del hombre, porque lo puede conducir gracias a su sola fuerza a una forma de verdad ms profunda y ms firme que cualquier otra.

Pensamiento pitagrico: conservador desde el punto de vista poltico, basado en cdigos muy estrictos de conducta. Mostraba inters en la prosecucin de los estudios filosficos y matemticos como base moral para la direccin de la vida.

Pensamiento pitagrico
Se supone que las palabras filosofa (amor por la sabidura) y matemtica (aquello que se aprende) son de cuo pitagrico y hacen referencia a los ejes que regan las actividades intelectuales

Proclo: Pitgoras, que vino despus de l (se refiere a Thales) transform esta ciencia en una forma de educacin liberal examinando sus principios desde el comienzo y demostrando los teoremas de una manera inmaterial e intelectual. As descubri la teora de las proporciones y la construccin de las figuras csmicas

Escuela pitagrica
Mundo regido por el nmero entero: todo es nmero.

Formas de pensamiento que enfatizan la conexin entre pares de nmeros, la idea de mesurar, comparar, establecer proporciones. que apunta a resaltar algunos aspectos racionales o tericos del concepto de nmero y no el papel del nmero como base para la construccin de una herramienta dedicada exclusivamente al clculo o como va de aproximacin a la medida.
Bases para demostrar ideas , es decir, mostrarlas como verdades en casos particulares y especficos.

Teorema mtrico del tringulo rectngulo. No se sabe como arribaron a esta conclusin y muchos historiadores sostienen que lo hizo con regla y comps, instrumentos matemticos de la poca, ante una mirada atenta de una figura, sin recurrir a razonamientos elaborados tales como los que conocemos hoy da.

Escuela pitagrica: inconmensurables

Diagonal del cuadrado

Divisin de un segmento en media y extrema razn

Escuela pitagrica
Pentgono estrellado: formas auto- reproductivas. Procesos constructivos. Sucesin infinita. Estructura.

Cosmologa pitagrica
La aritmtica aparece como una actividad con categora conceptual ms all del reconocimiento de su potencialidad tcnica para calcular y construir procesos de medicin Filolao (Circa 480 aC) todas las cosas que pueden ser conocidas tienen nmero, pues no es posible que sin nmero nada pueda ser concebido ni conocido. Universo regular, predecible y aritmtico, en el cual giran planetas y astros, la tierra entre ellos en una rbita circular, por lo que aparece dotado de movimiento. El cosmos est formado por un fuego central, llamado Hestia, y nueve cuerpos que giran a su alrededor: Antichton, la Tierra, la Luna, el Sol que es una esfera de cristal que refleja el fuego central), los cinco planetas observables y la esfera de las estrellas fijas, o sea, la bveda celeste que engloba los astros anteriores.

Teora de las proporciones

Histricamente ligada a la escuela pitagrica, responde a sus intereses filosficos y matemticos. Pitgoras estudi en Mesopotamia las proporciones aritmtica, geomtrica y armnica. Su escuela la extendi a un total de diez. Es probable que esta proporciones fueran trabajadas en sus aspectos puramente numricos aunque no se descarta que hayan sido utilizadas como magnitudes geomtricas.

Nace la matemtica griega?

Tesis fundamentales de la escuela Eletica (Parmnides, Zenn, Meliso de Samos - Siglo V a.C):

El instrumento para llegar al conocimiento del ser es la razn. La razn nos muestra el ser como uno, inmvil e inmutable. Los sentidos nos presentan una realidad ilusoria al mostrarnos multiplicidad y cambio.

Actividad matemtica: no consiste solamente en mostrar una propiedad mediante una figura , sino demostrarla en forma obligada a travs del razonamiento. La geometra ser la gran heredera de esta tradicin.

poca de Pericles
No hay documentos matemticos anteriores a Platn pero a partir de la mitad de dicho siglo comenzaron a circular versiones sobre un grupo considerable de matemticos que en distintos centros de actividad trabajaron persistentemente en la resolucin de problemas de naturaleza compleja para la poca, debido a los recursos y herramientas conceptuales que contaban y que dieron auge al desarrollo posterior de la geometra. La bsqueda de las soluciones a los llamados problemas clsicos de la antigedad.

Anaxgoras de Clazomene
(499 - 428 aC)

Introdujo la nocin de nous (, mente o pensamiento) como elemento fundamental de su concepcin fsica.

Dio gran impulso a la investigacin de la naturaleza fundada en la experiencia, la memoria y la tcnica.

Problemas clsicos de la antigedad

Anaxgoras estuvo involucrado en la resolucin de la cuadratura del crculo segn refiere Plutarco, problema que mantuvo fascinados a los matemticos durante ms de dos milenios. No hay detalles acerca del origen del problema ni las pautas que lo regan, pero queda claro que el cuadrado buscado, de rea exactamente igual a la del crculo haba de ser construido utilizando la regla y el comps nicamente.

Casi 2.200 aos ms tarde se iba a demostrar que estos problemas eran insolubles utilizando solamente la regla y el comps pero esto no debe ser evaluado como un fracaso sino todo lo contrario debido a que los trabajos realizados fueron el motor que dio impulso a los desarrollos matemticos que habran de surgir.

Formas de pensamiento que comienzan a desarrollarse en las escuelas pitagrica y jnica: actividad intelectual para la cual es preciso tener ideas, teorizar, argumentar, crear caminos de aproximacin buscando la exactitud del pensamiento.

Los problemas clsicos de la antigedad

Se dice que Pericles muri debido a la peste que invadi Atenas y se llev casi a la cuarta parte de su poblacin. La conmocin que caus este hecho fue probablemente el origen de otro problema famoso: la duplicacin del cubo. Parece ser que se envi una delegacin al orculo de Delos para preguntar de qu modo poda conjurarse la peste. El orculo contest que era necesario duplicar el altar cbico del dios Apolo. Por ello se lo conoce como el problema de Delos..

Cuadratura de las lnulas

Surgi este problema a partir del de la cuadratura del crculo?

Hippocrates de Chos

(470- 410 aC)

Aparece enunciado de la siguiente forma: segmentos semejantes de crculos estn entre s en la misma razn que los cuadrados construidos sobre sus bases.

Trisectriz
Conoca Hipias el mtodo de cuadratura y no poda justificarlo, segn sugieren algunos historiadores?
Hipias de Elide, famoso sofista, junto a Protgoras, Gorgias y Prdico.

Utilizando esta curva Dinostrato, explic en forma detallada la cuadratura.

Continuidad-discretitud
Defensor de una teora atmica materialista, adems de ser un matemtico dedicado a la geometra. En su teora todos los fenmenos deben ser explicados en trminos de tomos pequeos e infinitamente variados tanto en forma como en tamao, de una dureza que los hace impenetrables y que se mueven sin cesar en el espacio vaco infinito. Demcrito de Abdera
(460-370aC)

Escuela Platnica
Platn (siglo V aC) es uno de los pensadores ms fecundos en el terreno de la teora del conocimiento. En dos de sus dilogos, el Teeteto y el Sofista se muestra como el primer filsofo de la lgica planteando preguntas esenciales para lo que damos en llamar el conocimiento cientfico contemporneo, actual: Qu es lo verdadero y qu es lo falso? Cul es la naturaleza de la razn, y de donde procede esta facultad de deducir una verdad a partir de otra? Cul es la naturaleza de una definicin y qu cosa se encuentra definida por las palabras?

El mundo de las formas/ideas

Platn supone que existen Formas a veces traducidas como Ideas. Descartes, muchos siglos despus nos ilustra ampliamente con un ejemplo en qu consisten estas Formas: Cuando yo imagino un tringulo, aunque una tal figura no haya podido estar en ningn lugar del mundo fuera de mi pensamiento y no hubiese existido una nunca, no deja, sin embargo, de mostrar una cierta naturaleza, o forma, o esencia determinada de esta figura, la cual es inmutable y eterna, que yo no he inventado en absoluto, y que no depende en manera alguna de mi espritu; tal como resulta de que se le pueden demostrar diversas propiedades a este tringulo

Un tringulo dibujado no es ms que la imagen de un tringulo, y no la Forma tringulo, el tringulo, esencia de la forma posible de todas las figuras de toda la naturaleza. La idea es una Forma, es decir una matriz perfecta donde residen todas las pequeas ideas, todos los posibles tringulos, como especies de muestras intercambiables. Platn dice: Una misma cosa es verdadera en cuanto a lo justo y a lo injusto, en cuanto lo bueno y lo malo y en cuanto a todas las Formas.

Para Platn se llega a la verdad por medio de la razn, porque el lenguaje se refiere directamente a las Formas, las cuales tienen una existencia propia y constituyen el molde de las cosas terrenales, ya que las Formas no son de este mundo, residen en un mundo propio que Platn denomina el Logos. De qu modo incide este Logos en el mbito del pensamiento matemtico?

Segn la perspectiva platnica, es en el mundo de las ideas donde hay que buscar la potencia y el principio de las definiciones, las cual sirve para despejar la Forma nica, sustancial, resultante de la mezcla de las apariencias y la multiplicidad de las manifestaciones. La facultad de razonar, la posibilidad de demostrar, resulta as de la existencia de ciertas Formas particulares que se encuentran en comunicacin con todas las otras y se expresan en palabras tales como ser, mismo, otro, igual, distinto.

Academia de Platn

Platn, discpulo de Scrates, fue el inspirador del desarrollo matemtico griego que se centra en seis grandes matemticos que vivieron entre la muerte de Scrates (siglo V aC) y la muerte de Aristteles (circa 322aC). Ellos son: Teodoro de Cirene (Circa 390aC); Teeteto (muri en 369aC); Eudoxo de Cnido (muri circa 355aC) Menecmo (vivi circa 350aC) y su hermano Dinostrato (vivi circa 350aC) y Autlico de Pitania (vivi circa 330aC).

Teodoro de Cirene

La escuela platnica estableci una diferencia neta entre aritmtica, en el sentido de la teora de nmeros, y logstica, o tcnicas de clculo o computacin.

Platn asegura que fue Teodoro de Cirene quien demostr por primera vez la irracionalidad de las races cuadradas de los nmeros naturales que no son cuadrados perfectos, desde el 3 al 17, ambos incluidos.

Eudoxo
Perteneca a la escuela
platnica que haba estado sumergida en el escndalo lgico de los inconmensurables y causa de la ruina de la teora de las proporciones, dio una nueva definicin que fue universalmente aceptada para la igualdad de dos razones.

Mtodo de exhauscin
Arqumedes atribuye a Eudoxo el lema que lleva su nombre y suele conocerse como Axioma de Arqumedes que es la base del llamado mtodo de exhauscin, el equivalente griego del clculo integral. Si de cualquier magnitud sustraemos una parte no menor que su mitad, y si del resto sustraemos de nuevo una cantidad no menor que su mitad y si continuamos repitiendo este proceso de sustraccin, terminaremos por obtener como resto una magnitud menor que cualquier magnitud del mismo tipo dada de antemano

Menecmo
La influencia platnica se transmiti de Eudoxo a los hermanos Menecmo y Dinostrato quienes se destacaron en la matemtica de la poca. Menecmo crea curvas cortando con planos un cono circular recto: las secciones cnicas. Utilizando estas ideas logr la solucin del problema de la duplicacin del cubo, que en trminos modernos fue resuelto as: el punto de interseccin (x, y) de dos parbolas x2 = 2y , y2 = 2x cumple con la proporcin a : x = x : y = y : 2a

Autlico de Pitania
Autlico de Pitania es el autor del tratado matemtico griego ms antiguo que ha sobrevivido: Sobre la esfera en movimiento, que trataba sobre temas astronmicos y que contiene algunos teoremas elementales sobre la esfera pero que nos revela que la geometra haba alcanzado en esa poca una forma precisa: los teoremas se formulan con claridad y se demuestran rigurosamente, entonces existieron en la Grecia clsica una tradicin slidamente establecida desde textos geomtricos.

En la Grecia antigua se distinguen dos campos bien definidos en la utilizacin de la lgica: uno es el de las matemticas, sealado anteriormente y asociable al Logos de Platn y que encuentra sus formas ms puras en el campo del pensamiento matemtico. El otro, ms asociado al buen uso de las palabras, tachado de retrico, no cesar de advertirle al primero acerca de la vaguedad de las palabras o el conocimiento incompleto de las cosas. Ambas escuelas aportaron en conjunto a la columna fundamental en la que se asienta el edificio matemtico moderno.

Escuela aristotlica
Aristteles planteaba el razonamiento a travs de Silogismos: todos los tringulos tienen tres lados Siendo as que esta figura tiene tres lados, entonces es un tringulo. Ms all de la estructura del silogismo aristotlico, lo interesante es que frases como es un tringulo o bien tiene tres lados no son simples frases sino proposiciones. Aristteles sostiene que si la lgica aparece indisociablemente ligada al lenguaje, no por ello se sita por debajo del nivel de estructura superior en todo caso distinto, es decir, en el campo de la significacin que llamamos hoy semntica.

Escuela aristotlica
No es fcil separar el nivel del lenguaje del de la semntica o la frase de la proposicin, lo cual va a hacer que la lgica quede en una maraa de cuestiones. Las proposiciones son los peones con que la lgica avanza, aquellos que combina, propone, compara, opone para lograr otras proposiciones. La lgica pone en un mismo plano de igualdad a lo verdadero y lo falso antes de darlo por resuelto lo que se basa en la famosa regla del tercero excluido: una proposicin es o bien verdadera o bien falsa. Esta proposicin constituye la piedra angular de la lgica

Escuela aristotlica
Tambin es el cuantificador de estas proposiciones universales y particulares: Todos los tringulos tienen tres lados Algunos tringulos tienen tres lados iguales que en la matemtica simblica moderna conocemos como cuantificadores universal (para todo) y existencial (existe) cuyas negaciones se realizan garantizando la existencia de uno solo que no cumpla o bien si ninguno de ellos cumple con la proposicin respectivamente.

Uno de los maestros reconocidos de la lgica es Crisipo de Soli (SIII aC) , ya que para evitar los silogismos pone de relieve maneras muy sencillas para combinar las proposiciones en forma ms manejable. Distingue el o exclusivo y el o inclusivo siendo el primero de ellos equivalente a o bien o bien digamos por ejemplo o bien es un tringulo, o bien es un cuadriltero mientras que el segundo acepta otras maneras estudio los ngulos interiores de tringulos o de rectngulos lo cual no plantea exclusividad porque ambas figuras tienen ngulos interiores.

La nocin de deduccin, tambin llamada inferencia lgica o implicacin que habitualmente representamos como a => b (Si a, entonces b) es la que permite construir un razonamiento utilizando la propiedad de transitividad: Si (a=> b y b => c), entonces a => c para arribar a una conclusin. Asociadas a ella existen las implicaciones recprocas y contra recprocas. Estas ltimas las caracterizamos como (no-a => no-b) y es equivalente a (a => b ) , es decir admiten los mismos valores de verdad.