Quais são as ciências formais?
Uma “ciência formal” é uma área de estudo que usa sistemas formais para gerar conhecimento. A matemática é o exemplo prototípico. Outros incluem lógica, estatística, teoria da informação e ciência da computação teórica. Embora às vezes tenha sido questionado se estes são realmente "científicos"-considerando a falta de experimentos do mundo real-essas disciplinas geralmente se agrupam na ciência de qualquer maneira. Apesar da falta de uma base empírica, as ciências formais são geralmente consideradas extremamente importantes e, de fato, toda a ciência quantitativa depende delas. É um debate em andamento se as ciências formais são ou não a verdadeira ciência.
Os textos de matemática emergem na história antiga por volta de 1800 aC, na Mesopotâmia, a localização da Babilônia, a maior cidade da Terra da época. O objetivo original era quantificar mercadorias, como escravos ou grãos. Cerca de 600 aC na China e na Grécia em 400 aC foi o desenvolvimento inicial da lógica, a análise explícita de reasoMétodos de Ning. Na Grécia, eram os grandes filósofos gregos antigos, como Pitágoras, Sócrates e Aristóteles, cujas intuições e crenças sobre lógica e ciência dominaram o mundo ocidental até a era moderna, até que os luminários do século XVII, como Pierre de Fermat, Pascal, e Christiaan Huygens.
Teoria da informação, ciência da computação teórica e estatísticas modernas (bayesianas) datam de Claude Shannon e Jon von Neumann em meados do século XX. Alan Turing também fez contribuições importantes. A teoria em torno de computadores, sinalização de rádio e design de antena dependem dos marcos alcançados por esses pensadores. Essas áreas são todas as partes importantes das ciências formais.
Depois de muitas décadas de confusão em métodos e análises experimentais, recentemente as “ciências do soft” (ciências sociais, ciências políticas etc.)Ficaram mais quantitativos, anunciando uma mudança fundamental na maneira como as coisas são feitas. A psicologia se tornou mais experimental e muitos desses resultados estão varrendo a sabedoria tradicional de pensadores mais velhos como Freud. A psicologia experimental geralmente se enquadra na bandeira da "psicologia cognitiva".
A física teórica parece altamente dependente dos desenvolvimentos em matemática para progredir. A física teórica geralmente usa a matemática disponível mais avançada do dia e descreve seus resultados e previsões nesses termos.