Contenido

Introduccin:....................................................................................................... 2
Fundamentos matemticos del siglo XX:............................................................3
El logicismo...................................................................................................... 3
Intuicionismo:.................................................................................................. 3
Formalismo:..................................................................................................... 4
Hilbert, Boole, Lgica y la matemtica aplicada.................................................5
Algebra de Boole.............................................................................................. 9
Lgica proposicional...................................................................................... 12
Teora de conjuntos........................................................................................... 13
Teora axiomtica de conjunto....................................................................14
OPERACIONES ENTRE CONJUNTOS.............................................................14
Conjuntos finitos: Combinatoria.....................................................................16
Conclusin........................................................................................................ 17

Introduccin:
La Matemtica, como todas las ciencias, ha pasado en su largo
desarrollo por numerosas crisis, las cuales ha podido superar fcilmente,
resurgiendo de cada una de ellas de forma ms slida y pujante,
mostrando en su acervo metodolgico nuevos y ms refinados
instrumentos de investigacin. Estas crisis han sido producto de las
constantes innovaciones que ha experimentado la matemtica a lo largo
de su historia, quizs una de las ms destacables y reconocidas es la
denominada Crisis epistemolgica que sigui a la creacin de la
Geometra analtica por Renato Descartes, hacia 1637, y del Clculo
infinitesimal por Newton y Leibniz (hacia fines del siglo XVII). Se podra
decir que durante el siglo siguiente los fundamentos fueron dejados de
lado enfocndose en otro tipo de cuestiones, por lo que hubo que
esperar recin hasta mediados del siglo XIX para que por primera vez,
con claridad y precisin, surgieran los conceptos de nmero real, de
lmite, de infinitesimal, y que estos traigan arraigados conceptos como el
de continuidad. A raz de esto, suele decirse que la matemtica, y
sobretodo el clculo, atraves durante el siglo XIX una metamorfosis que
lo llevo de un estado casi metafsico a uno cientfico, introducindose en
sus fundamentos el rigor y alcanzndose as su estructuracin dentro de
las tradicionales normas helnicas de perfeccin lgica.
Adentrndonos ya en el siglo XX, y a consecuencia de estos sucesivos
estadios que atraves la matemtica, se presenta entonces la que fue
denominada y conocida como la gran Crisis de los fundamentos,
donde surgira el inters y esfuerzo, de ciertos matemticos, por
introducir rigor lgico en matemtica, lo que llevara, entre otras cosas,
a investigar lo infinito bajo la forma de la teora de conjuntos y a la
dramtica aparicin hacia 1900 de las paradojas lgicas o conjuntistas.
Sucesos que se intentaran abordar y desarrollar en sus aspectos
principales dentro de los siguientes captulos, partiendo en primera
instancia por conocer y explicar los diferentes enfoques de la poca y
sus respectivos fundamentos (Logicismo, Intuicionismo, Formalismo),
para despus adentrarnos en las temticas y aportes conceptuales de
mayor relevancia tales como la teora de conjuntos, la lgica
proposicional, los aportes de Hilbert, el lgebra de Boole, entro otros.

Fundamentos matemticos del siglo XX:

Cuando se habla de los Fundamentos de la matemtica, se hace
referencia al estudio de conceptos matemticos bsicos
como nmeros, figuras geomtricas, conjuntos, funciones, etc. y a cmo
estos conforman jerarquas de estructuras y conceptos an ms
complejos, estructuras que forman el lenguaje de la matemtica.
A principios del siglo XX, tres escuelas de filosofa de la matemtica
tenan visiones contrapuestas sobre los fundamentos matemticos,
conocidas como, Formalismo, Intuicionismo y por ltimo el Logicismo. A
continuacin se detallaran las ideas principales de cada una.
El logicismo
El logicismo, bsicamente, considera y asume que la matemtica es una
extensin de la lgica y que por lo tanto toda la matemtica es reducible
a la lgica.
Parte de sus dos tesis principales:

Los conceptos de las matemticas pueden ser derivados de

