Tarea 3 de laboratorio de didáctica de las matemáticas

Nombre: Christian Tovar y Jhony Tobar

1.) Demuestre que:
a) |R|=|2ℵ | 0

Demostración: para probar la anterior igualdad se debe probar que

|R|≤|2ℵ | y| R|≥|2ℵ |
0 0

Para probar la primera desigualdad debemos encontrar una función que vaya
desde 2ℵ hacia R definamos la función f como sigue
0

f :2ℵ ⟶ R0

s ⟶ f ( s )= ∑ 10−m
m∈ s

Probemos que f es inyectiva:

Sean s1 , s 2 ⊆2ℵ , si f ( s 1) =f (s 2), entonces
0

∑ 10−m= ∑ 10−m
m ∈s 1 m ∈ s2

De ahí que los elementos de s1 y s2 deben ser los mismos, puesto que si
hubiera alguno distinto la anterior igualdad no se cumpliría, luego
s1=s 2
Así, f es inyectiva y se tiene qué |R|≤|2ℵ | 0

Para probar la segunda desigualdad debemos encontrar una función que vaya
desde R hacia 2ℵ . 0

Para definir la función partamos del hecho de que los Q son numerables, por
lo tanto, podemos enumerar al conjunto de los Q , como sigue:
Q= { qm :m ∈ N }
Ahora definamos a la función g como sigue
g : R ⟶2ℵ 0

x ⟶ g ( x )={m : q m< x }
Ahora probemos que g es inyectiva:
Sean x , y ∈ R , si g ( x )=g ( y ) , entonces
g ( x )={ m: qm < x } ={ m: qm < y } =g( y )
De ahí se tiene que x= y , pues si se tiene lo contrario, digamos x < y , entonces
existen racionales entre x e y y de esta manera ya no se cumple la anterior
igualdad.
 Ahora, como x= y , la función g es inyectiva y por lo tanto |R|≥|2ℵ | 0

Así, de la demostración de las dos desigualdades se llega a que |R|=|2ℵ | 0

∎
2.) Responder la siguiente pregunta:
a.) Proponer dos ejemplos de paradojas diferentes a los explicados en clase y
explicar su contradicción.
Respuesta:
 Llamemos R al conjunto de todos los conjuntos que no se contienen a si
mismos.
Notemos que este conjunto lleva a una contradicción puesto que si R no
se contiene a si mismo entonces R deberá contenerse a si mismo, pero si
R si se contiene a si mismo entonces, por definición no deberá
contenerse a sí mismo, de ahí que:
∴ R se contiene a sí mismo si y solo si R no se contiene a sí mismo.
 Imaginemos un pueblo poblado solamente por hombres adultos, y que en
el pueblo existe una ley que dice que el barbero del pueblo deberá afeitar
a todos y cada uno de los hombres que no se afeiten a sí mismos.
miremos que esto lleva a una contradicción puesto que el barbero
también es un hombre que vive en el pueblo, entonces ¿Quién afeita al
barbero?
Note que, si el no se afeita a sí mismo, entonces el barbero del pueblo
deberá afeitarlo, pero el barbero del pueblo no puede afeitarse a sí
mismo, porque el barbero no afeita a nadie que se afeite a sí mismo, así
que:
∴ El barbero se afeita a sí mismo, si y solo si el no se afeita a sí mismo.

3.) Responda la siguiente pregunta:

a.)  Plantear en una página las ideas generales del constructivismo y del formalismo.
 Respuesta:
Estas dos formas de ver las matemáticas, son dos tendencias que han coexistido a lo largo
de la historia de las Matemáticas y que a lo largo de ella han aparecido enfrentadas la una
con la otra.
En filosofía de las matemáticas, el constructivismo o escuela constructivista requiere
para la prueba de la existencia de un objeto matemático, que este pueda ser encontrado o
«construido». Para esta escuela no es suficiente la prueba por contradicción clásica
(reducción al absurdo) que consiste en suponer que un objeto X no existe y partiendo de
esta premisa derivar una contradicción. Según los constructivistas tal procedimiento no
permite encontrar el objeto estudiado y en consecuencia su existencia no está realmente
probada. Esta forma de demostración por reducción al absurdo fue criticada por Kronecker
y sus seguidores ya que demostraba existencia sin construcción, y según ellos, para
establecer la existencia de un objeto era necesaria la construcción de este, es decir, era
necesario un procedimiento por el cual el objeto fuese construido al menos en principio,
aunque no era necesario que tal procedimiento fuese llevado a la práctica, lo único que
pedía era que la construcción fuese llevada a cabo en un número finito de pasos y que en
cada paso no hubiese ninguna duda de cómo se procedería en el paso siguiente. No hace
falta decir que Cantor no cumplía ninguno de estos requisitos en su demostración ya que no
generaba en ella ningún número trascendental.
El constructivismo encontró desde sus orígenes, un firme rechazo del publico matemático
en general, rechazo que vino variando desde una oposición total hasta un paternalismo
benevolente. Muy pocos matemáticos han sido, incluso en formas no estrictas, partidarios
del constructivismo.

El formalismo entiende que la explicación del significado del lenguaje matemático debe
basarse en la manipulación de símbolos, sin necesidad de postular la existencia de entidades
más allá de los símbolos matemáticos y sus reglas.  
Por ejemplo, la geometría euclidiana puede ser visto como un juego de lenguaje cuyo
objetivo consiste en mover ciertas cadenas de símbolos llamados axiomas de acuerdo con
un conjunto de reglas llamadas reglas de inferencia para generar nuevas cadenas. En este
juego se puede demostrar o probar que el teorema de Pitágoras es válido porque la cadena
que representa el teorema de Pitágoras se puede construir usando sólo las reglas
establecidas. 
De acuerdo con el formalismo, las "verdades" expresadas en la lógica y las matemáticas no
son acerca de los números, series, o triángulos o cualquier otra materia específica - de
hecho, no son "sobre" nada en absoluto. Son formas sintácticas cuyos contenidos o
significados o referencias a ver Sobre el sentido y la referencia no existen a menos que se
les dé una interpretación o semántica.
David Hilbert es considerado fundador del formalismo moderno. Su interés era la
construcción axiomática consistente y completa de la totalidad de las matemáticas,
seleccionando como punto de partida los números naturales y asumiendo que mediante el
uso de axiomas se obvia la necesidad de definir los objetos básicos con el fin de lograr un
sistema completo y consistente.