CARACTERSTICAS DE LA MATEMTICA

1.- NTIMA RELACIN CON LA LGICA

La lgica es una ciencia formal y una rama de la filosofa que estudia los
principios de la demostracin e inferencia vlida. La matemtica es una ciencia
que, a partir de notaciones bsicas exactas y a travs del razonamiento lgico,
estudia las propiedades y relaciones de los entes abstractos (nmeros, figuras
geomtricas, smbolos).

Su relacin consiste en lo siguiente:

a)
La matemtica y la lgica son una sola disciplina, la primera es un
captulo de la lgica, la segunda es un captulo de la matemtica.
b)
La matemtica tiene afinidad con la lgica porque ambas son ciencias
formales que estudian estructuras y relaciones.
c)
Se distingue de la lgica porque a ella le interesa la estructura del
pensar y a la matemtica las relaciones entre nmeros y si sta estudia la
estructura del pensamiento, entonces deja de ser matemtica, para ser lgica.
d)
La lgica es la ciencia que estudia esas relaciones llamadas
pensamientos, pero la matemtica es la ciencia que estudia las relaciones
abstractas formales.

2.- UTILIZACIN DEL MTODO AXIOMTICO

Axioma procede de Axiou "valor positivo", "reconocimiento de la validez".

Indica un Principio en forma de proposicin- para otros enunciados que se
deducen de l.

En lgica y matemticas, un sistema axiomtico consiste en un conjunto de

axiomas que se utilizan, mediante deducciones, para demostrar teoremas.

Modernamente se exigen estas condiciones para un sistema axiomtico:

1.
Constituido por un sistema formalizado de signos, cuyo significado o
interpretacin no forma parte del sistema. La formalizacin permite deducir de
modo mecnico clculo- sin necesidad de interpretar los signos, sino
apoyndose en las reglas.
2.
Los axiomas se definen exclusivamente por no ser deducibles en el
sistema, no por su evidencia.
3.
Los axiomas son leyes y las reglas son indicaciones acerca de cmo
proceder.
4.
Con el formalismo y la distincin entre leyes y reglas, no se habla de
deductibilidad si no es en el seno del un determinado sistema.
5.
Junto con el sistema de los enunciados se formula el sistema de las
expresiones con sentido.

El mtodo axiomtico hace que la matemtica sea un sistema de proposiciones

absolutamente seguro e indiscutible, una deduccin lgica a partir de axiomas
(proposiciones fundamentales), sin tener ninguna relacin con la realidad.

Problema del mtodo axiomtico: El principal problema de este mtodo est en

la dependencia que tiene de la formalidad matemtica, lo cual al momento de
hacer ciencia puede ser un gran limitante, no toda investigacin requiere
cumplir con todo el rigor de la matemticas ni toda investigacin debe
reducirse a trminos matemticos, si bien la exactitud y la lgica de la
matemtica le da ms veracidad al conocimiento, no todo conocimiento se
puede matematizar, reducir todo a un anlisis matemtico es amenazar el
mismo progreso de la ciencia en todos sus aspectos.