Cálculu

De Uiquipedia
Saltar a: navegación, buscar
Bot icon2.svg
Artículu de traducción automática a partir de "Cálculo" que necesita revisión. Quita l'avisu cuando tea correxíu.
Pa otros usos d'esti términu, ver Cálculu (dixebra). Disambig.svg

Polo xeneral el términu cálculu (del llatín calculus = piedra)[1] fai referencia, indistintamente, a l'acción o la resultancia correspondiente a l'acción de calcular. Calcular, pela so parte, consiste en realizar les operaciones necesaries pa prever la resultancia d'una acción primeramente concebida, o conocer les consecuencies que pueden derivase d'unos datos primeramente conocíos.

Sicasí, l'usu más común del términu cálculu ye'l lóxicu-matemáticu. Dende esta perspectiva, el cálculu consiste nun procedimientu mecánicu, o algoritmu, por aciu el cual podemos conocer les consecuencies que se deriven d'unos datos primeramente conocíos debidamente formalizaos y simbolizaos.

Cálculu como razonamientu y cálculu lóxicu-matemáticu[editar | editar la fonte]

Exemplu d'aplicación d'un cálculu alxebraicu al resolvimientu d'un problema según la interpretación d'una teoría física
La espresión del cálculu alxebraicu y = xt, indica les relaciones sintáctiques qu'esisten ente trés variables que nun tienen significáu dalgunu.
Pero si interpretamos y como espaciu, x como velocidá y t como tiempu, tal ecuación modeliza una teoría física qu'establez que l'espaciu percorríu por un móvil con velocidá constante ye directamente proporcional a la velocidá con que se mueve y de la que dura'l so movimientu.
Coles mesmes, según dicha teoría, sirve pa resolver el problema de calcular cuántos kilómetros percorrió un coche que circula de Madrid a Barcelona a una velocidá constante de 60 km/h mientres 4 hores de percorríu.
  • 240 kilómetros percorríos = 60 km/h x 4 h

