Limbajul matematic[modificare]

Matematica folosete un limbaj propriu. Anumii termeni din limbajul curent, cum ar fi grup, inel sau corp pot avea un neles diferit n limbajul matematic. Mai des ns, termenii sunt inventai i introdui n funcie de necesiti: izomorfism, topologie, iteraie, etc. Numrul relativ mare al termenilor noi sau cu neles schimbat face ca nelegerea matematicilor avansate de ctre nespecialiti s fie dificil. Limbajul matematic se bazeaz i pe formule. Acestea conin anumite simboluri, unele mprumutate din calculul propoziional, cum ar fi implicaia logic\Rightarrow sau operatorul pentru negaie\neg, altele n legtur cu calcul cu predicate (simbolurile pentru oricare ar fi \forall i exist \exists). Cea mai mare parte din notaiile folosite n prezent au fost introduse dup secolul al XVI-lea[13]. Motivul principal pentru care au fost introduse simbolurile i termenii noi l reprezint necesitatea exprimrii ct mai exacte a ideilor (o caracteristic comun tiinelor exacte, numit rigoare). Rigoarea este necesar pentru a evita teoremele false, generate de interpretri greite. Trebuie subliniat faptul c exist i un limbaj matematic (metalimbaj) ce descrie matematica nsi. Acest limbaj este logica.

Matematica privit ca tiin*modificare+

Carl Friedrich Gauss, pictur de C.A. Jensen Carl Friedrich Gauss, el nsui cunoscut ca prin al matematicii, numea matematica regin a tiinelor. n latin Regina Scientiarum, n german Knigin der Wissenschaften. Ambele expresii sunt legate de cuvntul tiin care nseamn (domeniu de) cunotine. ntr-adevr, n acest sens, nu exist ndoieli c matematica este o tiin. Restrngerea sensului de tiin doar la domenii specializate care studiaz natura nu mai este de actualitate. Dac ar fi considerate tiine doar acele domenii ale cunoaterii care se ocup strict de lumea fizic, atunci matematica, sau cel puin matematica pur, ar trebui s nu fie considerat o tiin. Albert Einstein spunea c atunci cnd legile matematicii se refer la realitate, ele nu sunt sigure iar cnd sunt sigure, ele nu se refer la realitate (as far as the laws of mathematics refer to reality, they are not certain; and as far as they are certain, they do not refer to reality) [14] Muli filozofi cred c, ne putnd fi demonstrat experimental, matematica nu poate fi o tiin dup definiia dat de Karl Popper. *15+ n anii 1930, lucrri importante de logic matematic au artat c

matematica nu poate fi redus la logic i Karl Popper a tras concluzia c cele mai multe teorii matematice sunt, ca i cele din fizic i biologie, deductive: ca urmare, matematica pur, n cele din urm, devine mult mai aproape de tiinele naturii ale cror ipoteze sunt presupuneri, aa cum s-a observat recent*16+. Ali gnditori, printre care Imre Lakatos, au afirmat c matematica nsi falsific realitatea. Un alt punct de vedere ar fi acela c anumite domenii tiinifice (cum ar fi fizica teoretic) sunt de fapt tiine matematice cu axiome care corespund realitii. Cercettorul n fizic teoretic J. M. Ziman a propus ca tiinele s fie considerate cunotine publice iar matematica s fie inclus ntre ele. n orice caz, matematica are multe pri comune cu tiinele fizice, folosindu-se de studiul logic al unor ipoteze. Intuiia i experimentele au, de asemenea, roluri importante n formularea ipotezelor, att n matematic, ct i n (alte) tiine. Matematica experimental continu s capete o importan tot mai mare ntre tiinele matematice, n acest sens, computerizarea i simularea jucnd roluri tot mai importante n tiine i n matematic, slbind astfel obieciile potrivit crora matematica nu ar utiliza metode tiinifice. n 2002, n cartea sa, A New Kind of Science, Stephen Wolfram susinea c matematica computaional merit s fie explorat empiric, ca orice domeniu tiinific cu toate atributele. Opiniile matematicienilor n aceast privin sunt diferite. Muli dintre ei cred c a denumi acest domeniu o tiin nseamn a-i reduce importana laturii sale estetice i a-i denatura istoria sa n cadrul celor 7 (apte) arte libere; alii, dimpotriv, susin c ignorarea interferenelor cu tiinele nseamn a vedea cu un singur ochi deoarece aplicaiile matematicii n tiine i inginerie au adus multe inovaii n matematic. ntr-un fel, aceste puncte de vedere diferite s-au transformat n dezbateri filosofice: dac matematica a fost i este creat (ca n art) sau descoperit (ca n tiin). A devenit un fapt obinuit s vezi universiti care au incluse secii de tiin i Matematic, artnd n acest fel c aceste dou domenii sunt privite ca fiind aliate dar nu identice. n practic, matematicile sunt n general grupate cu tiinele la nivele grosiere, dup care sunt separate pe parcursul specializrii. Aceasta este una din chestiunile care fac obiectul filosofiei matematicii. Premiile n matematic sunt n general inute separat de echivalentele lor din tiin. Cel mai prestigios premiu n matematic este Medalia Fields, stabilit n 1936 i acum acordat odat la 4 (patru) ani. Este adesea considerat, n mod eronat, echivalentul premiilor Nobel pentru tiine. Premiul Wolf pentru Matematic, instituit n 1978, recunoate realizrile pentru ntreaga via iar alt mare premiu internaional, Premiul Abel *17+, a fost introdus n 2003. Acestea sunt acordate pentru lucrri speciale, care pot fi inovaii sau rezolvri ale unor probleme remarcabile dintr-un domeniu anume. O faimoas list de 23 de probleme deschise de acest fel, numit Problemele lui Hilbert, a fost alctuit de matematicianul german David Hilbert n 1900. Aceast list a devenit celebr printre matematicieni i n cele din urm nou dintre ele au fost rezolvate. O list nou, intitulat Problemele pentru premiul mileniului", a fost publicat n 2000. Soluionarea fiecreia dintre ele aduce un premiu de 1 milion de dolari celui care o rezolv. Numai una dintre ele (Ipoteza lui Riemann) se regsete ntre problemele lui Hilbert.