Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Ir a la navegaci�nIr a la b�squeda
Para otros usos de este t�rmino, v�ase C�lculo (desambiguaci�n).
Para c�lculo infinitesimal (diferencial o integral), v�ase C�lculo infinitesimal.
Para el estudio de los n�meros reales, los complejos, los vectores y sus funciones,
v�ase An�lisis matem�tico.
En general el t�rmino c�lculo (del lat�n calculus = piedrecita, usado para contar o
como ayuda al calcular)1? hace referencia al resultado correspondiente a la acci�n
de calcular. Calcular, por su parte, consiste en realizar las operaciones
necesarias para prever el resultado de una acci�n previamente concebida, o conocer
las consecuencias que se pueden derivar de unos datos previamente conocidos.
�ndice
1 C�lculo como razonamiento y c�lculo l�gico-matem�tico
2 Historia del c�lculo
2.1 De la Antig�edad
2.2 Renacimiento
2.3 Siglos XVII y XVIII
2.4 Siglos XIX y XX
2.5 Actualidad
3 C�lculo infinitesimal: breve rese�a
4 C�lculo l�gico
4.1 Sistematizaci�n de un c�lculo de deducci�n natural
4.1.1 Reglas de formaci�n de f�rmulas
4.1.2 Reglas de transformaci�n de f�rmulas
4.2 Esquemas de inferencia
4.3 El lenguaje natural como modelo de un c�lculo l�gico
5 V�ase tambi�n
6 Referencias
7 Bibliograf�a
8 Enlaces externos
C�lculo como razonamiento y c�lculo l�gico-matem�tico
Ejemplo de aplicaci�n de un c�lculo algebraico a la resoluci�n de un problema,
seg�n la interpretaci�n de una teor�a f�sica
La expresi�n del c�lculo algebraico {\displaystyle y=xt} {\displaystyle y=xt},
indica las relaciones sint�cticas que existen entre tres variables que no tienen
significado alguno.
Pero si interpretamos {\displaystyle y} y como espacio, {\displaystyle x} x como
velocidad y {\displaystyle t} t como tiempo, tal ecuaci�n modeliza una teor�a
f�sica que establece que el espacio recorrido por un m�vil con velocidad constante
es directamente proporcional a la velocidad con que se mueve y al tiempo que dura
su movimiento.
Al mismo tiempo, seg�n dicha teor�a, sirve para resolver el problema de calcular
cu�ntos kil�metros ha recorrido un coche que circula de Madrid a Barcelona a una
velocidad constante de 60 km/h durante 4 horas de recorrido.
240 kil�metros recorridos = 60 km/h x 4 h
Las dos acepciones del c�lculo (la general y la restringida) arriba definidas est�n
�ntimamente ligadas. El c�lculo es una actividad natural y primordial en el hombre,
que comienza en el mismo momento en que empieza a relacionar unas cosas con otras
en un pensamiento o discurso. El c�lculo l�gico natural como razonamiento es el
primer c�lculo elemental del ser humano. El c�lculo en sentido l�gico-matem�tico
aparece cuando se toma conciencia de esta capacidad de razonar y trata de
formalizarse.
Por lo tanto, podemos distinguir dos tipos de operaciones:
Un �baco moderno.
El t�rmino "c�lculo" procede del lat�n calculus, piedrecita que se mete en el
calzado y que produce molestia. Precisamente tales piedrecitas ensartadas en tiras
constitu�an el �baco romano que, junto con el suanpan chino, constituyen las
primeras m�quinas de calcular en el sentido de contar.
Se considera que Arqu�medes fue uno de los matem�ticos m�s grandes de la antig�edad
y, en general, de toda la historia.2?3? Us� el m�todo exhaustivo para calcular el
�rea bajo el arco de una par�bola con el sumatorio de una serie infinita, y dio una
aproximaci�n extremadamente precisa del n�mero Pi.4? Tambi�n defini� la espiral que
lleva su nombre, f�rmulas para los vol�menes de las superficies de revoluci�n y un
ingenioso sistema para expresar n�meros muy largos.
A finales de la Edad Media la discusi�n entre los partidarios del �baco y los
partidarios del algoritmo se decant� claramente por estos �ltimos.8? De especial
importancia es la creaci�n del sistema contable por partida doble recomendado por
Luca Pacioli fundamental para el progreso del capitalismo en el Renacimiento.9?
Renacimiento
El sistema que usamos actualmente fue introducido por Luca Pacioli en 1494, el cual
fue creado y desarrollado para responder a la necesidad de la contabilidad en los
negocios de la burgues�a renacentista.
Siglos XIX y XX
George Boole.
Durante el siglo XIX y XX el desarrollo cient�fico y la creaci�n de modelos
te�ricos fundados en sistemas de c�lculo aplicables tanto en mec�nica como en
electromagnetismo y radioactividad, etc. as� como en astronom�a fue impresionante.
Las geometr�as no euclidianas encuentran aplicaci�n en modelos te�ricos de
astronom�a y f�sica. El mundo deja de ser un conjunto de infinitas part�culas que
se mueven en un espacio-tiempo absoluto y se convierte en un espacio de
configuraci�n o espacio de fases de {\displaystyle n} n dimensiones que f�sicamente
se hacen consistentes en la teor�a de la relatividad, la mec�nica cu�ntica, la
teor�a de cuerdas etc. que cambia por completo la imagen del mundo f�sico.
En la segunda mitad del siglo XIX y primer tercio del XX, a partir del intento de
formalizaci�n de todo el sistema matem�tico, Frege, y de matematizaci�n de la
l�gica, (Bolzano, Boole, Whitehead, Russell) fue posible la generalizaci�n del
concepto como c�lculo l�gico. Se lograron m�todos muy potentes de c�lculo, sobre
todo a partir de la posibilidad de tratar como �objeto� conjuntos de infinitos
elementos, dando lugar a los n�meros transfinitos de Cantor.
Los intentos de axiomatizar el c�lculo como c�lculo perfecto por parte de Hilbert y
Poincar�, llevaron, como consecuencia de diversas paradojas (Cantor, Russell etc.)
a nuevos intentos de axiomatizaci�n, Axiomas de Zermelo-Fraenkel y a la
demostraci�n de G�del de la imposibilidad de un sistema de c�lculo perfecto:
consistente, decidible y completo en 1931, de grandes implicaciones l�gicas,
matem�ticas y cient�ficas.
Actualidad
En la actualidad, el c�lculo en su sentido m�s general, en tanto que c�lculo l�gico
interpretado matem�ticamente como sistema binario, y f�sicamente hecho material
mediante la l�gica de circuitos electr�nicos, ha adquirido una dimensi�n y
desarrollo impresionante por la potencia de c�lculo conseguida por los ordenadores,
propiamente m�quinas computadoras. La capacidad y velocidad de c�lculo de estas
m�quinas hace lo que humanamente ser�a imposible: millones de operaciones por
segundo.
El desarrollo y uso del c�lculo ha tenido efectos muy importantes en casi todas las
�reas de la vida moderna: es fundamento para el c�lculo num�rico aplicado en casi
todos los campos t�cnicos y/o cient�ficos cuya principal caracter�stica es la
continuidad de sus elementos, en especial en la f�sica. Pr�cticamente todos los
desarrollos t�cnicos modernos como la construcci�n, aviaci�n, transporte,
meteorolog�a, etc. hacen uso del c�lculo. Muchas f�rmulas algebraicas se usan hoy
en d�a en bal�stica, calefacci�n, refrigeraci�n, etc.
C�lculo l�gico
Art�culo principal: C�lculo l�gico
El c�lculo l�gico es un sistema de reglas de inferencia o deducci�n de un enunciado
a partir de otro u otros. El c�lculo l�gico requiere un conjunto consistente de
axiomas y unas reglas de inferencia; su prop�sito es poder deducir algor�tmicamente
proposiciones l�gicas verdaderas a partir de dichos axiomas. La inferencia es una
operaci�n l�gica que consiste en obtener una proposici�n l�gica como conclusi�n a
partir de otra(s) (premisas) mediante la aplicaci�n de reglas de inferencia.19?
Un lenguaje formal que sirve de base para el c�lculo l�gico est� formado por varias
clases de entidades:
Es consistente: No es posible que dada una expresi�n bien formada del sistema, �, y
su negaci�n, no � �, sean ambas teoremas del sistema. No puede haber contradicci�n
entre las expresiones del sistema.
Decidible: Dada cualquier expresi�n bien formada del sistema podemos encontrar un
m�todo que nos permita decidir mediante una serie finita de operaciones si dicha
expresi�n es o no es un teorema del sistema.
Completo: Cuando dada cualquier expresi�n bien formada del sistema, podemos
establecer la demostraci�n matem�tica o prueba de que es un teorema del sistema.
La misma l�gica-matem�tica ha demostrado que tal sistema de c�lculo perfecto "no es
posible" (v�ase el Teorema de G�del).
IV. Ninguna expresi�n es una f�rmula del C�lculo sino en virtud de I, II, III.
Notas:
A, B,... con may�sculas est�n utilizadas como metalenguaje en el que cada variable
expresa cualquier proposici�n, at�mica (p,q,r,s....) o molecular (p ? q), (p ?
q)...
A, B,... son s�mbolos que significan variables; �, ?, ?, ?, ?, son s�mbolos
constantes.
Existen diversas formas de simbolizaci�n. Utilizamos aqu� la de uso m�s frecuente
en Espa�a.21?
Reglas de transformaci�n de f�rmulas
1) Regla de sustituci�n (R.T.1):
Dada una tesis EBF del c�lculo, en la que aparecen variables de enunciados, el
resultado de sustituir una, algunas o todas esas variables por expresiones bien
formadas (EBF) del c�lculo, ser� tambi�n una tesis EBF del c�lculo. Y ello con una
�nica restricci�n, si bien muy importante: cada variable ha de ser sustituida
siempre que aparece y siempre por el mismo sustituto.
Veamos el ejemplo:
1 [(p ? q) ? r] ? t ? s Transformaci�n
2 A ? r ? B Donde A = (p ? q); y donde B = (t ? s)
3 C ? B Donde C = A ? r
O viceversa
1 C ? B Transformaci�n
2 A ? r ? B Donde A ? r = C
3 [(p ? q) ? r] ? t ? s Donde (p ? q) = A; y donde (t ? s) = B
Esquemas de inferencia
Sobre la base de estas dos reglas, siempre podremos reducir un argumento cualquiera
a la forma:
[A ? B ? C ... ? N] ? Y
Dada la poca operatividad de las tablas de verdad, el c�lculo se construye como una
cadena deductiva aplicando a las premisas o a los teoremas deducidos las leyes
l�gicas utilizadas como reglas de transformaci�n, como se expone en c�lculo l�gico.
Las diversas formas en que tratemos las expresiones ling��sticas formalizadas como
proposiciones l�gicas dan lugar a sistemas diversos de formalizaci�n y c�lculo:
V�ase tambi�n
Aritm�tica
C�lculo l�gico
Algoritmo de Euclides
Lenguaje formalizado
Lenguaje formal
L�gica proposicional
L�gica de primer orden
Sistema formal
Silogismo
C�lculo de la ra�z cuadrada
Cifra (matem�tica)
Puerta l�gica
Tabla de valores de verdad
Teor�a de conjuntos
Historia del hardware de computador
Regla de c�lculo
Sistema de numeraci�n
Teor�a de n�meros
Matem�ticas en el Antiguo Egipto
Numeraci�n egipcia
Numeraci�n griega
Numeraci�n romana
Acarreo
Potenciaci�n
Radicaci�n
Logaritmaci�n
�lgebra
�lgebra elemental
Modelo cient�fico
Referencias
La palabra castellana c�lculo se deriva del lat�n calculus que significa
piedrecita, ya que se utilizaban guijarros para auxiliarse en la resoluci�n de los
problemas de c�lculo aritm�tico, para contar y realizar las operaciones aritm�ticas
elementales. En medicina las piedras de la ves�cula o del ri��n se llaman
"c�lculos"
Calinger, Ronald (1999). A Contextual History of Mathematics. Prentice-Hall. p.
150. ISBN 0-02-318285-7. �Shortly after Euclid, compiler of the definitive
textbook, came Archimedes of Syracuse (ca. 287�212 B.C.), the most original and
profound mathematician of antiquity.�
�Archimedes of Syracuse�. The MacTutor History of Mathematics archive. enero de
1999. Consultado el 9 de junio de 2008.
O'Connor, J.J. and Robertson, E.F. (febrero de 1996). �A history of calculus�.
University of St Andrews. Consultado el 7 de agosto de 2007.
la palabra algoritmo se introdujo en matem�ticas en honor a este matem�tico
musulm�n, natural de Jhiva (Uzbekist�n actual), vivi� en Bagdad (Irak actual).
Muy interesante la descripci�n de este proceso en Cifra (matem�tica)
Ver l�gica emp�rica
Sacrobosco, Algoritmos 1488; Georg von Peurbach, Algorithmus, 1492; Luca Pacioli;
Summa de Arithmetica proportioni et porportionalita, 1494. Muy interesante y
divertida exposici�n de esta guerra en Cifra (matem�tica)
Sombart W.: El burgu�s:Contribuci�n a la historia espiritual del hombre econ�mico
moderno. 1979. Madrid. Alianza
La br�jula y las grandes rutas mar�timas, con el descubrimiento de Am�rica; la
transformaci�n de la guerra por la aplicaci�n de la p�lvora, que suscita el inter�s
por el estudio del movimiento de los proyectiles Tartaglia;la aceptaci�n del
pr�stamo con inter�s y la creaci�n de las sociedades por acciones que iniciaron el
primer gran capitalismo; la nuevas tablas astron�micas sustituyendo las tablas
alfonsinas (Tycho Brahe); y el copernicanismo que rompe la imagen medieval del
mundo
Que llega a concebir el mundo como racional sometido a una mathesis universal, la
extensi�n, que convierte el mundo material en un inmenso mecanismo, teor�a
mecanicista, perfectamente calculable seg�n un orden matem�tico que surge del
an�lisis concebido como m�todo de investigaci�n.
C�lculo de c�nicas, estudio mec�nico de las presiones, principio de Pascal de
enorme importancia en la hidroest�tica, y finalmente en el c�lculo de
probabilidades.
Con su famosa pol�mica acerca de la invenci�n del c�lculo infinitesimal de tanta
importancia y que parece comprobado ser producto independiente de cada uno de ellos
C�lculo de movimientos como el de ca�da libre de los graves, Galileo,; trayectoria
de los planetas, Kepler; trayectoria de proyectiles para la artiller�a; medidas
astron�micas y geogr�ficas; presiones, Torricelli y Pascal; y todas las
aplicaciones pr�cticas de estos c�lculos para la pr�ctica de la navegaci�n y la
naciente industria: bombas de vac�o, prensa hidr�ulica, electricidad, magnetismo
etc.
V�ase en L�gica emp�rica su aplicaci�n por Galileo al movimiento de ca�da libre de
los graves.
El modelo de Newton se basa en una geometr�a anal�tica espacial de tres
dimensiones inmutables como espacio absoluto y una sucesi�n constante e inmutable
en una direcci�n de tiempo absoluto en los que una infinidad de part�culas
materiales masas se mueven seg�n un principio universal la Gravitaci�n Universal
{\displaystyle G={m*m' \over r^{2}}} {\displaystyle G={m*m' \over r^{2}}}, y unas
leyes din�micas que rigen el movimiento: Principio de inercia; Principio de acci�n
y reacci�n; y Principio fundamental de la din�mica, {\displaystyle f=m*a}
{\displaystyle f=m*a}
La L�gica de Arist�teles se mantuvo pr�cticamente como tal a lo largo de los
siglos. Kant, a finales del siglo XVIII, opinaba que la L�gica aristot�lica no
hab�a sufrido modificaciones sustanciales durante tanto tiempo por tratarse de una
ciencia a priori y anal�tica y, por tanto, constituirse como un lenguaje formal;
consideraba que hab�a dado de s� todo lo que pod�a ofrecer. Kant. Pr�logo a la
Cr�tica de la Raz�n Pura.
Hofmann: Historia de la m�tem�tica
La deducci�n suele definirse como una inferencia en la que a partir de verdades
universales se concluye verdades particulares. Este criterio no se acomoda bien a
la l�gica actual, pues se prefiere la idea de inferencia como transformaci�n
conforme las reglas establecidas; en cualquier caso dichas reglas, que
necesariamente se basan en tautolog�as, pueden considerarse como principios
universales o generales, sobre los cuales se construye una deducci�n; por ello la
distinci�n no deja de ser una matizaci�n t�cnica de poca importancia.
La habilidad peculiar del Sr. Holmes
Desgraciadamente la representaci�n gr�fica de los s�mbolos no est� normalizada, lo
que lleva a veces a ciertas dificultades de interpretaci�n.
Cuando en un C�lculo C, se establece una "correspondencia" de cada s�mbolo con
elementos determinados individuales distinguibles entre s�, de un Universo L, real,
(tal universo L no es un conjunto vac�o, por las mismas condiciones que hemos
establecido) ENTONCES se dice que L es un MODELO de C.
Bibliograf�a
BERGAD�, D. (1979). La matem�tica renacentista. Historia de la Ciencia.
BARCELONA.ED.PLANETA. ISBN 84-320-0842-7.
BLACKBURN, S. (2001). Enciclopedia Oxford de Filosof�a. Madrid. Editorial Tecnos.
ISBN 84-309-3699-8.
BUNGE, M. (1972). Teor�a y realidad. Barcelona. Ariel. ISBN 84-344-0725-6.
COPI, IRVING M. (1982). L�GICA SIMB�LICA. M�xico 22 D.F: EDITORIAL CONTINENTAL S.A.
DE C.V. ISBN 968-26-0134-7.
DEA�O, ALFREDO (1974). INTRODUCCI�N A LA L�GICA FORMAL. MADRID: ALIANZA EDITORIAL.
ISBN 84-206-2064-5.
GARRIDO, M. (1974). L�GICA SIMB�LICA. MADRID. EDITORIAL TECNOS S.A. ISBN 84-309-
0537-5.
HONDERICH, T. (Editor) (2001). Enciclopedia Oxford de Filosof�a. Trd. Carmen Garc�a
Trevijano. Madrid. Editorial Tecnos. ISBN 84-309-3699-8.
MITCHELL, D. (1968). INTRODUCCI�N A LA L�GICA. BARCELONA: EDITORIAL LABOR.
NAVARRO, C. Y NADAL, B. (1982). Aspectos de la Matem�tica en el siglo XX. Historia
de la Ciencia. BARCELONA.ED.PLANETA. ISBN 81-320-0840-0.
PERELL� I VALLS, C. (1979). El c�lculo en los siglos XVII y XVIII. Historia de la
Ciencia. BARCELONA.ED.PLANETA. ISBN 84-320-0842-7.
QUINE, W.V. (1981). FILOSOF�A DE LA L�GICA. MADRID: ALIANZA EDITORIAL. ISBN 84-206-
2043-2.
STEWART I. (1977). Conceptos de matem�tica moderna. Madrid. Alianza Universidad.
ISBN 84-206-2187-0.
Tablas de Aritm�tica. Ed.EDIVAS S.L. Ref. 25. Zamudio. Espa�a.
Trueta i Raspall, J. et alii. (1977). Historia de la Ciencia. I.
BARCELONA.ED.PLANETA. ISBN 84-320-0841-9.
Roland E. Larson, Robert P. Hostetler, Bruce H. Edwards (1995). CALCULO Y GEOMETRIA
ANALITICA. Volumen 1 quinta edici�n. McGRAW-HILL/ INTERAMERICANA DE ESPA�A, S.A.
ISBN 84-481-1768-9.
Enlaces externos
Ver el portal sobre Matem�tica Portal:Matem�tica. Contenido relacionado con
Matem�tica.
Wikiquote alberga frases c�lebres de o sobre C�lculo.
Weisstein, Eric W. �Calculus�. En Weisstein, Eric W. MathWorld (en ingl�s). Wolfram
Research. Consultado el 29 de mayo de 2010.
http://www.cenidet.edu.mx/dda/docs/aplicacionteoriaactividad.pdf.
Categor�a: C�lculo
Men� de navegaci�n
No has accedidoDiscusi�nContribucionesCrear una
cuentaAccederArt�culoDiscusi�nLeerEditarVer historialBuscar
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
Descargar como PDF
Versi�n para imprimir
Herramientas
Lo que enlaza aqu�
Cambios en enlazadas
Subir archivo
P�ginas especiales
Enlace permanente
Informaci�n de la p�gina
Elemento de Wikidata
Citar esta p�gina
En otros idiomas
Catal�
Editar enlaces
Esta p�gina se edit� por �ltima vez el 7 mar 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.