Wat zijn de formele wetenschappen?
Een 'formele wetenschap' is een studiegebied dat formele systemen gebruikt om kennis te genereren. Wiskunde is het prototypische voorbeeld. Anderen omvatten logica, statistiek, informatietheorie en theoretische informatica. Hoewel er soms de vraag is gesteld of dit echt 'wetenschap' is - gezien het ontbreken van praktijkexperimenten - worden deze disciplines vaak toch al samengevoegd in de wetenschap. Ondanks het ontbreken van een empirische basis, worden de formele wetenschappen over het algemeen als uiterst belangrijk beschouwd, en inderdaad, de hele kwantitatieve wetenschap is hiervan afhankelijk. Het is een voortdurend debat over de vraag of de formele wetenschappen echte wetenschap zijn.
Wiskundeteksten ontstaan rond 1800 voor Christus in Mesopotamië, de locatie van Babylon, de grootste stad op aarde op dat moment. Het oorspronkelijke doel was om goederen te kwantificeren, zoals slaven of graan. Rond 600 voor Christus in China en in Griekenland in 400 voor Christus was de eerste ontwikkeling van logica, de expliciete analyse van redeneermethoden. In Griekenland waren de grote oude Griekse filosofen zoals Pythagoras, Socrates en Aristoteles, wiens intuïties en overtuigingen over logica en wetenschap de westerse wereld domineerden tot de moderne tijd, tot 17e-eeuwse armaturen zoals Pierre de Fermat, Blaise Pascal en Christiaan Huygens startte de ontwikkeling van wiskunde in zijn moderne vorm.
Informatietheorie, theoretische informatica en moderne (Bayesiaanse) statistieken dateren van Claude Shannon en Jon von Neumann in het midden van de 20e eeuw. Alan Turing leverde ook belangrijke bijdragen. De theorie rond computers, radiosignalering en antenne-ontwerp hangt allemaal af van de mijlpalen die deze denkers hebben bereikt. Deze gebieden zijn allemaal belangrijke onderdelen van de formele wetenschappen.
Na vele decennia van rommeligheid in experimentele methoden en analyses, zijn de "zachte wetenschappen" (sociale wetenschappen, politieke wetenschappen, enz.) Onlangs kwantitatiefer geworden, wat een fundamentele verandering in de manier waarop dingen worden gedaan inluidt. De psychologie is experimenteler geworden en veel van deze resultaten vegen de traditionele wijsheid van oudere denkers zoals Freud weg. Experimentele psychologie valt vaak onder de vlag van 'cognitieve psychologie'.
Theoretische fysica lijkt sterk afhankelijk van ontwikkelingen in de wiskunde om vooruitgang te boeken. Theoretische fysica gebruikt vaak de meest geavanceerde wiskunde van de dag en beschrijft de resultaten en voorspellingen in deze termen.