Wat zijn de formele wetenschappen?
Een "formele wetenschap" is een onderzoeksgebied dat formele systemen gebruikt om kennis te genereren. Wiskunde is het prototypische voorbeeld. Anderen omvatten logica, statistieken, informatietheorie en theoretische informatica. Hoewel het soms is gevraagd of dit al dan niet echt 'wetenschap' zijn-gezien het gebrek aan experimenten in de praktijk-worden deze disciplines toch vaak in de wetenschap samengevoegd. Ondanks hun gebrek aan empirische basis, worden de formele wetenschappen over het algemeen als uiterst belangrijk beschouwd, en inderdaad, alle kwantitatieve wetenschap hangt van hen af. Het is een voortdurend debat over de vraag of de formele wetenschappen ware wetenschap zijn. Het oorspronkelijke doel was om goederen te kwantificeren, zoals slaven of graan. Ongeveer 600 v.Chr. In China en in Griekenland in 400 voor Christus was de eerste ontwikkeling van de logica, de expliciete analyse van READONing -methoden. 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 de 17e -eeuwse armaturen zoals Pierre de Fermat, Blaise Pascal, en christelijke Huygens kickstart.
Informatietheorie, theoretische informatica en moderne (Bayesiaanse) statistieken dateren uit Claude Shannon en Jon von Neumann in het midden van de 20e eeuw. Alan Turing heeft ook belangrijke bijdragen geleverd. De theorie rond computers, radiosignalering en antenneontwerp hangen allemaal af van de mijlpalen die deze denkers hebben bereikt. Deze gebieden zijn allemaal belangrijke onderdelen van de formele wetenschappen.
Na vele decennia van rommel in experimentele methoden en analyse, recent de "zachte wetenschappen" (sociale wetenschappen, politieke wetenschappen, enz.)zijn gekwantitatiefer geworden en een fundamentele verschuiving in de manier waarop dingen worden gedaan inluiden. Psychologie is experimenteeler geworden en veel van deze resultaten zijn de traditionele wijsheid van oudere denkers zoals Freud weggevaagd. Experimentele psychologie valt vaak onder de banner van 'cognitieve psychologie'.
Theoretische fysica lijkt sterk afhankelijk van ontwikkelingen in de wiskunde om vooruitgang te boeken. Theoretische fysica gebruikt vaak de meest geavanceerde beschikbare wiskunde van de dag en beschrijft de resultaten en voorspellingen ervan in deze termen.