UnADM – Matemáticas – Introducción al pensamiento matemático

Bertranb Russell
1872-1970
Escritor, filósofo, matemático y lógico
británico. Fue precursor de la filosofía
analítica, sus trabajos en lógica han
influenciado a muchas generaciones.

Escribe, en colaboración con

Whitehead, “Principia Mathematica”.
Obra en la que intentan describir el Rechaza la
conjunto de axiomas e inferencias en ‘Este gato es existencia de las
lógica simbólica, desde el que toda proposiciones
verdad matemática podría ser probada un canino.’
falsas.

Propone la teoría de la
En un inicio, siguiendo el camino
descripción, para abordar el
‘El actual rey problema de ‘descripciones
de Frege, piensa que los
fundamentos de las matemáticas
de Francia definidas’ que podrían caer serían encontrados en la lógica.
en una paradoja, donde no Aplica un cercamiento
es calvo.’ serían ni verdaderas ni extensionista en el que, a su vez,
falsas. la lógica se basa en la teoría de
conjuntos.

Encuentra una paradoja en el

acercamiento de Frege a la teoría de
conjuntos. Esta sería conocida,
posteriormente, como la paradoja
de Russell. Simbólicamente Para solucionar la
formulada: paradoja, plantea la teoría
’Diferentes de tipos lógicos. El
conjunto de todos los

Se puede plantear como el conjunto

tipos de conjuntos que no son
miembros de sí mismo,
de todos los conjuntos que no clases’ corresponde a un tipo
forman parte de sí mismos; si este lógico distinto del de sus
conjunto no se contiene así mismo elementos.
debería formar parte de su mismo
conjunto y entonces dejaría de ser
parte de sí mismo. Ha sido formula
más intuitivamente como la
’paradoja del barbero’.

Su teoría de tipos y muchos de

sus trabajo subsecuentes han
encontrado aplicaciones
prácticas en el campo de las
ciencias de la computación.

Alumno: Julio César Pérez Gómez

Fuentes: Bertrand Russell (Wikipedia), Russell’s paradox (Wikipedia), What is a Propositional Function in Russell? (Stanford
Encyclopedia of Philosophy), Mathematical Logic as based on the Theory of Types. (Bertrand Russell)