Esto también se
refiere a una ciencia que recurre a experimentos o situaciones preescogidas y controladas
en las que el resultado en esas condiciones no es conocido. En su mayoría, las ciencias
naturales son además ciencias experimentales, aunque en general la astronomía no se
considera una ciencia experimental, ya que en la mayoría de los casos no es posible
escoger de antemano las condiciones de movimiento de los astros. Muchas ciencias
sociales pueden recurrir a experimentos: por ejemplo, las ciencias cognitivas y
la psicología frecuentemente recurren a sujetos en laboratorio que responden ante
situaciones preparadas. Ciencia experimental es la ciencia que realiza experimentos con el
fin de encontrar razón o cualquier modo de explicar o de hallar fenómenos físicos.
Ejemplos de ciencias formales son las matemáticas, la lógica y las ciencias de la computación.
Las ciencias formales son las ramas de la ciencia que estudian sistemas formales. Las ciencias
formales validan sus teorías con base en proposiciones, definiciones, axiomas y reglas de
inferencia. Todas ellas son analíticas, a diferencia de las ciencias sociales y las ciencias
naturales, que se argumentan de manera empírica; es decir, observando el mundo real para
encontrar más o menos evidencia a favor de una hipótesis. Los conocimientos de la ciencia
formal suelen llamarse "teoremas", que a su vez provienen de demostraciones matemáticas.
Índice
1 Ejemplos
1.1 Matemáticas
1.2 Lógica
2 Véase también
3 Referencias
Ejemplos
Matemáticas
Un ábaco, instrumento que sirve para efectuar operaciones aritméticas sencillas (sumas, restas
y también multiplicaciones), y que fue muy utilizado en otros tiempos.
Euclides (sosteniendo los calibradores), matemático griego, siglo III AC, según lo imaginado por
Rafael Sanzio en este detalle de La escuela de Atenas.2
Las matemáticas o la matemática3 (del latín mathematĭca, y este del griego μαθηματικά,
derivado de μάθημα, ‘conocimiento’) es una ciencia formal que, partiendo de axiomas y
siguiendo el razonamiento lógico, estudia las propiedades y relaciones entre entidades
abstractas como números, figuras geométricas o símbolos matemáticos.
La matemática en realidad es un conjunto de lenguajes formales que pueden ser usados como
herramienta para plantear problemas de manera no ambigua en contextos específicos. Por
ejemplo, el siguiente enunciado podemos decirlo de dos formas: X es mayor que Y e Y es
mayor que Z, o forma simplificada podemos decir que X > Y > Z. Este es el motivo por el cual las
matemáticas son tan solo un lenguaje simplificado con una herramienta para cada problema
específico (por ejemplo 2+2= 4, o 2x2= 4).
Las ciencias naturales han hecho un uso extensivo de las matemáticas para explicar diversos
fenómenos observables, tal como lo expresó Eugene Paul Wigner (Premio Nobel de Física en
1963):4
La enorme utilidad de las matemáticas en las ciencias naturales es algo que roza lo misterioso,
y no hay explicación para ello. No es en absoluto natural que existan “leyes de la naturaleza”, y
mucho menos que el hombre sea capaz de descubrirlas. El milagro de lo apropiado que resulta
el lenguaje de las matemáticas para la formulación de las leyes de la física es un regalo
maravilloso que no comprendemos ni nos merecemos.
Las explicaciones que se apoyaban en la lógica aparecieron por primera vez con la matemática
helénica, especialmente con los Elementos de Euclides. Las matemáticas siguieron
desarrollándose, con continuas interrupciones, hasta que en el Renacimiento las innovaciones
matemáticas interactuaron con los nuevos descubrimientos científicos. Como consecuencia,
hubo una aceleración en la investigación que continúa hasta la actualidad.
Hoy en día, las matemáticas se usan en todo el mundo como una herramienta esencial en
muchos campos, entre los que se encuentran las ciencias naturales, la ingeniería, la medicina y
las ciencias sociales, e incluso disciplinas que, aparentemente, no están vinculadas con ella,
como la música (por ejemplo, en cuestiones de resonancia armónica). Las matemáticas
aplicadas, rama de las matemáticas destinada a la aplicación del conocimiento matemático a
otros ámbitos, inspiran y hacen uso de los nuevos descubrimientos matemáticos y, en
ocasiones, conducen al desarrollo de nuevas disciplinas. Los matemáticos también participan
en las matemáticas puras, sin tener en cuenta la aplicación de esta ciencia, aunque las
aplicaciones prácticas de las matemáticas puras suelen ser descubiertas con el paso del
tiempo.
Lógica
Esquema del modus ponens, una regla de inferencia fundamental de la lógica proposicional.
La lógica es la ciencia formal y rama tanto de la filosofía como de las matemáticas que estudia
los principios de la demostración y la inferencia válida,5 las falacias, las paradojas y la noción
de verdad.6
Los orígenes de la lógica se remontan a la Edad Antigua, con brotes independientes en China,
India y Grecia. Desde entonces, la lógica tradicionalmente se considera una rama de la
filosofía, pero en el siglo XX la lógica ha pasado a ser principalmente la lógica matemática, y
por lo tanto ahora también se considera parte de las matemáticas, e incluso una ciencia formal
independiente.
Ciencias de la computación
Tetera de Utah representando los gráficos por computadora Ratón Microsoft Tastenmaus
representando la interacción hombre-máquina
Las Ciencias de la computación estudian los fundamentos teóricos de la información y el
cómputo, junto con técnicas prácticas para la implementación y aplicación de estos
fundamentos teóricos.
Las ciencias de la computación son las ciencias formales que abarcan las bases teóricas de la
información y la computación, así como su aplicación en sistemas computacionales.789 El
cuerpo de conocimiento de las ciencias de la computación es frecuentemente descrito como el
estudio sistemático de los procesos algorítmicos que describen y transforman información: su
teoría, análisis, diseño, eficiencia, implementación, algoritmos sistematizados y aplicación.10
En términos más específicos se trata del estudio sistemático de la factibilidad, estructura,
expresión y mecanización de procedimientos metódicos (o algoritmos) que subyacen en la
adquisición, representación, procesamiento, almacenamiento, comunicación y acceso a la
información. La información puede estar codificada en forma de bits en una memoria de
computadora, o en algún otro objeto como, como los genes y proteínas en una célula
biológica.11
Existen diversas ramas o disciplinas dentro de las ciencias de la computación; algunos resaltan
los resultados específicos del cómputo (como los gráficos por computadora), mientras que
otros (como la teoría de la complejidad computacional) se relacionan con propiedades de los
algoritmos usados al realizar cómputo; y otros se enfocan en los problemas que requieren la
implementación de sistemas computacionales. Por ejemplo, los estudios de la teoría de
lenguajes de programación describen un cómputo, mientras que la programación de
computadoras aplica lenguajes de programación específicos para desarrollar una solución a un
problema computacional específico. Un computólogo se especializa en teoría de la
computación y en el diseño e implementación de sistemas de computacionales.12
Véase también
Ciencias naturales
Ciencias sociales
Ciencias aplicadas
Referencias
Simon Blackburn (ed.). «logic». The Oxford Dictionary of Philosophy (en inglés) (2008 Edition).
Oxford University Press. «lógica: La ciencia general de la inferencia.»
Corazón González, Rafael. Saber, entender... vivir: una aproximación a la filosofía. pp. 74-77.
"Computer Science is the study of all aspects of computer systems, from the theoretical
foundations to the very practical aspects of managing large software projects." Massey
University
http://www.cs.bu.edu/AboutCS/WhatIsCS.pdf.
Denning, P.J. (2000). «Computer Science: The Discipline» (PDF). Encyclopedia of Computer
Science. Archivado desde el original el 25 de mayo de 2006.
Control de autoridades
Menú de navegación
Buscar en Wikipedia
Portada
Portal de la comunidad
Actualidad
Cambios recientes
Páginas nuevas
Página aleatoria
Ayuda
Donaciones
Notificar un error
Imprimir/exportar
Crear un libro
Herramientas
Cambios en enlazadas
Subir archivo
Páginas especiales
Enlace permanente
Información de la página
Elemento de Wikidata
En otros idiomas
العربية
English
Français
हिन्दी
Bahasa Indonesia
Português
Русский
اردو
中文
30 más
Editar enlaces
Esta página se editó por última vez el 3 may 2019 a las 20:05.
El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0;
pueden aplicarse cláusulas adicionales. Al usar este sitio, usted acepta nuestros términos de
uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin
ánimo de lucro.