conceptos lgicos a travs de definiciones explcitas.
Los teoremas de las matemticas pueden ser derivados de
axiomas lgicos a travs puramente de la deduccin lgica.
(Putnam, 1964)

Tomando en cuenta estas dos tesis, los logicistas construyen los

nmeros naturales dndole atributos como conceptos lgicos y no como
objetos. Pero son incapaces de poder establecer una biyeccin a los
reales, por lo que los llaman: huecos o incompletos. El logicismo tiene
como virtud que intenta crear un idioma universal entre matemticos.
Intuicionismo:
El Intuicionismo tiene como fundamento construir las matemticas como
objetos a partir del uso de la razn, la existencia de un objeto es
equivalente a la posibilidad de su construccin. Esta corriente est muy

influenciada por el constructivismo, la filosofa idealista kantiana. El

Intuicionismo no niega la manera de construir conocimiento fuera de
esta corriente sin embargo lo considera incompleto ya que no est
apegado a la realidad. La tesis principal de esta corriente es: la
Matemtica est constituida exclusivamente por un conjunto de entes
construidos intuitivamente por el matemtico.
Los intuicionistas, como Brouwer (1882-1966), sostienen que la
matemtica es una creacin de la mente humana. Los nmeros no son
ms que entidades mentales, que no existiran si las mentes humanas
no pensaran en ellos. Esta corriente tiene el gran defecto de creer en el
idealismo de que solo existe una nica verdad.
Formalismo:
Esta corriente se plantea reemplazar los razonamientos intuitivos por
formulas y reglas, denominados axiomas, las cuales deben ser
traducidas a formalismos. Uno de los principales matemticos
formalistas fue como David Hilbert, matemtico alemn del siglo XIX
considerado uno de los ms influyentes de su poca ya que quiso
axiomatizar la matemtica, trabaj en geometra, lgica, teora de
nmeros entre otros campos. El formalismo asegura que la matemtica
es un juego carente de significado en el que uno lo practica con smbolos
tambin carentes de significado de acuerdo a unas reglas formales
establecidas de antemano. Por tanto es una actividad de pensamiento
autnoma, que establece como requisitos y problemas fundamentales
de un sistema formal matemtico la consistencia y la completitud.
Hilbert considera que el mtodo axiomtico resulta el ms adecuado
para una investigacin sobre los fundamentos de la teora de los
nmeros.
El formalismo cuenta con cinco ideas principales:
Formalizacin de todas las matemticas: todas las afirmaciones
matemticas deberan ser escritas en un lenguaje preciso y formal, y
manipuladas de acuerdo a reglas bien definidas.
Integridad: una prueba de que todas las afirmaciones matemticas
pueden ser probadas en el formalismo.
Consistencia: una prueba de que ninguna contradiccin puede ser
obtenida en el formalismo de las matemticas. Esta prueba de

consistencia debera preferentemente usar slo razonamiento finitista

acerca de los objetos matemticos finitos.
Conservacin: una prueba de que ningn resultado acerca de "objetos
reales" obtenida usando razonamiento sobre "objetos ideales" (como los
conjuntos incontables) puede ser probado sin usar objetos ideales.
Decidibilidad: debera haber un algoritmo para decidir la verdad o
falsedad de cualquier afirmacin matemtica.
Hilbert, as mismo le da otra vez protagonismo a la teora de conjuntos
de Cantor de la cual considera que no es el fundamento de las
matemticas pero si es una buena herramienta para el fundamento.

Hilbert, Boole, Lgica y la matemtica aplicada.

David Hilbert identific tres sistemas bsicos de los objetos para la
geometra: puntos, lneas, y planos. El elemento de la lnea geometra es
el punto. Los elementos de la geometra plana son el punto y la
lnea. Los elementos de la geometra de espacio son puntos, lneas, y
planos.
Los puntos, las lneas y los planos tienen relaciones especficas. Este la
relacin es descrita por los axiomas de la geometra:
I. Axiomas de la incidencia,
II. Axiomas de la orden,
III. Axiomas de la congruencia,
IV. Axioma de paralelos, y
V. Axiomas de la continuidad.
Axiomas de incidencia
1. Dados dos puntos
y
existe una recta que se corresponde o est
asociada con ellos. (En este caso tambin diremos que dados dos puntos
existe una recta que pasa por ellos y que dichos puntos estn sobre la
recta.)

