Quali sono le scienze formali?
Una "scienza formale" è un'area di studio che utilizza sistemi formali per generare conoscenza. La matematica è l'esempio prototipico. Altri includono logica, statistica, teoria dell'informazione e informatica teorica. Anche se a volte è stato messo in dubbio se si tratta veramente di "scienza" - considerando la mancanza di esperimenti nel mondo reale, queste discipline spesso vengono comunque coinvolte nella scienza. Nonostante la loro mancanza di una base empirica, le scienze formali sono generalmente considerate estremamente importanti e, in effetti, tutta la scienza quantitativa dipende da loro. È in corso un dibattito sul fatto che le scienze formali siano o meno una vera scienza.
I testi matematici emergono nella storia antica intorno al 1800 a.C., in Mesopotamia, la posizione di Babilonia, la più grande città sulla Terra dell'epoca. Lo scopo originale era di quantificare merci, come schiavi o grano. Intorno al 600 a.C. in Cina e in Grecia nel 400 a.C. fu lo sviluppo iniziale della logica, l'analisi esplicita dei metodi di ragionamento. In Grecia c'erano i grandi filosofi greci antichi come Pitagora, Socrate e Aristotele, le cui intuizioni e credenze sulla logica e sulla scienza hanno dominato il mondo occidentale fino all'era moderna, fino ai luminari del 17 ° secolo come Pierre de Fermat, Blaise Pascal e Christiaan Huygens ha dato il via allo sviluppo della matematica nella sua forma moderna.
La teoria dell'informazione, l'informatica teorica e le statistiche moderne (bayesiane) risalgono a Claude Shannon e Jon von Neumann a metà del XX secolo. Anche Alan Turing ha dato importanti contributi. La teoria su computer, segnalazioni radio e progettazione di antenne dipende tutto dalle pietre miliari raggiunte da questi pensatori. Queste aree sono tutte parti importanti delle scienze formali.
Dopo molti decenni di confusione nei metodi e nelle analisi sperimentali, recentemente le "scienze leggere" (scienze sociali, scienze politiche, ecc.) Sono diventate più quantitative, annunciando un cambiamento fondamentale nel modo in cui le cose vengono fatte. La psicologia è diventata più sperimentale e molti di questi risultati stanno spazzando via la saggezza tradizionale dei pensatori più anziani come Freud. La psicologia sperimentale spesso rientra nella bandiera della "psicologia cognitiva".
La fisica teorica sembra fortemente dipendente dagli sviluppi in matematica per fare progressi. La fisica teorica usa spesso la matematica disponibile più avanzata del giorno e descrive i suoi risultati e le sue previsioni in questi termini.