¿Cuáles son las ciencias formales?
Una "ciencia formal" es un área de estudio que utiliza sistemas formales para generar conocimiento. Las matemáticas son el ejemplo prototípico. Otros incluyen lógica, estadísticas, teoría de la información y informática teórica. Aunque a veces se le ha cuestionado si estos son realmente "ciencias", considerando la falta de experimentos del mundo real, estas disciplinas a menudo se agrupan en la ciencia de todos modos. A pesar de su falta de base empírica, las ciencias formales generalmente se consideran extremadamente importantes y, de hecho, toda la ciencia cuantitativa depende de ellas. Es un debate continuo sobre si las ciencias formales son o no la ciencia verdadera.
Los textos de las matemáticas emergen en la historia antigua alrededor del 1800 a. C., en Mesopotamia, la ubicación de Babilonia, la ciudad más grande de la Tierra en ese momento. El propósito original era cuantificar bienes, como esclavos o grano. Alrededor de 600 aC en China y en Grecia en 400 aC fue el desarrollo inicial de la lógica, el análisis explícito de reasoMétodos de Ning. En Grecia estaban los grandes filósofos griegos antiguos como Pythágoras, Sócrates y Aristóteles, cuyas intuiciones y creencias sobre la lógica y la ciencia dominaron el mundo occidental hasta que la era moderna, hasta que las luminarias del siglo XVII como Pierre de Fermat, Blaise Pascal y Christiaan Huygens patearon el desarrollo de matemáticas en su forma moderna en su forma moderna.
Teoría de la información, informática teórica y estadísticas modernas (bayesianas) datan de Claude Shannon y Jon Von Neumann a mediados del siglo XX. Alan Turing también hizo importantes contribuciones. La teoría de las computadoras, la señalización de radio y el diseño de la antena dependen de los hitos logrados por estos pensadores. Estas áreas son todas partes importantes de las ciencias formales.
Después de muchas décadas de desorden en métodos y análisis experimentales, recientemente las "ciencias blandas" (ciencias sociales, ciencias políticas, etc.)se han vuelto más cuantitativos, anunciando un cambio fundamental en la forma en que se hacen las cosas. La psicología se ha vuelto más experimental, y muchos de estos resultados están barriendo la sabiduría tradicional de los pensadores mayores como Freud. La psicología experimental a menudo está bajo el estandarte de "psicología cognitiva".
La física teórica parece muy dependiente de los desarrollos en matemáticas para avanzar. La física teórica a menudo utiliza las matemáticas disponibles más avanzadas del día y describe sus resultados y predicciones en estos términos.