2. Dados dos puntos

y
o est asociada con ellos:

existe una nica recta que se corresponde

3. En una recta existen al menos dos puntos. Existen al menos tres

puntos no situados en una recta.
4. Dados 3 puntos , , , no situados en una misma recta existe un
plano que se corresponde o est asociado con ellos. En cada plano
existe por lo menos un punto. En este caso diremos que el plano pasa
por los puntos , , .
5. Dados tres puntos , , , no ubicados sobre la misma recta, existe
un nico plano que se corresponde mutuamente o est asociado con
ellos:

6. Si dos puntos
y
de una recta , estn situados en un plano
entonces la recta a esta contenida o situada en el plano .

7. Si dos planos tienen un punto en comn

punto en comn .

8.

, entonces tienen otro

Existen al menos 4 puntos no situados en un plano.

Axiomas de la orden:
Si un punto
est entre los puntos
y , tambin est entonces
entre
y , y existe una recta que contiene a los tres.
Si
y
entre
y .

son dos puntos de una recta, existe al menos otro punto

y , y al menos un punto
de tal manera que
est entre

Dados tres puntos en una recta, slo uno de ellos est entre los otros
dos.

Dada una pareja de puntos

y , puede hablarse entonces
del segmento
. Los puntos del segmento
son todos aquellos que
estn entre
y . Estos dos son los extremos del segmento.
Axioma de Pasch: Sean ,
y
tres puntos no situados en la misma
recta y sea una recta contenida en el plano
, que no pasa por
ninguno de los tres puntos mencionados. Entonces, si pasa por algn
punto del segmento
, entonces pasa tambin por algn punto o bien
del segmento
o bien del segmento
.
Puede probarse entonces que dadas una recta

y un punto

en ella,

puede dividirse la recta en dos

, disjuntos entre s,
que emanan de , tales que su unin constituye toda la recta a
excepcin de . De igual modo, dados un plano y una recta en el,
pueden distinguirse en l dos partes disjuntas, los lados de respecto
a , donde de nuevo su unin constituye todo el plano a excepcin de .

Axioma de Paralelas:
En un plano puede encontrarse una nica recta que pase por un
punto dado , el cual no pertenece a una recta dada , de forma que
y no tengan ningn punto en comn. Est recta se llama la paralela a
que pasa por .
Axiomas de Congruencia:
Se define un ngulo como una pareja de semirayos
yaciendo en un
plano que emanan del mismo punto . Se demuestra que puede
dividirse entonces el plano en dos regiones: el interior y
el exterior de
, donde y son loslados del ngulo y
su vrtice.
El segmento entre dos puntos cualesquiera del interior est contenido
por completo en dicha regin. Esto no se cumple para una pareja de
puntos cualesquiera en el exterior.
Un tringulo queda definido por tres segmentos de la forma
,
y
. Dichos segmentos son los lados del tringulo, y los tres puntos
,
y
son su vrtices. El tringulo divide el plano definido por sus tres
vrtices en interior y exterior, con las mismas propiedades que en caso
de los ngulos. Al ngulo definido por los dos semirayos que salen de y
que pasan por
y
respectivamente se le denota por
, y su
interior contiene todos los puntos del interior del tringulo
.

Si

son dos puntos de la recta , y

es un punto sobre la recta

(sea esta igual a o no), se tiene que, de un lado cualquiera de

en la
recta , existe un nico
tal que el segmento
es congruente con
el segmento
, y lo denotamos por
congruente consigo mismo.

. Todo segmento es

