Quelles sont les sciences formelles?
Une «science formelle» est un domaine d'étude qui utilise des systèmes formels pour générer des connaissances.Les mathématiques sont l'exemple prototypique.D'autres incluent la logique, les statistiques, la théorie de l'information et l'informatique théorique.Bien qu'il ait parfois été demandé s'il s'agissait ou non d'une «science» - compte tenu du manque d'expériences du monde réel - ces disciplines sont souvent en train de se développer dans la science de toute façon.Malgré leur manque de base empirique, les sciences formelles sont généralement considérées comme extrêmement importantes, et en effet, toute la science quantitative en dépend.Il s'agit d'un débat continu pour savoir si les sciences formelles sont ou non la véritable science.
Les textes mathématiques émergent dans l'histoire ancienne vers 1800 avant JC, en Mésopotamie, l'emplacement de Babylon, la plus grande ville de la terre à l'époque.Le but initial était de quantifier des marchandises, comme les esclaves ou les céréales.Environ 600 avant JC en Chine et en Grèce en 400 avant JC était le développement initial de la logique, l'analyse explicite des méthodes de raisonnement.En Grèce, les grands philosophes grecs anciens tels que Pythagoras, Socrate et Aristote, dont les intuitions et les croyances sur la logique et la science ont dominé le monde occidental jusqu'à l'ère moderne, jusqu'aux luminaires du XVIIe siècle tels que Pierre de Fermat, Blaise Pascal et Christiaan Huygensa lancé le développement des mathématiques sous sa forme moderne.
La théorie de l'information, l'informatique théorique et les statistiques modernes (bayésien) datent de Claude Shannon et Jon von Neumann au milieu du 20e siècle.Alan Turing a également apporté des contributions importantes.La théorie autour des ordinateurs, de la signalisation radio et de la conception d'antennes dépendent toutes des étapes atteintes par ces penseurs.Ces domaines sont tous des éléments importants des sciences formelles.
Après de nombreuses décennies de désordre dans les méthodes et analyses expérimentales, les «sciences douces» (sciences sociales, sciences politiques, etc.) sont devenues plus quantitatives, annonçant un changement fondamental dansla façon dont les choses sont faites.La psychologie est devenue plus expérimentale, et bon nombre de ces résultats balayent la sagesse traditionnelle des penseurs plus âgés comme Freud.La psychologie expérimentale relève souvent de la bannière de la «psychologie cognitive».
La physique théorique semble fortement dépendante des développements en mathématiques pour progresser.La physique théorique utilise souvent les mathématiques les plus avancées disponibles de l'époque et décrit ses résultats et ses prédictions en ces termes.