Matemátiques pures

Les **matemátiques pures** refierse informalmente al estudiu de les matemátiques, *in se* y *per se*, esto ye, ‘por sigo mesmes’ y ‘en cuantes que tales’, ensin referencia a les aplicaciones práutiques que pudieren derivase o a les que pudieren aplicase.

Col mesmu algame, suélense tamién utilizar les denominaciones de **matemátiques especulatives**, **fundamentales** o **astractes**. Estes nociones se contraponen tradicionalmente a la de la matemática aplicada, que se focaliza principalmente nel emplegu de preseos matemáticos en disciplines de diversos órdenes, que cubren tantu les ciencies naturales como la economía y otres ciencies sociales, según el so usu n'inxeniería y en tou tipu d'aplicaciones teunolóxiques.

## La rellación ente matemátiques pures y aplicaes
Destacóse qu'esisten cañes matemátiques onde prevalecen los aspeutos puros», o respectu de les que nun s'atoparon inda aplicaciones práutiques, pero nada esclúi que tal cosa asoceda nel futuru. Al respeutu, dicía **[[Nikolái Lobachevski]]** (1792-1856):

 

La hestoria confirmó la figuración de Lobachevski. Asina, por casu, la teoría de los númberos, que mientres sieglos tuvo un calter puramente especulativu, llegó a tal puntu que Godfrey Harold Hardy felicitar de qu'esistiera «siquier una ciencia que comoquier que sía atopar por sigo mesma tan alloñada de l'actividá humana ordinaria que se va caltener llimpia y xentil».
Pero arriendes de los trabayos de Ronald Rivest, Adi Shamir y Leonard Adleman la teoría de los númberos atopó una decisiva y insospechada aplicación en criptografía, y cola descripción del algoritmu RSA popularizóse, al traviés d'Internet, l'usu de la criptografía asimétrica, o por clave pública.

Inversamente, cualquier caña, o inclusive cualquier problema matemáticu, puede encetase privilexando un enfoque puramente matemáticu o formal, ensin referencia dalguna a la eventual aplicación que pueda faese o del so venceyu con «la realidá tanxible. Un exemplu clásicu al respeutu ye'l del analís matemáticu, inventáu simultáneamente por Isaac Newton y Gottfried Leibniz, y dende entós utilizáu fructuosamente na física, que la so formalización foi llograda rigorosa y abstractamente por Karl Weierstrass (1815-1897) nel sieglu XIX. 

Nun esiste un consensu xeneral ente los matemáticos respeuto les fronteres que dixebren claramente lo «puro» y lo «aplicao»; un alderique al respeutu foi publicáu por Hardy. Pa esti autor, la matemática aplicada busca espresar verdaes físiques dientro d'un marcu matemáticu, ente que les matemátiques pures busquen espresar verdaes independientes del mundu físicu. Pa Hardy, la matemática pura ye la verdadera matemática, qu'ostenta un valor estéticu permanente, una guapura intrínseca que la faen comparable a la pintura o a la poesía.

Cola espresión *matemática pura* y los sos equivalentes desígnase, más qu'una caña de les matemátiques (como podríen ser la álxebra, la xeometría, l'analís, etc.), una modalidá d'encetar l'estudiu de les mesmes. Dende un puntu de vista práuticu y históricu, dambes pueden caractizarse como enfoques complementaries que s'inspiren mutuamente

## Reseña histórica
Magar los estudiosos percibieron dambos aspeutos dende tiempos inmemoriales, nun principiu l'interés de les matemátiques taba dau fundamentalmente pol usu práuticu que podía faese de les mesmes, esto ye, el desenvolvimientu de téuniques de cálculu pa resolver problemes concretos de midíes o amestaos al comerciu, lo que nun riquir en sí mesmu un grau eleváu d'astracción.

La llocución *matemátiques pures* (*pure mathematics*) acuñar a mediaos del sieglu XIX na cátedra de matemática fundada orixinariamente por Lady Mary Sadlier na Universidá de Cambridge, Inglaterra.

Dende fines del sieglu XIX fíxose evidente qu'un eleváu grau d'astracción yera aparente, y entá más, necesariu, p'apurrir ferramientes cada vez más poderoses pal manexu y la solución de problemes reales complexos.

## Definición formal
Los intentos de formalizar el conceutu *matemática pura* tán emparentaos coles nociones de *[[axiomatización]]* y el criteriu de prueba rigorosa. Acordies cola escuela del grupu Bourbaki, la matemática pura rellacionar con *lo que ta probáu*.

Nel más altu nivel d'astracción posible, Bertrand Russell propón una definición formal xeneral, que según esti autor toma tou tipu de matemática que na historia de les matemátiques o nel futuru pueda caracterizase como «pura»:

Convién amestar que pa Bertrand Russell la matemática derivar de la lóxica.

## Ver tamién
* Fundamentos de les matemátiques
* Matemática inversa
* Axiomatización
* Teoría de categoríes

## Referencies