Si un segmento
es congruente con el segmento
y tambin con
el segmento
, entonces estos dos ltimos son congruentes entre s
(la congruencia entre segmentos es transitiva).
Sean

dos segmentos de la misma recta sin puntos en comn

a excepcin de , y sean adems

y
dos segmentos de la
recta
(sea sta igual o no a ) sin ms puntos en comn que
.
Entonces, si
y
, se tiene que
.
Sea un ngulo

en el plano

y sea un recta

en el plano

Supngase que en el plano , se escoge uno de los lados respecto a

Sea un semirayo
de
que emana de un punto
de dicha recta.

Entonces, en el plano
existe un nico semirayo
que sale de
de
forma que
es congruente con
, y de forma que todos los
puntos del interior de
estn en el lado escogido de . Se denota
por
. Todo ngulo es congruente consigo mismo.
Si el ngulo
ngulo

es congruente con el ngulo

y con el
, entonces estos dos son congruentes entre s.

Si dados dos tringulos

y
se tiene
,
, entonces se tiene a su vez
.

,
y

Axioma de Continuidad:
Axioma de Arqumedes. Sea
un punto cualquiera de una recta,
situado entre los puntos arbitrarios
y
de la misma. Tmense los
puntos
entre

,
y

,... de tal manera que

est entre

, etc. Supngase adems que los segmentos

est
,

,
,... son todos congruentes entre s. Entonces, en esta serie existe
siempre un cierto
tal que
est entre
y
.
David Hilbert adems, se vale del algebra de Boole, y de la teora de
conjuntos para desarrollar una generalizacin del concepto de espacio

eucldeo. Esta generalizacin permite que nociones y tcnicas

algebraicas y geomtricas aplicables a espacios de dimensin dos y tres
se extiendan a espacios de dimensin arbitraria, incluyendo a espacios
de dimensin infinita. Ejemplos de tales nociones y tcnicas son la
de ngulo entre vectores, ortogonalidad de vectores, el teorema de
Pitgoras, ortogonal, distancia y convergencia de una sucesin. Estos
espacios son denominados en honor a l, como Espacios de Hilbert y
los utiliz en su estudio de las ecuaciones integrales.
Formalmente se definen como un espacio de producto interior que
es completo con respecto a la norma vectorial definida por el producto
interior.

Algebra de Boole
A mediados del siglo XIX, George Boole (1815-1864), en sus libros: "The
Mathematical Analysis of Logic" (1847) y "An Investigation of te Laws of
Thought" (1854), desarroll la idea de que las proposiciones lgicas
podan ser tratadas mediante herramientas matemticas. Las
proposiciones lgicas son aquellas que nicamente pueden
tomar valores Verdadero/Falso, o preguntas cuyas nicas respuestas
posibles sean S/No. Segn Boole, estas proposiciones pueden ser
representadas mediante smbolos y la teora que permite trabajar con
estos smbolos, sus entradas (variables) y sus salidas (respuestas) es la
Lgica Simblica. Dicha lgica simblica cuenta con operaciones lgicas
que siguen el comportamiento de reglas algebraicas. Por ello, al
conjunto de reglas de la Lgica Simblica se le denomina Algebra de
Boole.
Definicin del algebra de boole:
Dado un conjunto:
formado cuando menos por los elementos:
en el que se ha definido:
Una operacin unaria interna, que llamaremos complemento:

En esta operacin definimos una aplicacin que, a cada elemento a de B,

le asigna un b de B.

Para todo elemento a en B, se cumple que existe un nico b en B, tal

que b es el complemento de a.
La operacin binaria interna, que llamaremos suma:

por la que definimos una aplicacin que, a cada par ordenado (a, b)
de B por B, le asigna un c de B.

Para todo par ordenado (a, b) en B por B, se cumple que existe un

nico c en B, tal que c es el resultado de sumar a con b.
La operacin binaria interna, que llamaremos producto:

Con lo que definimos una aplicacin que, a cada par ordenado (a, b)
de B por B, le asigna un c de B.

Para todo par ordenado (a, b) en B por B, se cumple que existe un

