Științele exacte, cunoscute și sub numele de științe dure, științe pure sau științe fundamentale se bazează în totalitate pe observație și experimentare ca practici pentru a crea cunoștințe bazate pe limbajul matematic. Acestea sunt științe de înaltă precizie și rigoare, deoarece metoda științifică este utilizată în forma sa cea mai pură pentru a testa ipoteze folosind matematica ca vehicul pentru a face acest lucru.
Precizia și rigoarea sunt două dintre principalele caracteristici ale științelor exacte, o ramură în care cea mai riguroasă metodă științifică este utilizată pentru a testa ipotezele. Aceste științe caută irefutabilitatea postulatelor lor folosind predicții cuantificabile și obiective.
În cazul științelor exacte, se caută ca ipotezele și postulatele să fie irefutabile prin ecuații și operații matematice cuantificabile și obiective. Aceste principii fundamentale sunt cunoscute sub numele de axiome.
În prezent, așa cum a stabilit Rudolf Carnap, științele exacte sunt împărțite în științe formale (non-experimentale) și naturale (experimentale). Printre științele formale, găsim matematica, logica și logica formală. În științele naturii acestea sunt astronomie, biologie și fizică.
Științele exacte au pus bazele cunoașterii științifice încă de la origini. Deși acum este clar că nu toate cunoștințele pot fi cuantificate, din această premisă multe dintre legile, principiile și teoriile fundamentale care guvernează principiile de bază care au fost asumate de secole, cum ar fi gravitația.
Fiecare știință are propria sa dimensiune. Prin urmare, există științele sociale, științele sănătății, cele care se bazează pe probabilitate (de exemplu, meteorologie) sau cele care se ocupă de un anumit aspect al naturii (biologie, zoologie etc.). Una dintre cele mai relevante științe este matematica, numită și științe exacte. Termenul este folosit la plural deoarece matematica este alcătuită din ramuri diferențiate, cum ar fi algebra, aritmetica, geometria sau probabilitatea. Pe de altă parte, cuvântul exact este folosit deoarece diferitele domenii ale matematicii au ceva în comun: dovezile lor sunt neechivoce și incontestabile, adică exacte.
