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, statistiche, teoria dell'informazione e informatica teorica.Sebbene a volte sia stato messo in discussione se questi siano veramente "scienza"-considerando la mancanza di esperimenti nel mondo reale-queste discipline spesso vengono comunque raggruppate 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.È un dibattito in corso sul fatto che le scienze formali siano o meno la vera scienza.
testi matematici emergono nella storia antica intorno al 1800 a.C., in Mesopotamia, la posizione di Babilonia, la più grande città della Terra al momento.Lo scopo originale era quantificare la merce, come schiavi o grano.Circa il 600 a.C. in Cina e in Grecia nel 400 a.C. era lo sviluppo iniziale della logica, l'analisi esplicita dei metodi di ragionamento.In Grecia c'erano i grandi antichi filosofi greci come Pitagora, Socrate e Aristotele, le cui intuizioni e credenze sulla logica e la scienza hanno dominato il mondo occidentale fino all'era moderna, fino ai luminari del 17 ° secolo come Pierre de Fermat, Blaise Pasc e Christian Huygensha dato il via allo sviluppo della matematica nella sua forma moderna.
teoria dell'informazione, informatica teorica e statistiche moderne (bayesiane) data a Claude Shannon e Jon von Neumann a metà del XX secolo.Anche Alan Turing ha dato un contributo importante.La teoria sui computer, la segnalazione radio e il design dell'antenna dipendono dalle pietre miliari raggiunte da questi pensatori.Queste aree sono tutte parti importanti delle scienze formali. Dopo molti decenni di disordine nei metodi e nell'analisi sperimentali, recentemente le "scienze soft" (scienze sociali, scienze politiche, ecc.) Hanno ottenuto più quantitativi, annunciando un cambiamento fondamentale inIl 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 rientra spesso sotto lo stendardo della "psicologia cognitiva". La fisica teorica sembra fortemente dipendente dagli sviluppi in matematica per fare progressi.La fisica teorica utilizza spesso la matematica disponibile più avanzata del giorno e ne descrive i risultati e le previsioni in questi termini.