Hvad er de formelle videnskaber?

En "formel videnskab" er et studieområde, der bruger formelle systemer til at generere viden.Matematik er det prototype eksempel.Andre inkluderer logik, statistik, informationsteori og teoretisk datalogi.Selvom det undertiden er blevet stillet spørgsmålstegn ved, om disse virkelig er "videnskab"-i betragtning af manglen på eksperimenter i den virkelige verden-bliver disse discipliner ofte klumpet sammen i videnskaben alligevel.På trods af deres mangel på et empirisk grundlag betragtes de formelle videnskaber generelt som ekstremt vigtige, og faktisk afhænger al kvantitativ videnskab af dem.Det er en løbende debat om, hvorvidt de formelle videnskaber er ægte videnskab.

Matematiktekster dukker op i den gamle historie omkring 1800 f.Kr. i Mesopotamia, placeringen af Babylon, den største by på jorden på det tidspunkt.Det oprindelige formål var at kvantificere varer, såsom slaver eller korn.Cirka 600 f.Kr. i Kina og i Grækenland i 400 f.Kr. var den oprindelige udvikling af logik, den eksplicitte analyse af ræsonnemetoder.I Grækenland var de store gamle græske filosoffer som Pythagoras, Socrates og Aristoteles, hvis intuitioner og tro på logik og videnskab dominerede den vestlige verden indtil den moderne tid, indtil det 17. århundrede luminarier som Pierre de Fermat, Blaise Pascal og Christiaan HuygensKickstartede udviklingen af matematik i sin moderne form.

Informationsteori, teoretisk datalogi og moderne (Bayesiansk) statistik dato til Claude Shannon og Jon von Neumann i midten af det 20. århundrede.Alan Turing gav også vigtige bidrag.Teorien omkring computere, radiosignalering og antennedesign afhænger alle af de milepæle, der er opnået af disse tænkere.Disse områder er alle vigtige dele af de formelle videnskaber.

Efter mange årtier med rodethed i eksperimentelle metoder og analyse, for nylig ”bløde videnskaber” (samfundsvidenskab, statsvidenskab osv.) Er blevet mere kvantitativ, der er heraldet et grundlæggende skift iDen måde, tingene gøres på.Psykologi er blevet mere eksperimentel, og mange af disse resultater fejer den traditionelle visdom hos ældre tænkere som Freud.Eksperimentel psykologi falder ofte under banneret af "kognitiv psykologi."

Teoretisk fysik synes meget afhængig af udviklingen i matematik for at gøre fremskridt.Teoretisk fysik bruger ofte dagens mest avancerede tilgængelige matematik og beskriver dens resultater og forudsigelser i disse udtryk.