Hva er Formal Sciences?
En "formell vitenskap" er et studieretning som bruker formelle systemer for å generere kunnskap. Matematikk er det prototype eksempelet. Andre inkluderer logikk, statistikk, informasjonsteori og teoretisk informatikk. Selv om det noen ganger har blitt stilt spørsmål om hvorvidt disse virkelig er "vitenskap" eller ikke - med tanke på mangelen på virkelige eksperimenter i verden, blir disse fagområdene ofte slått sammen i vitenskapen likevel. Til tross for mangelen på et empirisk grunnlag, anses de formelle vitenskapene som ekstremt viktige, og faktisk er all kvantitativ vitenskap avhengig av dem. Det er en pågående debatt om hvorvidt de formelle vitenskapene er sann vitenskap eller ikke.
Matematikktekster dukker opp i eldgamle historie rundt 1800 f.Kr., i Mesopotamia, stedet for Babylon, den største byen på jorden på den tiden. Det opprinnelige formålet var å kvantifisere varer, for eksempel slaver eller korn. Rundt 600 f.Kr. i Kina og i Hellas i 400 f.Kr. var den første utviklingen av logikk, den eksplisitte analysen av resonnementmetoder. I Hellas var de store gamle greske filosofer som Pythagoras, Sokrates og Aristoteles, hvis intuisjoner og oppfatninger om logikk og vitenskap dominerte den vestlige verden frem til den moderne tid, inntil 1600-talls armaturer som Pierre de Fermat, Blaise Pascal og Christiaan Huygens kickstarted utviklingen av matematikk i sin moderne form.
Informasjonsteori, teoretisk informatikk og moderne (Bayesiansk) statistikk dateres til Claude Shannon og Jon von Neumann på midten av 1900-tallet. Alan Turing ga også viktige bidrag. Teorien rundt datamaskiner, radiosignalering og antennedesign er avhengig av milepælene oppnådd av disse tenkerne. Disse områdene er alle viktige deler av den formelle vitenskapen.
Etter mange tiår med messiness i eksperimentelle metoder og analyser, har nylig "myke vitenskaper" (samfunnsvitenskap, statsvitenskap, etc.) blitt mer kvantitativ, og antydet et grunnleggende skifte i måten ting gjøres på. Psykologi har blitt mer eksperimentell, og mange av disse resultatene feier bort den tradisjonelle visdommen til eldre tenkere som Freud. Eksperimentell psykologi faller ofte under banneret for "kognitiv psykologi."
Teoretisk fysikk virker veldig avhengig av utviklingen i matematikk for å komme videre. Teoretisk fysikk bruker ofte den mest avanserte tilgjengelige matematikken for dagen og beskriver dens resultater og spådommer i disse begrepene.