Vilka är de formella vetenskaperna?
En ”formell vetenskap” är ett studieområde som använder formella system för att generera kunskap. Matematik är det prototypiska exemplet. Andra inkluderar logik, statistik, informationsteori och teoretisk datavetenskap. Även om det ibland har ifrågasatts om huruvida dessa verkligen är "vetenskap" eller inte - med tanke på bristen på verkliga experiment, blir dessa discipliner ofta ihop med vetenskapen. Trots sin brist på en empirisk grund anses de formella vetenskaperna i allmänhet vara oerhört viktiga, och all kvantitativ vetenskap beror faktiskt på dem. Det är en pågående debatt om huruvida de formella vetenskaperna är sann vetenskap eller inte.
Matematikstexter dyker upp i forntida historia omkring 1800 f.Kr. i Mesopotamia, platsen för Babylon, den största staden på jorden vid den tiden. Det ursprungliga syftet var att kvantifiera varor, till exempel slavar eller spannmål. Cirka 600 f.Kr. i Kina och i Grekland 400 f.Kr. var den första utvecklingen av logik, den explicita analysen av resonemetoder. I Grekland fanns de stora antika grekiska filosoferna som Pythagoras, Sokrates och Aristoteles, vars intuitioner och övertygelser om logik och vetenskap dominerade den västra världen fram till modern tid, fram till 1600-talets armaturer som Pierre de Fermat, Blaise Pascal och Christiaan Huygens kickstartade utvecklingen av matematik i sin moderna form.
Informationsteori, teoretisk datavetenskap och modern (Bayesiansk) statistik går till Claude Shannon och Jon von Neumann i mitten av 1900-talet. Alan Turing gav också viktiga bidrag. Teorin kring datorer, radiosignaler och antenndesign beror alla på de milstolpar som uppnås av dessa tänkare. Dessa områden är alla viktiga delar av formvetenskapen.
Efter många decennier av rörelse i experimentella metoder och analys har nyligen "mjuka vetenskaper" (samhällsvetenskap, statsvetenskap osv.) Blivit mer kvantitativa, vilket innebär en grundläggande förändring i hur saker och ting görs. Psykologin har blivit mer experimentell, och många av dessa resultat sopar bort den traditionella visdomen hos äldre tänkare som Freud. Experimentalpsykologi faller ofta under banan för "kognitiv psykologi."
Teoretisk fysik verkar mycket beroende av utvecklingen i matematik för att göra framsteg. Teoretisk fysik använder ofta dagens mest avancerade matematik och beskriver dess resultat och förutsägelser i dessa termer.