Matemticas puras

Por Matemticas Puras se entiende, informalmente, el estudio de las matemticas, in

se y per se, es decir, por s mismas y en tanto que tales, sin referencia a las
aplicaciones prcticas que pudieran derivarse o a las que pudieran aplicarse.
Con el mismo alcance, se suelen tambin utilizar las denominaciones de matemticas
especulativas, fundamentales o abstractas. Estas nociones se contraponen
tradicionalmente a la de la matemtica aplicada, que se focaliza principalmente en el
empleo de instrumentos matemticos en disciplinas de diversos rdenes, que cubren
tanto las ciencias naturales como la economa y otras ciencias sociales, as como su
utilizacin en in!eniera y en todo tipo de aplicaciones tecnol!icas.
ndice
" #a relacin entre matemticas puras y aplicadas
$ %ese&a 'istrica
( )efinicin formal
* %eferencias
La relacin entre matemticas puras y aplicadas
+e 'a destacado que e,isten ramas matemticas donde prevalecen los aspectos -puros.,
o respecto de las que no se 'ayan encontrado todava aplicaciones prcticas, pero nada
e,cluye que tal cosa suceda en el futuro. /l respecto, deca Nikoli Lobachevski
0"12$3"45678
9o e,iste rama al!una de las matemticas, por abstracta que sea, que no pueda al!:n da
ser aplicada a fenmenos del mundo real.
0There is no branch of mathematics, however abstract, which may not someday be
applied to the phenomena of the real world.7
"
#a 'istoria confirm el presentimiento de #obac'evs;i. /s, por e<emplo, la teora de los
n:meros, que durante si!los tuvo un carcter puramente especultativo, lle! a tal punto
que =odfrey >arold >ardy se felicitaba de que e,istiera -al menos una ciencia que de
cualquier manera que sea se encuentra por s misma tan ale<ada de la actividad 'umana
ordinaria que se conservar limpia y !entil..
$
Pero a raiz de los traba<os de %onald
%ivest, /di +'amir y #eonard /dleman la teora de los n:meros encontr una decisiva e
insospec'ada aplicacin en cripto!rafa, y con la descripcin del al!oritmo %+/ se
populariz, a travs de ?nternet, la utilizacin de la cripto!rafa asimtrica, o por clave
p:blica.
?nversamente, cualquier rama, o incluso cualquier problema matemtico, puede
abordarse privile!iando un enfoque puramente matemtico o formal, sin referencia
al!una a la eventual aplicacin que pueda 'acerse o de su vnculo con -la realidad.
tan!ible. @n e<emplo clsico al respecto es el del anlisis matemtico, inventado
simultneamente por ?saac 9eAton y =ottfried #eibniz, y desde entonces utilizado
fructuosamente en la fsica, cuya formalizacin fue lo!rada ri!urosa y abstractamente
por Barl Ceierstrass 0"4"53"4217 en el si!lo D?D.
9o e,iste un consenso !eneral entre los matemticos respecto las fronteras que separan
claramente lo -puro. y lo -aplicado.E un debate al respecto fue publicado por >ardy.
(

Para este autor, la matemtica aplicada busca e,presar verdades fsicas dentro de un
marco matemtico, mientras que las matemticas puras buscan e,presar verdades
independientes del mundo fsico. Para >ardy, la matemtica pura es la verdadera
matemtica, que ostenta un valor esttico permanente, una belleza intrnseca que la
'acen comparable a la pintura o a la poesa.
Con la e,presin matemtica pura y sus equivalentes se desi!na, ms que una rama de
las matemticas 0como podran ser el l!ebra, la !eometra, el anlisis, etc.7, una
modalidad de abordar el estudio de las mismas. )esde un punto de vista prctico e
'istrico, ambas pueden caractizarse como enfoques complementarias que se inspiran
mutuamente
Resea histrica
+i bien los estudiosos percibieron ambos aspectos desde tiempos inmemoriales, en un
principio el inters de las matemticas estaba dado fundamentalmente por el uso
prctico que poda 'acerce de las mismas, es decir, el desarrollo de tcnicas de clculo
para resolver problemas concretos de mediciones o li!ados al comercio, lo que no
requera en s mismo un !rado elevado de abstraccin.
#a locucin matemticas puras 0pure mathematics7 se acu& a mediados del si!lo D?D
en la ctedra de matemtica fundada ori!inariamente por #ady Fary +adlier en la
@niversidad de Cambrid!e, ?n!laterra.
)esde fines del si!lo D?D se 'izo evidente que un elevado !rado de abstraccin era
idneo, y ms a:n, necesario, para proporcionar 'erramientas cada vez ms poderosas
para el mane<o y la solucin de problemas reales comple<os.
Definicin formal
#os intentos de formalizar el concepto matemtica pura estn emparentados con las
nociones de axiomatizacin y el criterio de prueba ri!urosa. )e acuerdo con la escuela
del !rupo Gourba;i, la matemtica pura se relaciona con lo que est probado.
En el ms alto nivel de abstraccin posible, Gertrand %ussell propone una definicin
formal !eneral, que se!:n este autor abarca todo tipo de matemtica que en la 'istoria
de las matemticas o en el futuro pueda caracterizarse como -pura.8
#a matemtica pura es la clase de todas las proposiciones de la forma p implica q,
donde p y q son proposiciones que contienen una o ms variables, idnticas en ambas
proposiciones, y ni p y ni q contienen constantes otras que l!icas. #as constantes
l!icas, por su parte, son nociones definibles en los trminos si!uientes8 la implicacin,
que es la relacin de un trmino respecto de una clase de la cual es miembro, la nocin
de manera tal que 0such that7, la nocin de relacin y nociones de ese tipo que pueden
ser cubiertas por la nocin !eneral de proposiciones de la forma referida. /dems de los
mencionados, la matemtica utiliza una nocin que no es parte constituyente de las
proposiciones que considera, especficamente, la nocin de verdad.
*
Conviene a!re!ar que para Gertrand %ussel la matemtica se deriva de la l!ica.
Referencias
". H citado por Fat'ematical Fa,ims and Finims 0%alei!' 9 C "2447.
$. H =.>.>ardyE Mathematician's polo!y, citado por 9eal Bobliz y el
artculo de este :ltimo en The "nease #elationship between Mathematics and
$rypto!raphy, enlace en I"J
(. H =.>. >ardy, Mathematician's polo!y.
*. H Gertrand %ussel, %rincipia Mathematica, Par!rafo ?, Cap.? , ver
enlace y te,to en in!ls en I$J
Matemticas aplicadas
0%ediri!ido desde -Fatemtica aplicada.7
+altar a8 nave!acin, b:squeda
El trmino matemticas aplicadas se refiere a todos aquellos mtodos y 'erramientas
matemticas que pueden ser utilizados en el anlisis o resolucin de problemas
pertenecientes al rea de las ciencias bsicas o aplicadas.
Fuc'os mtodos matemticos 'an resultado efectivos en el estudio de problemas en
fsica, qumica, biolo!a, medicina, ciencias sociales, administracin, in!eniera,
economa, finanzas, ecolo!a entre otras.
+in embar!o una posible diferencia es que en matemticas aplicadas se procura el
desarrollo de las matemticas K'acia afueraK, es decir su aplicacin o transferencia 'acia
el resto de las reas. L en menor !rado K'acia dentroK o sea, 'acia el desarrollo de las
matemticas mismas. Este :ltimo sera el caso de las matemticas puras o matemticas
elementales.
#as matemticas aplicadas son usadas frecuentemente en distintas reas tecnol!icas
para modelado, simulacin y optimizacin de procesos o fenmenos, como el t:nel de
viento o el dise&o de e,perimentos.
Mreas de las matemticas con frecuentes aplicaciones8
Clculo.
Ml!ebra lineal.
Neora de probabilidad.
Estadstica matemtica.
?nvesti!acin de operaciones.
Ecuaciones diferenciales.
/nlisis comple<o O Pariable comple<a.
/nlisis de Qourier.
+istemas dinmicos.
Neora de control.
Rptimizacin.
Fatemtica discreta.
/nlisis funcional.
'ttp8OOes.Ai;ipedia.or!OAi;iO/nSC(S/"lisisTreal
+e incluyen como parte central las matemticas aplicadas el anlisis numrico y la
computacin cientfica.
nlaces e!ternos
+ociedad Espa&ola de Fatemtica /plicada
?nternational Council for ?ndustrial and /pplied Fat'ematics 0en in!ls7
'ttp8OOAAA.sectormatematica.cl
Matemtica elemental
#a matemtica elemental consiste en varios tpicos de matemticas frecuentemente
ense&ados durante la educacin primaria o secundaria. #os temas ms bsicos de la
matemtica elemental son la aritmtica y la !eometra. )esde las :ltimas dcadas del
si!lo DD, se 'a ido incrementando el nfasis en las estadsticas y en la resolucin de
problemas.
"
En la educacin secundaria, los principales tpicos son el l!ebra y tri!onometra. El
clculo, aunque es usualmente ense&ado a estudiantes de educacin secundaria
avanzada, usualmente se considera de un nivel matemtico para la educacin superior.
$
Escuelas Matemticas
Logicismo
Esta escuela tiene sus origenes en el siglo XX como flosofa analitica, y
plantea que las Matemticas como una extencin de la Lgica => Las
Matemticas son reducibles a la Lgica.
rincipal expocitor !ottlob "rege => #ertran $ussell => arado%a de $ussell
=> &l'red (ort)
La 'amosa parado%a de $ussell plantea una inconsistecia en la *eoria de
+on%untos de +antor y "rege
Formalismo
Escuela basada en la flosofa de las Matemticas que plantea que estas
pueden contruirse de la siguiente 'orma,
&xiomas => *eoremas => Matemticas
El principal representante de esta escuela es -a.id /ilbert 'amoso por sus
01 problemas presentados en la con.encin de 2344.
Intuicionismo
*odo ob%eto matemtico es producto de la mente )umana, por ende la
existencia de un ob%eto es equi.alente a la posibilidad de su construccin.
La 'alsedad no implica un prueba constructi.a de existencia, para esta
escuela la .alide5 de un argumente implica la existencia de una prueba.
-ado el )ec)o de como desarrollan su escuela los seguidores de esta
escuela no contemplan la existencia del infnito.
L.E.6. #rou7er, 8tep)en +ole y Mic)el -omet son los principales seguidores
de esta escuela.