Hva er de formelle vitenskapene?
En "formell vitenskap" er et studieområde som bruker formelle systemer for å generere kunnskap. Matematikk er det prototypiske eksemplet. Andre inkluderer logikk, statistikk, informasjonsteori og teoretisk informatikk. Selv om det noen ganger har blitt stilt spørsmål ved om disse virkelig er "vitenskap"-med tanke på mangelen på eksperimenter i den virkelige verden-blir disse fagområdene ofte klumpet inn i vitenskapen uansett. Til tross for deres mangel på et empirisk grunnlag, anses de formelle vitenskapene generelt som ekstremt viktige, og faktisk avhenger all kvantitativ vitenskap av dem. Det er en pågående debatt om hvorvidt de formelle vitenskapene er ekte vitenskap eller ikke.
Matematikkekster dukker opp i eldgamle historie rundt 1800 f.Kr., i Mesopotamia, beliggenheten til 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 logikken, den eksplisitte analysen av ReasoNing -metoder. I Hellas var de store gamle greske filosofer som Pythagoras, Sokrates og Aristotel
Informasjonsteori, teoretisk datavitenskap og moderne (Bayesian) statistikk er 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 alle avhengige av milepælene oppnådd av disse tenkerne. Disse områdene er alle viktige deler av de formelle vitenskapene.
Etter mange tiår med rotete i eksperimentelle metoder og analyser, nylig "Soft Sciences" (samfunnsvitenskap, statsvitenskap, etc.)har fått mer kvantitativt, og inngir 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 av "kognitiv psykologi."
Teoretisk fysikk virker veldig avhengig av utviklingen i matematikk for å gjøre fremskritt. Teoretisk fysikk bruker ofte dagens mest avanserte tilgjengelige matematikk og beskriver resultatene og spådommene i disse begrepene.