LO ÚLTIMO DE KOLMOGOROV

Publicado: diciembre 3, 2013 en Uncategorized

Después de un tiempo sin recomendaciones, vuelvo a incidir en las últimas novedades de la editorial URSS.

Ha caído en nuestros estantes, lo nuevo de Kolmogorov en esta editorial.

– Lógica Matemática. Introducción a la Lógica Matemática
– Lógica Matemática. Capítulos complementarios.
LÓGICA MATEMÁTICA: INTRODUCCIÓN A LA LÓGICA MATEMÁTICA

A. N. Kolmogórov y A. G. Dragalin, eminentes lógicos y matemáticos soviéticos, ejercieron una marcada influencia en el estilo y la dirección de las investigaciones en el campo de la lógica y la filosofía matemática a nivel mundial.

El presente libro fue escrito sobre la base del curso de lógica matemática impartido por ambos autores en la Facultad de Mecánica y Matemática de la Universidad Estatal «M. V. Lomonósov» de Moscú, y constituye el primer tomo de la obra «Lógica matemática», en la cual se da una exposición clásica de los conceptos y resultados fundamentales de la lógica matemática con elementos de teoría de conjuntos, teoría de algoritmos y fundamentos de la matemática.
9785396000711 (1)
El primer capítulo constituye por sí mismo un curso inicial mínimo de lógica matemática; al final del libro se presentan dos anexos relacionados con diferentes aplicaciones prácticas del material de este capítulo (códigos con corrección de errores y esquemas de contacto). En el segundo capítulo se analiza la semántica de los lenguajes lógico-matemáticos desde un punto de vista más específico. El tercer capítulo está dedicado a la deducibilidad en la lógica de predicados y a las teorías de primer orden.

La forma misma de exposición de los resultados fundamentales de la lógica moderna (elementos de la teoría de conjuntos, fundamentos de la lógica de proposiciones y la lógica de predicados) no supone una preparación especial por parte del lector, lo que hace que este libro sea accesible a toda persona interesada en la lógica matemática y los problemas filosóficos de la matemática moderna.

LÓGICA MATEMÁTICA: CAPÍTULOS COMPLEMENTARIOS

El presente libro constituye el segundo tomo de la obra «Lógica matemática» (el primer tomo, “Introducción a la lógica matemática”, también fue editado por nuestra editorial), en la que se da una exposición clásica de los conceptos y resultados fundamentales de la lógica matemática con elementos de teoría de conjuntos, teoría de algoritmos y fundamentos de la matemática. Ambos tomos fueron escritos sobre la base del curso de lógica matemática dictado por los autores en la Facultad de Mecánica y Matemática de la Universidad Estatal “M. V. Lomonósov” de Moscú. 

9785396000728
En el primer capítulo del presente libro se estudia la teoría de conjuntos sobre la base del sistema axiomático de Zermelo—Fraenkel. El segundo capítulo es una introducción a la teoría de algoritmos (computabilidad según Turing, tesis de Church, conjuntos recursivos, conjuntos recursivamente enumerables). El tercer capítulo está dedicado a la teoría de la deducción (teorema de completitud del cálculo de predicados de G”odel, teorema de L”owenheim—Skolem, segundo teorema de G”odel) y concluye con el examen del programa de Hilbert de fundamentación de la matemática.

Este libro está dirigido a lectores de nivel universitario interesados en la lógica matemática y los problemas filosóficos de la matemática moderna.

Andrej_Nikolajewitsch_Kolmogorov

Andréi Nikoláyevich Kolmogórov (Tambov25 de abril de 1903 – Moscú20 de octubre de 1987) fue un matemático ruso que hizo progresos importantes en los campos de la teoría de la probabilidad y de la topología. En particular, estructuró el sistema axiomático de la teoría de la probabilidad a partir de la teoría de conjuntos, donde los elementos son eventos. Trabajó al principio de su carrera en lógica constructivista y en las series de Fourier. También trabajó en turbulencias y mecánica clásica. Asimismo, fue el fundador de la teoría de la complejidad algorítmica. Obtuvo su doctorado en la Universidad Estatal de Moscúbajo la dirección de Nikolái Luzin en 1929.

Responder

Introduce tus datos o haz clic en un icono para iniciar sesión:

Logo de WordPress.com

Estás comentando usando tu cuenta de WordPress.com. Cerrar sesión /  Cambiar )

Google photo

Estás comentando usando tu cuenta de Google. Cerrar sesión /  Cambiar )

Imagen de Twitter

Estás comentando usando tu cuenta de Twitter. Cerrar sesión /  Cambiar )

Foto de Facebook

Estás comentando usando tu cuenta de Facebook. Cerrar sesión /  Cambiar )

Conectando a %s