Los dos acepciones del cálculu (la xeneral y l'acutada) enriba definíes tán íntimamente amestaes. El cálculu ye una actividá natural y primordial nel home, qu'empieza a la que empieza a rellacionar unes coses con otres nun pensamientu o discursu. El cálculu lóxicu natural como razonamientu ye'l primer cálculu elemental del ser humanu. El cálculu en sentíu lóxicu-matemáticu apaez cuando se toma conciencia d'esta capacidá de razonar y trata de formalizase.

Poro, podemos estremar dos tipos de operaciones:

  1. Operaciones empobinaes escontra la consecución d'un fin, como prever, programar, conxeturar, envalorar, precaver, prevenir, proxectar, configurar, etc. qu'inclúin en cada casu una serie de complexes actividaes y habilidaes tantu de pensamientu como de conducta. Nel so conxuntu diches actividaes adquieren la forma de argumentu o razones que xustifiquen una finalidá práctica o cognoscitiva.
  2. Operaciones formales como algoritmu que s'aplica bien directamente a los datos conocíos o a los esquemes simbólicos de la interpretación lóxicu-matemática de dichos datos; les posibles conclusiones, inferencias o deducciones de dichu algoritmu son la resultancia de l'aplicación de riegles puramente establecíes de mano.
Resultancia que ye:
Conclusión d'un procesu de razonamientu.
Resultancia aplicable directamente a los datos iniciales (resolvimientu de problemes).
Modelu de relaciones primeramente establecíu como teoría científica y significativu al respective de determinaes realidaes (Creación de modelos científicos).
Meru xuegu formal simbólicu de fundamentación, creación y aplicación de les riegles que constitúin el sistema formal del algoritmu (Cálculu lóxicu-matemáticu, puramente dichu).
Dada la importancia qu'históricamente adquirió l'actividá lóxicu-matemática na cultura humana'l presente artículu referir a esti postreru sentíu. De fechu la palabra, nel so usu habitual, casi queda acutada a esti ámbitu d'aplicación; pa dalgunos, inclusive, queda amenorgada a un solu tipu de cálculu matemáticu, pos en delles universidaes llamábase "Cálculu" a una asignatura específica de cálculu matemáticu (como pue ser el cálculu infinitesimal, analís matemáticu, cálculu diferencial ya integral, etc.).
Nun artículu xeneral sobre la tema nun puede desenvolvese'l conteníu de lo que supon el cálculu lóxicu-matemáticu na actualidá. Equí espónse solamente'l fundamentu de los sos elementos más simples, teniendo en cuenta que sobre estes estructures simples constrúyense los cálculos más complexos tantu nel aspeutu lóxicu como nel matemáticu.

Hestoria del cálculu[editar | editar la fonte]

De la Roma Clásica a la Edá Media[editar | editar la fonte]

Reconstrucción d'un ábaco romanu.
Un ábaco modernu.

El términu "cálculu" procede del llatín calculus, piedrina que se mete nel calzáu y que produz molestia. Precisamente tales piedrines enartaes en tires constituyíen el ábaco romanu que, xuntu col suanpan chinu, constitúin les primeres máquines de calcular nel sentíu de cuntar.

Los antecedentes de procedimientu de cálculu, como algoritmu, atopar nos qu'utilizaron les xeómetres griegos, Eudoxo en particular, nel sentíu de llegar por aproximamientu de restos cada vez más pequenos, a una midida de figures curves; según Diofanto precursor del álxebra.

La considerancia del cálculu como una forma de razonamientu astractu aplicáu en tolos ámbitos de la conocencia deber a Aristóteles, quien nos sos escritos lóxicos foi'l primeru en formalizar y simbolizar los tipos de razonamientos categóricus (siloxismus). Esti trabayu sería completáu más tarde polos estoicos, los megáricos, la Escolástica.

Los algoritmus actuales del cálculu aritméticu, utilizaos universalmente, son frutu d'un llargu procesu históricu. De vital importancia son les aportaciones de Muhammad ibn al-Juarismi nel sieglu IX;[2]

Introducióse'l 0, yá d'antiguu conocíu na India y constrúyese definitivamente'l sistema decimal de diez cifres con valor posicional de les mesmes, introducíu n'Europa polos árabes. La escritura antiguo de númberos en Babilonia, n'Exiptu, en Grecia o en Roma, faía bien difícil un procedimientu mecánicu de cálculu.[3]

El sistema decimal foi bien importante pal desenvolvimientu de la contabilidá de los comerciantes de la Baxa Edá Media, nos entamos del capitalismu.

El conceutu de función por tables yá yera practicáu d'antiguu pero adquirió especial importancia na Universidá de Oxford nel sieglu XIV.[4] La idea d'un llinguaxe o algoritmu capaz de determinar toles verdaes, incluyíes les de la fe, apaecen nel intentu de Raimundo Lulio nel so Ars Magna

Con cuenta de llograr una operatividad mecánica iguábense unes tables a partir de les cualos podía xenerase un algoritmu prácticamente mecánicu. Esti sistema de tables perduró en delles operaciones mientres sieglos, como les tables de llogaritmos, o les funciones trigonométriques; les tables veníen ser como la calculadora de güei día; un preséu imprescindible de cálculu. Les amortizaciones de los creitos nos bancos, por casu, calcular a partir de tables elementales hasta que se produció l'aplicación de la informática nel tercer terciu del sieglu XX.

A finales de la Edá Media'l discutiniu ente los partidarios del ábaco y los partidarios del algoritmu decantóse claramente por estos postreros.[5] D'especial importancia ye la creación del sistema contable por partida doble encamentáu por Luca Pacioli fundamental pal progresu del capitalismu na Renacencia.[6]

Renacimientu[editar | editar la fonte]

El sistema qu'usamos anguaño foi introducíu por Luca Pacioli en 1494, y foi creáu y desenvueltu pa responder a la necesidá de la contabilidá nos negocios de la burguesía renacentista.

El desenvolvimientu del álxebra (cola introducción d'un sistema de símbolus per un sitiu, y el resolvimientu de problemes per mediu de les ecuaciones) vieno de la mano de los grandes matemáticos renacentistes como Tartaglia, Stevin, Cardano o Vieta y foi esencial pal planteamientu y solución de los más diversos problemes que surdieron na dómina de resultes de los grandes descubrimientos que fixeron posible'l progresu científicu que va surdir nel sieglu XVII.[7]

Sieglos XVII y XVIII[editar | editar la fonte]

Páxina del artículu de Leibniz "Explication de l'Arithmétique Binaire", 1703/1705.

Nel sieglu XVII'l cálculu conoció un enorme desenvolvimientu siendo los autores más destacaos Refugues,[8] Pascal[9] y, finalmente, Leibniz y Newton[10] col cálculu infinitesimal qu'en munches ocasiones recibió a cencielles, por absorción, el nome de cálculu.

El conceutu de cálculu formal nel sentíu d'algoritmu regláu pal desenvolvimientu d'un razonamientu y la so aplicación al mundu de lo real[11] adquier una importancia y desenvolvimientu enorme respondiendo a una necesidá d'establecer relaciones matemátiques ente diverses midíes, esencial pal progresu de la ciencia física que, por cuenta de esto, ye tomada como nuevu modelu de Ciencia frente a la especulación tradicional filosófica, pol rigor y seguridá qu'ufierta'l cálculu matemáticu. Camuda asina'l sentíu tradicional de la Física como Ciencia de la Naturaleza y toma el sentíu de ciencia qu'estudia los cuerpos materiales, en cuanto materiales.

A partir d'entós el mesmu sistema de cálculu dexa establecer modelos sobre la realidá física, que la so comprobación esperimental[12] supon la confirmación de la teoría como sistema. Ye'l momentu del afitamientu del llamáu métodu científicu que'l so meyor esponente ye naquel momentu la Teoría de la Gravitación Universal y les lleis de la Mecánica de Newton.[13]

Sieglos XIX y XX[editar | editar la fonte]

Mientres el sieglu XIX y XX el desenvolvimientu científicu y la creación de modelos teóricos fundaos en sistemes de cálculu aplicables tantu en mecánica como n'electromagnetismu y radioactividá, etc. según n'astronomía foi impresionante. Les xeometríes non euclidianes atopen aplicación en modelos teóricos d'astronomía y física. El mundu dexa de ser un conxuntu d'infinites partícules que se mueven nun espaciu-tiempu absolutu y conviértese nun espaciu de configuración o espaciu de fases de n dimensiones que físicamente se faen consistentes na teoría de la relatividá, la mecánica cuántica, la teoría de cuerdes etc. que camuda por completu la imaxe del mundu físicu.

La lóxica coles mesmes sufrió un tresformamientu radical.[14] La formalización simbólica foi capaz d'integrar les lleis lóxiques nun cálculu matemáticu, hasta'l puntu que la distinción ente razonamientu lóxicu-formal y cálculu matemáticu vien considerase como puramente utilitaria.

Na segunda metá del sieglu XIX y primer terciu del XX, a partir del intentu de formalización de too el sistema matemáticu, Frege, y de matematización de la lóxica, (Bolzano, Boole, Whitehead, Russell) foi posible la xeneralización del conceutu como cálculu lóxicu. Llográronse métodos bien potentes de cálculu, sobremanera a partir de la posibilidá de tratar como “oxetu” conxuntos d'infinitos elementos, dando llugar a los númberos transfinitos de Cantor.

Por aciu el cálculu la lóxica atopa nuevos desenvolvimientos como lóxiques modales y lóxiques polivalentes.

Los intentos de axomatizar el cálculu como cálculu perfectu per parte de Hilbert y Poincaré, llevaron, de resultes de diverses paradoxas (Cantor, Russell etc.) a nuevos intentos de axiomatización, Axomes de Zermelo-Fraenkel y a la demostración de Gödel de la imposibilidá d'un sistema de cálculu perfectu: consistente, decidible y completu en 1931, de grandes implicaciones lóxiques, matemátiques y científiques.

Actualidá[editar | editar la fonte]

Na actualidá, el cálculu nel so sentíu más xeneral, en cuantes que cálculu lóxicu interpretáu matemáticamente como sistema binariu, y físicamente fechu material por aciu la lóxica de circuitos eléctrónicos, adquirió una dimensión y desenvolvimientu impresionante pola potencia de cálculu consiguida polos ordenadores, puramente máquines computadores. La capacidá y velocidá de cálculu d'estes máquines fai lo que humanamente sería imposible: millones d'operaciones por segundu.

El cálculu asina utilizáu convertir nun preséu fundamental de la investigación científica poles posibilidaes qu'ufierta pa la modelización de les teoríes científiques, adquiriendo especial relevancia nello'l cálculu numbéricu.

Conceutu xeneral de cálculu[editar | editar la fonte]

El cálculu ye un sistema de símbolos non interpretaos, esto ye, ensin significáu dalgunu, nel que s'establecen por aciu riegles estrictes, les relaciones sintáctiques ente los símbolos pa la construcción de fórmules bien formaes (fbf), según les riegles que dexen tresformar diches espresiones n'otres equivalentes; entendiendo por equivalentes que dambes tienen siempres y de forma necesaria'l mesmu valor de verdá. Diches tresformamientos son puramente tautoloxías.

Un cálculu consiste en:

  1. Un conxuntu d'elementos primitivos. Dichos elementos pueden establecese por enumeración, o definíos por una propiedá tal que dexe discernir ensin dala dulda cuándo un elementu pertenez o nun pertenez al sistema.
  2. Un conxuntu de riegles de formación de “espresiones bien formaes”(EBFs) que dexen en tou momentu establecer, ensin forma de dulda, cuándo una espresión pertenez al sistema y cuándo non.
  3. Un conxuntu de riegles de tresformamientu d'espresiones, por aciu les cualos partiendo d'una espresión bien formada del cálculu vamos poder llograr una nueva espresión equivalente y bien formada que pertenez al cálculu.

Cuando nun cálculu asina definíu establécense delles espresiones determinaes como verdaes primitives o axomes, dicimos que ye un sistema formal axomáticu.

Un cálculu asina definíu si cumple coles mesmes estos trés condiciones dicimos que ye un Cálculu Perfectu:

  1. Ye consistente: Nun ye posible que dada una espresión bien formada del sistema, f, y la so negación, non-f, sían dambes teoremas del sistema. Nun puede haber contradicción ente les espresiones del sistema.
  2. Decidible: Dada cualquier espresión bien formada del sistema podemos atopar un métodu que nos dexe decidir por aciu una serie finita d'operaciones si dicha espresión ye o nun ye un teorema del sistema.
  3. Completu: Cuando dada cualquier espresión bien formada del sistema, podemos establecer la demostración matemática o prueba de que ye un teorema del sistema.

La mesma lóxica-matemática demostró que tal sistema de cálculu perfectu "nun ye posible" (vease'l Teorema de Gödel).

Cálculu infinitesimal: curtiu reseña[editar | editar la fonte]

Artículu principal: Cálculu infinitesimal

El cálculu infinitesimal, llamáu por brevedá "cálculu", tien el so orixe na antigua xeometría griega. Demócrito calculó'l volume de pirámides y conos considerándolos formaos por un númberu infinitu de secciones de grosez infinitesimal (infinitamente pequenu). Eudoxo y Arquímedes utilizaron el "métodu d'escosamientu" o exhaución p'atopar la área d'un círculu cola exactitú finita riquida por aciu l'usu de polígonus regulares inscritos de cada vez mayor númberu de llaos. Nel periodu tardíu de Grecia, el neoplatónicu Pappus d'Alexandría fixo contribuciones sobresalientes nesti ámbitu. Sicasí, les dificultaes pa trabayar con númberos irracionales y les paradoxas de Zenón de Elea torgaron formular una teoría sistemática del cálculu nel periodu antiguu.

Nel sieglu XVII, Cavalieri y Torricelli ampliaron l'usu de los infinitesimales, Refugues y Fermat utilizaron el álxebra p'atopar el área y les tanxentes (integración y derivación en términos modernos). Fermat y Isaac Barrow teníen la certidume de que dambos cálculos taben rellacionaos, anque fueron Newton (escontra 1660), n'Inglaterra y Leibniz n'Alemaña (escontra 1670) quien demostraron que los problemes de la área y la tanxente son inversos, lo que se conoz como teorema fundamental del cálculu.

El descubrimientu de Newton, a partir del so teoría de la gravitación universal, foi anterior al de Leibniz, pero'l retrasu na so publicación entá provoca discutinios sobre quién de los dos foi'l primeru. Newton utilizó'l cálculu en mecánica nel marcu del so tratáu "Principios matemáticos de filosofía natural", obra científica por excelencia, llamando al so métodu de "flusiones". Leibniz utilizó'l cálculu nel problema de la tanxente a una curva nun puntu, como llende d'aproximamientos socesivos, dando un calter más filosóficu al so discursu. Sicasí, terminó per adoptar se la notación de Leibniz pola so versatilidad.

Nel sieglu XVIII aumentó considerablemente'l númberu d'aplicaciones del cálculu, pero l'usu imprecisu de les cantidaes infinites ya infinitesimales, según la intuición xeométrica, causaben inda tracamundiu y dulda sobre los sos fundamentos. Ello ye que la noción de llende, central nel estudiu del cálculu, yera entá vaga ya imprecisa nesi entós. Unu de los sos críticos más notables foi'l filósofu George Berkeley.

Nel sieglu XIX el trabayu de los analistes matemáticos sustituyeron eses vaguedades por fundamentos sólidos basaos en cantidaes finitas: Bolzano y Cauchy definieron con precisión los conceutos de Llende d'una función llende en términos de épsilon_delta y de derivada, Cauchy y Riemann fixeron lo propio coles integrales, y Dedekind y Weierstrass colos númberos reales. Foi'l periodu de la fundamentación del cálculu. Por casu, súpose que les funciones diferenciables son continues y que les funciones continues son integrables, anque los recíprocos son falsos. Nel sieglu XX, l'analís non convencional, legitimó l'usu de los infinitesimales, coles mesmes que l'apaición de les Computadores amontó les aplicaciones y velocidá del cálculu.

Anguaño, el cálculu infinitesimal tien un doble aspeutu: per un sitiu, consolidóse'l so calter disciplinariu na formación de la sociedá culta de la conocencia, destacando nesti ámbitu testos propios de la disciplina como'l de Louis Leithold, el de Earl W. Swokowski o'l de James Stewart ente munchos otros; por otru'l so desenvolvimientu como disciplina científica que desaguó n'ámbitos tan especializaos como'l cálculu fraccional, la teoría de funciones analítiques de variable complexa o l'analís matemáticu. L'ésitu del cálculu foi estendíu col tiempu a les ecuaciones diferenciales, al cálculu de vectores, al cálculu de variaciones, al analís complexu y a les topoloxía alxebraica y topoloxía diferencial ente munches otres cañes.

El desenvolvimientu y usu del cálculu tuvo efectos bien importantes en casi toles árees de la vida moderna: ye fundamentu pal cálculu numbéricu aplicáu en casi tolos campos técnicos y/o científicos que la so principal característica ye la continuidá de los sos elementos, cuantimás na física. Prácticamente tolos desenvolvimientos técnicos modernos como la construcción, aviación, tresporte, meteoroloxía, etc. faen usu del cálculu. Munches fórmules alxebraiques úsense anguaño en balística, calefacción, refrigeración, etc.

Como complementu del cálculu, en relación a sistemes teóricos o físicos que los sos elementos escarecen de continuidá, desenvolvióse una caña especial conocida como Matemática discreta.

El cálculu lóxicu[editar | editar la fonte]

Artículu principal: Cálculu lóxicu

Entendemos equí por cálculu lóxicu, un algoritmu que dexa cómoda y fácilmente inferir o deducir un enunciáu verdaderu a partir d'otru o otros que se tienen como válidamente verdaderos.

La inferencia o deducción ye una operación lóxica que consiste en llograr un enunciáu como conclusión a partir d'otru(s) (premises) por aciu l'aplicación de riegles de inferencia.[15]

Dicimos que daquién infier -o deduz- "T" de "R" si acepta que si "R" tien valor de verdá V, entós, necesariamente, "T" tien valor de verdá V.

Los homes na nuesa xera diaria, utilizamos costantemente'l razonamientu deductivu. Partimos d'enunciaos empíricos -supuestamente verdáeros y válidos- pa concluyir n'otru enunciáu que se deriva d'aquellos, según les lleis de la lóxica natural.[16]

La lóxica, como ciencia formal, ocupar d'analizar y sistematizar diches lleis, encontales y convertiles nes riegles que dexen el tresformamientu d'unos enunciaos -premises- n'otres conclusiones- con oxetu de convertir les operaciones nun algoritmu rigoroso y eficaz, que garantiza que dada la verdá de les premises, la conclusión ye necesariamente verdadera.

Al aplicar les riegles d'esti cálculu lóxicu a los enunciaos que formen un argumentu por aciu la simbolización fayadiza de fórmules o Espresiones bien formaes (EBF) construyimos un modelu o sistema deductivu.

Sistematización d'un cálculu de deducción natural[editar | editar la fonte]

Riegles de formación de fórmules[editar | editar la fonte]

I. Una lletra enunciativa (con o ensin subíndice) ye una EBF.

II. Si A ye una EBF, ¬ A tamién lo ye.

III. Si A ye una EBF y B tamién, entós A \land B; A \lor B; A \rightarrow B; A \leftrightarrow B, tamién lo son.

IV. Nenguna espresión ye una fórmula del Cálculu sinón en virtú d'I,II,III.

Notes:
  • A, B,... con mayúscules tán utilizaes como metallinguaxe nel que cada variable espresa cualesquier proposición, atómica (p,q,r,s....) o molecular (p/\q), (p\/q)...
  • A, B,... son símbolos que signifiquen variables; ¬, \land, \lor, →, \leftrightarrow, son símbolos constantes.
  • Esisten diverses formes de simbolización. Utilizamos equí la d'usu más frecuente n'España.[17]

Riegles de tresformamientu de fórmules[editar | editar la fonte]

1) Riegla de sustitución (R.T.1):

Dada una tesis EBF del cálculu, na qu'apaecen variables d'enunciaos, la resultancia de sustituyir una, dalgunes o toes eses variables por espresiones bien formaes (EBF) del cálculu, va ser tamién una tesis EBF del cálculu. Y ello con una única restricción, magar bien importante: cada variable hai de ser sustituyida siempres qu'apaez y siempres pol mesmu sustitutu.

Veamos l'exemplu:

1 \left [ \left ( p \land q \right ) \lor r \right ]\rightarrow t \lor s -align="center" 2 A \lor r \rightarrow B onde     A = \left ( p \land q \right ) ; y onde  B = \left ( t \lor s \right )
3  C \rightarrow B onde      C = A \lor r


O viceversa

1  C \rightarrow B -align="center" 2 A \lor r \rightarrow B onde     A \lor r = C
3 \left [ \left ( p \land q \right ) \lor r \right ]\rightarrow t \lor s onde      (p \land q) = A ; y onde  (t \lor s) = B


2) Riegla de separación (R.T.2):

Si X ye una tesis EBF del sistema y ser tamién X \rightarrow Y, entós Y ye una tesis EBF del sistema.

Esquemes de inferencia[editar | editar la fonte]

Sobre la base d'estos dos regles, siempres vamos poder amenorgar un argumentu cualesquier a la forma:

[A \land B \land C....\land N]\rightarrow Y

lo que constitúi un esquema de inferencia nel qu'una vegada conocida la verdá de caúna de les premises A, B,...N y, por tanto, del so productu, podemos llograr la conclusión Y con valor de verdá V, siempres y cuando dichu esquema de inferencia sía una llei lóxica, ye dicir la so tabla de verdá amuésenos que ye una tautoloxía.

Pola riegla de separación vamos poder concluyir Y, de forma independiente como verdá.

Dada la poca operatividad de les tables de verdá, el cálculu constrúyese como una cadena deductiva aplicando a les premises o a los teoremas deducíos les lleis lóxiques utilizaes como riegles de tresformamientu, como s'espón en cálculu lóxicu.

El llinguaxe natural como modelu d'un cálculu lóxicu[editar | editar la fonte]

Naturalmente'l cálculu lóxicu ye útil porque puede tener aplicaciones, pero ¿en qué consisten o cómo se faen tales aplicaciones?

Podemos considerar que'l llinguaxe natural ye un modelu de C si podemos sometelo, esto ye, aplica-y una correspondencia en C.[18]

Pa ello ye necesariu someter al llinguaxe natural a un procesu de formalización de tala forma que podamos amenorgar les espresiones llingüístiques del llinguaxe natural a EBFs d'un cálculu por aciu riegles estrictes calteniendo'l sentíu de verdá lóxica de diches espresiones del llinguaxe natural. Esto ye lo que s'espón en cálculu lóxicu.

Les diverses formes en que tratemos les espresiones llingüístiques formalizaes como proposiciones lóxiques dan llugar a sistemes diversos de formalización y cálculu:

  • Cálculu proposicional o cálculu d'enunciaos
Cuando se toma la oración simple significativa del llinguaxe natural con posible valor de verdá o falsedá como una proposición atómica, como un tou ensin analizar.
  • Cálculu como lóxica de clases
Cuando se toma la oración simple significativa del llinguaxe natural con posible valor de verdá o falsedá como resultancia del analís de la oración como una relación d'individuos o posibles individuos que tienen o nun tener una propiedá común determinada como pertenecientes o non pertenecientes a una clase natural o a un conxuntu como individuus.
  • Cálculu de predicaos o cuantificacional
Cuando se toma la oración simple significativa del llinguaxe natural con posible valor de verdá o falsedá como resultancia del analís de la mesma de forma que una posible función predicativa (P), pedricar d'unos posibles suxetos variables (x) [tomaos en tola so posible estensión: (Tolos x); o referente a dellos indeterminaos: (dellos x)], o d'una constante individual esistente (a).
  • Cálculu como lóxica de relaciones
Cuando se toma la oración simple significativa con posible valor de verdá propiu, verdado o falsu, como resultancia del analís de la oración como una relación "R" que s'establez ente un suxetu y un predicáu.


La simbolización y formación de EBFs en cada unu d'esos cálculos, según les riegles de cálculu tratar en cálculu lóxicu.

Vease tamién[editar | editar la fonte]

Referencies[editar | editar la fonte]

  1. La palabra castellana cálculu derivar del llatín calculus que significa piedra, yá que s'utilizaben quixarros p'aidase nel resolvimientu de los problemes de cálculu aritméticu, pa cuntar y realizar les operaciones aritmétiques elementales. En medicina les piedres de la visícula o del reñón llámense cálculos
  2. la palabra algoritmu introducir en matemátiques n'honor a esti matemáticu árabe.
  3. Bien interesante la descripción d'esti procesu en Cifra (matemática)
  4. Ver lóxica empírica
  5. Sacrobosco, Algoritmos 1488; Georg von Peurbach, Algorithmus, 1492; Luca Pacioli; Summa de Arithmetica proportioni et porportionalita, 1494. Bien interesante y risondera esposición d'esta guerra en Cifra (matemática)
  6. Sombart W.: El burgués:Contribución a la hestoria espiritual del home económicu modernu. 1979. Madrid. Alianza
  7. La brúxula y les grandes rutes marítimes, col descubrimientu d'América; el tresformamientu de la guerra pola aplicación de la pólvora, qu'amena l'interés pol estudiu del movimientu de los proyectiles Tartaglia;l'aceptación del préstamu con interés y la creación de les sociedaes por acciones qu'empecipiaron el primera gran capitalismu; la nueves tables astronómiques sustituyendo les tables alfonsinas (Tycho Brahe); y el copernicanismo que ruempe la imaxe medieval del mundu
  8. Que llega a concebir el mundu como racional sometíu a una mathesis universal, la estensión, que convierte'l mundu material nun inmensu mecanismu, teoría mecanicista, perfectamente calculable según un orde matemáticu que surde del analís concebíu como métodu d'investigación.
  9. Cálculu de cóniques, estudiu mecánicu de les presiones, principiu de Pascal d'enorme importancia na hidroestática, y finalmente nel cálculu de probabilidaes.
  10. Col so famosu discutiniu alrodiu de la invención del cálculu infinitesimal de tanta importancia y que paez comprobáu ser productu independiente de cada unu d'ellos
  11. Cálculu de movimientos como'l de cayida llibre de los graves, Galiléu,; trayectoria de los planetes, Kepler; trayectoria de proyectiles pa l'artillería; midíes astronómiques y xeográfiques; presiones, Torricelli y Pascal; y toles aplicaciones práctiques d'estos cálculos pa la práctica del saléu y la naciente industria: bombes de vacíu, prensa hidráulica, eletricidá, magnetismu etc.
  12. Vease en Lóxica empírica la so aplicación por Galiléu al movimientu de cayida llibre de los graves.
  13. El modelu de Newton basar nuna xeometría analítica espacial de tres dimensiones inmutables como espaciu absolutu y una sucesión constante ya inmutable nuna dirección de tiempu absolutu nos qu'una infinidá de partícules materiales masas mover según un principiu universal la Gravitación Universal G={m*m' \over r^2}, y unes lleis dinámiques que rixen el movimientu: Principiu d'inercia; Principiu d'acción y reacción; y Principiu fundamental de la dinámica, f=m*a
  14. La Lóxica de Aristóteles caltúvose prácticamente como tal a lo llargo de los sieglos. Kant, a finales del sieglu XVIII, cuntaba que la Lóxica aristotélica nun sufriera cambeos sustanciales mientres tanto tiempu por tratase d'una ciencia a priori y analítica y, por tanto, constituyise como un llinguaxe formal; consideraba que diera de sí tou lo que podía ufiertar. Kant. Prólogu a la Crítica de la Razón Pura.
  15. La deducción suel definise como una inferencia na qu'a partir de verdaes universales conclúyese verdaes particulares. Esti criteriu nun s'afai bien a la lóxica actual, pos se prefier la idea de inferencia como tresformamientu conforme les riegles establecíes; sía que non diches riegles, que necesariamente se basen en tautoloxíes, pueden considerase como principios universales o xenerales, sobre los cualos constrúyese una deducción; por ello la distinción nun dexa de ser una matización técnica de poca importancia.
  16. L'habilidá peculiar del Sr.Holmes
  17. Desgraciadamente la representación gráfica de los símbolos nun ta normalizada, lo que lleva dacuando a ciertes dificultaes d'interpretación.
  18. Cuando nun Cálculu C, establezse una "correspondencia" de cada símbolu con elementos determinaos individuales estremables ente sigo, d'un Universu L, real, (tal universu L nun ye un conxuntu vacíu, poles mesmes condiciones qu'establecimos) ENTÓS dizse que L ye un MODELU de C.

Bibliografía[editar | editar la fonte]

Enllaces esternos[editar | editar la fonte]

Plantía:Portal Plantía:Wikiquote

Plantía:ORDENAR:Calculo


Plantía:Destacáu