nico c en B, tal que c es el resultado del producto a y b.
El lgebra booleana emplea los siguientes postulados o axiomas:
Cerrado. El sistema booleano se considera cerrado con respecto a un
operador binario si para cada par de valores booleanos se produce un
solo resultado booleano. Los operadores que utilizan son Y (AND), O
(OR), Negacin (NOT).
Conmutativo. Se dice que un operador binario " " es conmutativo si A
B = B A para todos los posibles valores de A y B.
Asociativo. Se dice que un operador binario " " es asociativo si (A B)
C = A (B C) para todos los valores booleanos A, B, y C.
Distributivo. Dos operadores binarios " " y " % " son distributivos si A
(B % C) = (A B) % (A C) para todos los valores booleanos A, B, y C.

Identidad. Un valor booleano I se dice que es un elemento

de identidad con respecto a un operador binario " " si A I = A.
Inverso. Un valor booleano I es un elemento inverso con respecto a un
operador booleano " " si A I = B, y B es diferente de A, es decir, B es
el valor opuesto de A.
A partir de estos 5 axiomas se
pueden deducir y demostrar los teoremas fundamentales como
idempotencia, absorcin, identidad, involucin, ley de complemento y
leyes de Morgan, postulados que se encuentran dentro de la teora de
conjuntos, donde se ve descripta el lgebra de Boole.
En 1938 Claude Shannon propuso que con esta algebra es posible
modelar los llamados Sistemas Digitales, y John Von Neumann pudo
enunciar el modelo de arquitectura que define la estructura interna de
los ordenadores desde la primera generacin. Todas las variables y
constantes del lgebra booleana, admiten slo uno de dos valores en
sus entradas y salidas: S/No, 0/1 o Verdadero/Falso. Estos valores
bivalentes y opuestos pueden ser representados por nmeros binarios
de un dgito (bits).
Podra decirse entonces que el lgebra de Boole fue un intento de
utilizar las tcnicas algebraicas para tratar expresiones de la lgica
proposicional. A continuacin se profundizara sobre esta ltima as como
tambin en la mencionada teora de conjuntos.

Lgica proposicional
Una proposicin es cualquier enunciado lgico al que se le pueda asignar
un valor de verdad o falsedad.
Dada una proposicin p, se define la negacin de p como la proposicin
p' que es verdadera cuando p es falsa y que es falsa cuando p es
verdadera. Se lee "no p".
A partir de una o varias proposiciones elementales se pueden efectuar
diversas operaciones lgicas para construir nuevas proposiciones.
A continuacin se describen las principales operaciones lgicas entre
dos proposiciones p,q y sus tablas de verdad:

Conjuncin: es aquella proposicin que es verdadera cuando p y q son

verdaderas, y falsa en cualquier otro caso.
Se escribe p q, y se lee "p y q".
Disyuncin: es aquella proposicin que es verdadera cuando al menos
una de las dos p o q es verdadera,
y falsa en caso contrario. Se escribe p q, y se lee "p o q".
Disyuncin exclusiva: es aquella proposicin que es verdadera cuando
una y slo una de las dos p o q es verdadera,
y falsa en cualquier otro caso. Se escribe p q, y se lee "p o q pero no
ambas". Se usa muy poco.
Condicional: es aquella proposicin que es falsa nicamente cuando la
condicin suficiente p es verdadera y la
condicin necesaria q es falsa. Se escribe p q, y se lee "si p entonces
q".
Bicondicional: es aquella proposicin que es verdadera cuando p y q
tienen el mismo valor de verdad,
y falsa en caso contrario. Se escribe p q, y se lee "si y slo si p
entonces q".
Una proposicin se dice que es una tautologa si su valor de verdad es
siempre 1 independientemente de los valores
de las proposiciones que lo componen; por ejemplo: p p'.
Una proposicin se dice que es una contradiccin si su valor de verdad
es siempre 0 independientemente de los valores
de las proposiciones que lo componen; por ejemplo: p p'.
Una paradoja es una proposicin a la que no se le puede asignar ningn
valor de verdad; suelen estar relacionadas con
incorrecciones en el lenguaje lgico. Por ejemplo: p="la proposicin p es
falsa".
Dos proposiciones p y q se dicen equivalentes si tienen la misma tabla
de verdad en funcin de las proposiciones elementales
que lo componen; esta definicin equivale a decir que la proposicin p
q es una tautologa.

