Fundamentos De
las Matemáticas
¿Por qué pensar en el
fundamento?
En la historia de las matemáticas tuvieron que transcurrir varios años
antes de que el origen de las matemáticas se convirtiera en una cuestión
a resolver. Primero un paradigma de tipo intuicionista reinaba el ámbito
de las matemáticas, la gente entendía que estas se soportaban en
algunos axiomas y esos axiomas eran meras intuiciones que tenían un
soporte en la realidad. La concepción intuicionista se mantuvo por mucho
tiempo, hasta que Russell empezó a notar inconsistencias en esta teoría
y entramos en LA CRISIS DE LAS MATEMÁTICAS…
2
La crisis de las matemáticas
fue un período en el cual los
matemáticos y filósofos
Crisis de las empezaron a interesarse por
los fundamentos de las
matemáticas matemáticas, a continuación
veremos algunas de las
teorías más importantes que
surgieron en este período
3
● Logicismo
Teorías ● Intuicionismo
● Realismo
● Formalismo
4
• Matemáticas son
entendidas como una rama
de la lógica.
• Todas las matemáticas
Logicismo pueden trabajar en función
de un número reducido de
Las matemáticas como
conceptos lógico.
lógica aplicada
• Exponentes: Frege y Rusell
5
Implicaciones
La teoría
Bajo la teoría logicista fue El interés por
logicista las un precedente los
matemáticas importante fundamentos
se pueden para el círculo de las
conocer a de viena y la matemáticas
priori filosofía empieza a
analítica surgir
6
Conjuntos: mero lio
Si se entiende un conjunto como una colección de elementos que comporten algo en común
surge la pregunta ¿Qué comparten los elementos del conjunto universal? Una posible
respuesta a esto es que todos los elementos son conjuntos, pero entonces el propio
conjunto universal haría parte de si mismo, e aquí el problema que llevó a Rusell y Frege
replantearse las bases de las matemáticas.
7
Críticas
Algunas ramas de las Frege y Rusell caen La matemática
matemáticas no en constantes estaría reducida a
pueden explicarse contradicciones y proposiciones
mediante la lógica y errores al tratar de analíticas que no
la teoría le quita su derivar las aportan
estatus de saber matemáticas de la conocimiento
independiente lógica
8
Intuicionismo
Las matemáticas como una construcción
• Planteado por Kronecker y desarrollado por
Brouwer
• Las matemáticas son una libre creación del
espíritu es la posibilidad de la construcción
• Las matemáticas se construyen a partir de
la intuición y esta se basa en la realidad
Dios creó los números naturales y el hombre
creó las matemáticas
9
Implicaciones
Se rechaza la No existen los números
demostración por irracionales y transfinitos
reducción al absurdo
Si las matemáticas son una
Si se prueba que no-x es construcción el infinito no puede
absurdo no se sigue que x estar dado; solo es posible como
existe o existe de la forma que potencia(ej: los números
se propone naturales).
10
Demostración por reducción al absurdo
11
12
Críticas
Teniendo en cuenta la implicaciones de
esta teoría y su caracter místico ha
sido criticada por ser bastante
restrictiva y no ser suficientemente
clara a la hora de explicar por qué la
matemática puede aplicarse al mundo
13
Realismo
Las matemáticas no se crean, se descubren
• Conocido como Platonismo matemático
• Entiende las entidades matemáticas
como objetos con existencia propia e
independiente
• Las definiciones matemáticas describen
objetos y no los crean
• Hay limitantes en la abstracción que
nos impiden conocer a fondo las
entidades
Kurt Gödel
14
• Las matemáticas no son un
juego de símbolos
• En las matemáticas hay un
elemento creativo: el
Implicaciones matemático como un
científico
• Las entidades no requieren
del hombre para existir
• Lo verdadero y lo
demonstrable no coinciden
15
Críticas
Aunque el realismo permite explicar la relación
entre las entidades matemáticas y el mundo real,
muchos señalan que esta relación no existe en la
realidad: la matematización de los fenómenos es
una mera aproximación, por ejemplo nunca vamos a
ver un triangulo rectangulo en la realidad.
Formalismo
Generar cadenas a partir de axiomas
• Exponente: Hilbert
• Las matemáticas son un juego de lenguaje en
el que se aceptan ciertas reglas(axiomas).
• Un teorema es la concecuencia de manipular
símbolos en este juego: la verdad de algo se
puede deducir a partir de las reglas del
juego.
• Las verdades no son acerca de algo: los
entes matemáticos solo existen dentro del
juego.
17
Implicaciones
Todo lo que se No se puede Reduce las El infinito en acto
demuestra es probar la matemáticas a un se vuelve
verdad; hay consistencia del simple juego y sus plausible:
afirmaciones que juego mediante las entidades dejan paradoja del hotel
no se pueden propias reglas de existir persé infinito
probar
18
Paradoja del hotel infinito
[Link]
19
Críticas
A esta teoría se le critica reducir a las
matemáticas a un mero juego y hacer de las
verdades matemáticas una mera construcción;
aunque es eficiente para explicar el concepto de
infinito.
Las matemáticas se desligan de lo natural, no
Podemos hablar de límites en las matemáticas
20
Ahora un quizz
21
Según el grafico, a la
ecuación
, le corresponde el color:
A. Verde
B. Rojo
C. Azul
D. Gris
22
2. La función [Link] las 2 funciones:
tiene indeterminación en:
A. (1 , 2.5) A. Calcule la inversa de la
B. (2, 1.25) función f(x)
C. (1, 1.25) B. Calcule la inversa de la
D. (1.25, 1) función g(x)
C. Calcule (fₒg)
D. Calcule (gₒf)
23
Dada la ecuación:
Determina:
A. Dominio
B. Rango
C. Asíntotas verticales
D. Asíntotas horizontales
24
El dominio de la función de
color azul es:
A. X∈ (-∞,-3) v (-3, ∞)
B. X∈ (-∞,-3] v [-3, ∞)
C. X∈ (-∞, 2) v (2, ∞)
D. X∈ (∞,-3) v (-3,-∞)
25
Gracias por
la atención
26
