„Oficialus mokslas“ yra studijų sritis, kuri naudoja formalias sistemas žinioms generuoti. Matematika yra prototipinis pavyzdys. Kiti apima logiką, statistiką, informacijos teoriją ir teorinį kompiuterių mokslą. Nors kartais kyla abejonių, ar tai tikrai „mokslas“, ar ne, atsižvelgiant į tai, kad nėra eksperimentų su realybe, šios disciplinos vis tiek dažnai patenka į mokslą. Nepaisant to, kad jiems trūksta empirinio pagrindo, formalieji mokslai paprastai laikomi itin svarbiais ir iš tikrųjų nuo jų priklauso visas kiekybinis mokslas. Tai nuolatinė diskusija, ar formalūs mokslai yra tikras mokslas.
Matematikos tekstai atsirado senovės istorijoje apie 1800 m. pr. Kr., Mesopotamijoje, Babilono, tuo metu didžiausio miesto Žemėje, vietoje. Pradinis tikslas buvo kiekybiškai įvertinti prekes, tokias kaip vergai ar grūdai. Maždaug 600 m. pr. Kr. Kinijoje ir Graikijoje 400 m. pr. Kr. buvo pradinė logikos plėtra, aiški samprotavimo metodų analizė. Graikijoje buvo puikūs senovės graikų filosofai, tokie kaip Pitagoras, Sokratas ir Aristotelis, kurių intuicijos ir įsitikinimai apie logiką ir mokslą dominavo Vakarų pasaulyje iki pat šiuolaikinės eros, iki XVII amžiaus šviesuolių, tokių kaip Pierre’as de Fermat, Blaise’as Pascalis ir Christianas Huygensas. paspartino matematikos raidą jos šiuolaikine forma.
Informacijos teorija, teorinė informatika ir šiuolaikinė (Bajeso) statistika datuojami Claude’u Shannonu ir Jonu von Neumannu XX amžiaus viduryje. Alanas Turingas taip pat daug prisidėjo. Teorija apie kompiuterius, radijo signalizaciją ir antenų dizainą priklauso nuo šių mąstytojų pasiektų etapų. Visos šios sritys yra svarbios formaliųjų mokslų dalys.
Po daugelio dešimtmečių netvarkingų eksperimentinių metodų ir analizės, pastaruoju metu „minkštieji mokslai“ (socialiniai mokslai, politikos mokslai ir kt.) tapo kiekybiškesni, skelbdami esminį pokytį, kaip viskas daroma. Psichologija tapo labiau eksperimentinė, ir daugelis šių rezultatų nušluoja tradicinę vyresnių mąstytojų, tokių kaip Freudas, išmintį. Eksperimentinė psichologija dažnai patenka į „kognityvinės psichologijos“ vėliavą.
Atrodo, kad teorinė fizika labai priklauso nuo matematikos raidos, kad padarytų pažangą. Teorinėje fizikoje dažnai naudojama pažangiausia šiandieninė matematika ir jos rezultatai bei prognozės aprašomi šiais terminais.