Teora de conjuntos
El desarrollo histrico de la teora de conjuntos se atribuye a Georg
Cantor, que comenz a investigar cuestiones conjuntistas puras del
infinito en la segunda mitad del siglo XIX, precedido por algunas ideas
de Bernhard Bolzano e influenciado por Richard Dedekind. El
descubrimiento de las paradojas de la teora cantoriana, de conjuntos,
formalizada por Gottlob Frege, propici los trabajos de Bertrand Russell,
Ernst Zermelo, Abraham Fraenkel y otros a principios del siglo XX.
La teora de conjuntos ms elemental es una de las herramientas
bsicas del lenguaje matemtico. Dados unos elementos, unos objetos
matemticos como nmeros o polgonos por ejemplo, puede imaginarse
una coleccin determinada de estos objetos, un conjunto. Cada uno de
estos elementos pertenecen al conjunto, y esta nocin de pertenencia es
la relacin relativa a conjuntos ms bsica
Si a es un elemento del conjunto A se denota con la relacin de
pertenencia a A.
En caso contrario, si a no es un elemento de A se denota a A.
Se puede definir un conjunto:
o por extensin, enumerando todos y cada uno de sus
elementos.
o por comprensin, diciendo cul es la propiedad que los
caracteriza.

Se dice que A est contenido en B (tambin que A es un

subconjunto de B o que A es una parte de B),
y se denota A B, si todo elemento de A lo es tambin de B, es
decir, a A a B.
Dos conjuntos A y B se dicen iguales, y se denota A = B, si
simultneamente A B y B A;
esto equivale a decir que tienen los mismos elementos

Teora axiomtica de conjunto

Las teoras axiomticas de conjuntos son colecciones precisas de
axiomas escogidos para poder derivar todas las propiedades de los
conjuntos con el suficiente rigor matemtico. Algunos ejemplos
conocidos son:

La teora de conjuntos de Zermelo-Fraenkel

La teora de conjuntos de Neumann-Bernays-Gdel

La teora de conjuntos de Morse-Kelley

OPERACIONES ENTRE CONJUNTOS

Dados dos conjuntos A y B, se llama diferencia al conjunto A B := {a
A | a B}.
Asimismo, se llama diferencia simtrica entre A y B al conjunto A
B := (A B) A
Se llama unin de dos conjuntos A y B al conjunto formado por objetos
que son elementos de A o de B,
es decir: A B := { x | x A x B}.
Se llama interseccin de dos conjuntos A y B al conjunto formado por
objetos que son elementos de A y de B,
es decir: A B := {x | x A x B}.
PROPIEDADES

UNION

INTERSECCION

1.- Idempotencia

AA=A

AA=A

2.- Conmutativa

AB=BA

AB=BA

3.- Asociativa

A ( BC ) = ( A B ) C

A ( BC ) = ( A B ) C

4.- Absorcin

A ( AB ) = A

A ( AB ) = A

5.- Distributiva

A ( BC ) = ( A B ) ( A A ( BC ) = ( A B ) (
C)
C)

6.- Complementariedad A A' = U

A A' =

Estas propiedades hacen que partes de U con las operaciones unin e

interseccin tenga una estructura de lgebra de Boole.
Adems de stas, se verifican tambin las siguientes propiedades:
o A = A , A = ( elemento nulo ).

o A U = U , A U = A ( elemento universal ).
o ( A B )' = A' B' , ( A B )' = A' B' ( leyes de Morgan ).

Se llama grafo relativo a A B a todo subconjunto G A B.

