Discusión:Ciencias formales

Contenido de la página no disponible en otros idiomas.
De Wikipedia, la enciclopedia libre

Buenas tardes, Quite a la Filosofia de la lista ya que la misma ni siquiera es considerada una ciencia.

He realizado el cambio ya que la informatica es considerada como la tercera ciencia formal, despues de la matematica y la logica. — El comentario anterior sin firmar es obra de 186.92.16.18 (disc.contribsbloq).

Estimado, te comento que en Wikipedia no puedes borrar una información correctamente referenciada y poner lo que tu crees conveniente, sin antes citar otra fuente que lo respalde. En este caso, la fuente empleada cita «Ciencias de la computación», la cual incluso tiene artículo propio.
Sobre el particular, cito al artículo Apuntes sobre los términos "computación" e "informática":
Desde hace aproximadamente 50 años, después de la Segunda Guerra Mundial, tomó auge la tecnología que prácticamente generó el actual significado de la palabra "computación". Su origen lingüístico proviene del latín "computare", cuyo sentido se interpreta conceptualmente "con el pensamiento", y que tomó el significado de "contar o calcular algo con números", según lo define el diccionario de la Real Academia de la Lengua Española.

En los últimos años, surgió el término "informática", que parece competir con el mismo significado. Muchas personas utilizan hoy ambas palabras en forma aparentemente indistinta, situación que con seguridad se puede atribuir a la mentalidad mercantilista de siglo XX. Cuando en el mercado de "marcas" aparece una que tiene éxito, inmediatamente surge otra que pretende ofrecer lo mismo. Volviendo a la "informática", ésta es una palabra evidentemente derivada del término "información" que, como muchos otros, se mezcla con "automático", adjetivo que tomó fuerza con el desarrollo tecnológico de la posguerra y que, con seguridad, vincula su significado con el concepto "proceso de información".

La palabra "informática" ha ido surgiendo en situaciones donde es evidente que las computadoras y su tecnología no bastan para realizar todo el trabajo, y aparecen otras tecnologías asociadas como las telecomunicaciones, el video, el fax, así como otros conceptos relativos al uso de la información como la organización del trabajo, los resúmenes estadísticos, los sistemas comprensivos de acceso a la información, las áreas temáticas de interés, los sistemas en línea, en vivo, por control remoto o por satélite, los flujos direccionados de información, etcétera. Aunque existen nuevos elementos que reflejan las diferencias entre "computación" e "informática", éstos no tendrían valor o significado si no se toma en consideración su relación con las computadoras y con el proceso de la información propiamente dicho, de tal manera que superficialmente justifican la aceptación de la sinonimia entre ambos términos.

No obstante, en situaciones donde se haga indispensable hacer énfasis en alguno de estos aspectos, se puede definir esta diferencia del siguiente modo:

"Computación" está íntimamente ligada a la tecnología de las computadoras, mientras que "informática" está más bien vinculada a las formas de uso de los resultados.
Por lo mismo, revertí lo hecho por carecer de fuentes y porque ambos términos son similares pero no idénticos. Saludos, Marco M Mensajes 21:53 22 mar 2016 (UTC)[responder]


"En las ciencias formales son proposiciones analíticas o contradictorias recogen los enunciados de las matemáticas y la lógica que en general constituyen las ciencias formales. El positivismo lógico considera a estas ciencias no realizan cosas." La redacción en esta parte esta sufriendo mucho.

"Las ciencias formales están divididas de una forma radical: por un lado las ciencias reales y por otro las ciencias empíricas. Las empíricas deben satisfacer determinados requisitos lógicos en sus inferencias y deben adaptarse a las formalizaciones derivadas de la lógica matemática." Esto es incorrecto.