Lógica matemática moderna
Páginas: 2 (448 palabras)
Publicado: 29 de enero de 2012
LÓGICA MATEMÁTICA
ÉPOCA MODERNA
En la edad media, el desarrollo de la lógica enfatizaba su centro de interés en la forma de argumentar, mientras que en la edad moderna la lógica matemática secentra en un estudio combinatorio de los contenidos es decir, se desarrollo una base firme sobre los fundamentos de las matemáticas, con definiciones precisas, axiomas y construcciones. Esto aplicatanto a un nivel sintáctico por ejemplo, el envío de una cadena de símbolos perteneciente a un lenguaje formal a un programa compilador, que lo convierte en una secuencia de instrucciones ejecutablespor una máquina, como a un nivel semántico, construyendo modelos apropiados (teoría de modelos)[1].
Principales exponentes:
Bertrand Russell (1872 – 1970) Matemático, filósofo y sociólogobritánico, nació en Trellek (país de Gales). Fue ganador del premio nobel de literatura.
En sus principios matemáticos Roussell, conto con la colaboración de Whitehead; en su libro principios dematemáticas, define la naturaleza de las matemáticas como: “Las matemáticas puras son la clase de todas las proposiciones de la forma , donde p y q son proposiciones que contienen una o varias variables, lasmismas en cada proposición, y ni p ni q contienen constantes, salvo constantes lógicas”[2]. En pocas palabras Russell intento justificar esta definición examinando de una manera muy detallada lasprincipales ramas de las matemáticas y analizando en ellas los conceptos matemáticos bajo el ángulo de los conceptos de lógica.
Roussell fue un anti aristotélico por excelencia, concluía que para estudiarlógica no era necesario fundamentarse en la lógica de Aristóteles. En la teoría de los conjuntos descubre paradojas, a la cual él la resuelve proponiendo la teoría ramificada de los tipos en 1907. Enconclusión Roussell propone fundamentar y axiomatizar la matemática a partir de conceptos lógicos
Alfred North Whitehead (1861 – 1947) Filósofo y matemático inglés, profesor en Londres desde...
ÉPOCA MODERNA
En la edad media, el desarrollo de la lógica enfatizaba su centro de interés en la forma de argumentar, mientras que en la edad moderna la lógica matemática secentra en un estudio combinatorio de los contenidos es decir, se desarrollo una base firme sobre los fundamentos de las matemáticas, con definiciones precisas, axiomas y construcciones. Esto aplicatanto a un nivel sintáctico por ejemplo, el envío de una cadena de símbolos perteneciente a un lenguaje formal a un programa compilador, que lo convierte en una secuencia de instrucciones ejecutablespor una máquina, como a un nivel semántico, construyendo modelos apropiados (teoría de modelos)[1].
Principales exponentes:
Bertrand Russell (1872 – 1970) Matemático, filósofo y sociólogobritánico, nació en Trellek (país de Gales). Fue ganador del premio nobel de literatura.
En sus principios matemáticos Roussell, conto con la colaboración de Whitehead; en su libro principios dematemáticas, define la naturaleza de las matemáticas como: “Las matemáticas puras son la clase de todas las proposiciones de la forma , donde p y q son proposiciones que contienen una o varias variables, lasmismas en cada proposición, y ni p ni q contienen constantes, salvo constantes lógicas”[2]. En pocas palabras Russell intento justificar esta definición examinando de una manera muy detallada lasprincipales ramas de las matemáticas y analizando en ellas los conceptos matemáticos bajo el ángulo de los conceptos de lógica.
Roussell fue un anti aristotélico por excelencia, concluía que para estudiarlógica no era necesario fundamentarse en la lógica de Aristóteles. En la teoría de los conjuntos descubre paradojas, a la cual él la resuelve proponiendo la teoría ramificada de los tipos en 1907. Enconclusión Roussell propone fundamentar y axiomatizar la matemática a partir de conceptos lógicos
Alfred North Whitehead (1861 – 1947) Filósofo y matemático inglés, profesor en Londres desde...
Leer documento completo
Regístrate para leer el documento completo.