Dado un grafo G relativo a A B, se llama proyeccin de G sobre A al
conjunto
ProyAG := { a A : (a,b)G, b B}
DIAGRAMAS DE VENN
Los conjuntos de suelen representar grficamente mediante "diagramas
de Venn", con una lnea que encierra a sus elementos.
As, todas las operaciones entre conjuntos se pueden representar grficamente con el fin de
obtener una idea ms intuitiva.
AB

AB

AB

AB

AB

Conjuntos finitos: Combinatoria

La Combinatoria es la parte de las Matemticas que se dedica al estudio de los conjuntos
finitos.
Puesto que la propiedad principal de estos conjuntos es que se puede representar su nmero
de elementos
mediante un nmero natural (llamado cardinal de dicho conjunto), la tarea bsica de la
Combinatoria es
precisamente el clculo del cardinal de dichos conjuntos.
Para dicho clculo se necesita definir los llamados nmeros combinatorios:
(1) Nmeros factoriales: se define n! mediante la ley de recurrencia
n! = n (n-1)!
y la condicin inicial 0! := 1. De forma iterativa, se tiene
n! = n (n-1) (n-2) ... 3 2 1
n! es el nmero de permutaciones de n elementos, es decir, es el nmero total de formas de
ordenar n elementos
de todas las formas distintas posibles.
(2) Coeficientes binomiales: se definen por la frmula

El nmero "n sobre k" es el nmero de combinaciones de n elementos tomados de k en k,

es decir,
el nmero de subconjuntos distintos de k elementos que tiene un conjunto con n elementos.
Los coeficientes binomiales tienen dos propiedades bsicas:
(a)

(b)

Como aplicacin de los nmeros combinatorios y del Binomio de Newton, podemos contar
el nmero total de
subconjuntos que tiene un conjunto A con n elementos, es decir, el cardinal de partes de A;
para ello, notemos
que el nmero de tales subconjuntos se obtiene sumando el nmero de subconjuntos de 0
elementos ms los de
1 elemento, ms los de 2 elementos, y as hasta los de n elementos, es decir:

Pero esta cantidad corresponde a desarrollar mediante el binomio de Newton la expresin

(1+1)n = 2n
As pues se obtiene que # (A) = 2n si # A = n.

Conclusin
Est claro luego de lo desarrollado a lo largo de esta monografa que el
siglo XX esta signado por los avances matemticos que implicaron
avances y aportes enormes, e impensados hasta la poca, para todas las

ciencias y mbitos y por consecuente para la humanidad. Tanto lo hecho

por Hilbert y su concepto de Espacios, el cual resulto de importancia crucial en
la formulacin matemtica de la mecnica cuntica, as como tambin la aplicacin y
desarrollo de conceptos como el lgebra de Boole y la lgica proposicional aplicada a
diferentes campos, significaron durante los ltimos siglos un desarrollo

rotundo y significativo de las tecnologas y la electrnica analgica,

otorgando as grandes aportes a todas las ciencias y campos sociales,
desde medicina y el desarrollo de electro medicina y sus aplicaciones
para la salud, herramientas y maquinaria para tratamiento y diagnstico
sistematizados, hasta en astronoma con el desarrollo de herramientas
tales como satlites, sondas, y la capacidad de obtener informacin
sobre el universo nunca antes alcanzada, as como tambin impact en
el desarrollo de instrumentos utilizados en meteorologa, biologa, fsica,
bien podra decirse que los alcances son infinitos y en todos los mbitos.
Hoy en da debido a esto el flujo y procesamiento de informacin crece
exponencialmente brindando la capacidad de innovacin y desarrollo de
conocimiento al alcance de la mano. Si bien no hay que otorgarle merito
absoluto nicamente a los matemticos del siglo XX y mucho menos
reducir la matemtica del siglo a unos pocos nombres, queda claro de
todos modos que frente a las grandes crisis matemticas la humanidad
ha podido encontrar alternativas frente a los problemas otorgndole
significados ms slidos a la matemtica y sus fundamentos.