URSS.ru Магазин научной книги
Перейти на канал URSS
Обложка Boss V. Lecciones de Matemática: Lógica, algoritmos, computabilidad. De Diofanto a Turing y Gödel Обложка Boss V. Lecciones de Matemática: Lógica, algoritmos, computabilidad. De Diofanto a Turing y Gödel
Id: 107656
21.9 EUR

Lecciones de Matemática:
Lógica, algoritmos, computabilidad. De Diofanto a Turing y Gödel. T.6

URSS. 2011. 216 с. ISBN 978-5-396-00069-8.
Белая офсетная бумага
  • Мягкая обложка

Аннотация

El presente libro se caracteriza por una exposición breve y clara de los temas tratados, valiéndose de analogías y sin entrar en detalles innecesarios. Se presta especial atención a la interrelación de los resultados y al enfoque general del material considerado.

Este tomo está dedicado a los fundamentos de la matemática, los problemas de la computabilidad y la deducibilidad. Entre los temas tratados podemos mencionar las máquinas de Turing, las ...(Подробнее)funciones recursivas, la lógica, la teoría de modelos, la indecidibilidad de la aritmética y la imposibilidad de axiomatizarla, el décimo problema de Hilbert. Los problemas clásicos relacionados con estos temas se han abordado desde un nuevo punto de vista, facilitando de este modo su comprensión (por ejemplo, los teoremas de Gödel se demuestran en unas pocas líneas).

Para estudiantes, profesores, ingenieros y científicos.


Índice
top
Introducción a la serie "Lecciones de Matemática"
Prólogo al sexto tomo
1Algoritmos y computabilidad
 1.1.Cálculos universales
 1.2.?`Qué es un algoritmo?
 1.3.Computabilidad
 1.4.Ejemplos y comentarios
 1.5.Problema de la indeterminación
 1.6.Conjuntos enumerables
 1.7.Procedimientos efectivos
 1.8.Máquinas de Turing
 1.9.Sobre el funcionamiento de las máquinas de Turing
 1.10.Funciones recursivas
 1.11.Conjuntos diofánticos
 1.12.Comentarios y complementos
2Incompletitud de la aritmética
 2.1.Teoremas de G\"odel
 2.2.Imposibilidad de formalización de la verdad
 2.3.Consistencia
 2.4.Ecuaciones no resolubles
 2.5.Sobre las verdades aritméticas
 2.6.?`Es posible ayudar a la aritmética desde afuera?
 2.7.Demostración del segundo teorema de G\"odel
 2.8.Paradojas lingüísticas
3Funciones universales y enumeraciones
 3.1.Funciones universales
 3.2.Conjuntos universales
 3.3.Isomorfismo de enumeraciones de G\"odel
 3.4.Teorema del punto fijo
 3.5.Teorema de Rice
 3.6.Enumeraciones y g\"odelización
4Deducibilidad
 4.1.Conflicto con la definición de verdad
 4.2.Problema HSI de Tarski
 4.3.Algoritmos normales de Márkov
 4.4.Sistemas de Post
 4.5.Problema de la equivalencia de palabras
 4.6.Tag-problemas
 4.7.Gramáticas formales
 4.8.Teoría y práctica
5Lógica matemática
 5.1.?`En qué consiste su misión?
 5.2.Variables, conectivas y funciones
 5.3.Álgebra de Boole
 5.4.Fórmulas, proposiciones, predicados
 5.5.Sintaxis y semántica
 5.6.Cálculo proposicional
 5.7.Lenguajes de primer orden
 5.8.Interpretaciones y modelos
 5.9.El lenguaje de la aritmética
 5.10.Carácter aritmético de las funciones computables
 5.11.Medios prohibidos
 5.12.Comentarios
6El lenguaje diofántico y el décimo problema de Hilbert
 6.1.Conjuntos diofánticos y funciones diofánticas
 6.2.Problemas indecidibles
 6.3.Polinomio universal
 6.4.Resultados técnicos
 6.5.Complementos
7Matemática constructiva
 7.1.Números constructivos
 7.2.Sucesión de Specker
 7.3.Conflicto con el axioma de elección
 7.4.Infinito actual
 7.5.Instrumento o realidad
8Teorías axiomáticas
 8.1.Aritmética de Peano
 8.2.Paradoja de la categoricidad
 8.3.Axiomática de Zermelo–Fraenkel
 8.4.Geometría no euclídea
 8.5.La hipótesis del continuo
9Teoría de modelos
 9.1.El aspecto lógico
 9.2.Qué se encuentra tras los resultados de Gentzen
 9.3.La paradoja de Skolem
 9.4.Modelos de estructuras booleanas
 9.5.Cómo el modelo destruye el esquema
 9.6.Modelos abstractos y modelos concretos
 9.7.?`En qué consiste la idea general?
 9.8.Bases finitas
10Grados de indecidibilidad
 10.1.Reducibilidad
 10.2.Conjuntos productivos y conjuntos creativos
 10.3.Conjuntos inmunes
 10.4.Máquinas con oráculo
 10.5.Grados de Turing
 10.6.Jerarquías de los grados
11Resumen de las definiciones y resultados fundamentales
 11.1.Algoritmos y computabilidad
 11.2.Incompletitud de la aritmética
 11.3.Funciones universales y enumeraciones
 11.4.Deducibilidad
 11.5.Lógica matemática
 11.6.Lenguaje diofántico y el décimo problema de Hilbert
 11.7.Matemática constructiva
 11.8.Teorías axiomáticas
 11.9.Teoría de modelos
 11.10.Grados de indecidibilidad
Abreviaturas y notaciones
Bibliografía
Índice de materias

Introducción a la serie "Lecciones de Matemática"
top
Los aviones nos permiten volar, pero el llegar al aeropuerto depende de uno mismo.

Para estudiar normalmente cualquier disciplina matemática son necesarios, al menos, cuatro ingredientes:

1) un maestro con el que se pueda conversar;

2) un libro de texto habitual, lo suficientemente detallado;

3) un libro de problemas normal y corriente;

4) un libro de texto no sujeto a rutina, que ofrezca una imagen general, muestre los motivos, los enlaces, nos diga para qué es necesaria cada cosa.

El sistema educativo nunca ha llegado a ocuparse de una forma contundente del cuarto punto. Evidentemente, este objetivo se ha perseguido más de una vez e incluso se ha intentado lograr, solo que en la mayoría de los casos se ha pretendido conservar simultáneamente las funciones inherentes al libro de texto.

Esta "sobrecarga" hace que el centro de atención se desplace, y que, ya desde el segundo o tercer capítulo, las intenciones iniciales comiencen a "navegar a la deriva" sin llegar a alcanzar nunca el resultado deseado. Tales objetivos sólo son factibles en el "mundo de las ideas"; el resultado de la integración de una raqueta de tenis con una mancuerna es un artefacto que, aunque no salte a la vista, no prestará adecuadamente las funciones de ninguna de las dos.

La serie "Lecciones de Matemática" ha sido creada con el objetivo de satisfacer precisamente las condiciones del cuarto punto. La idea central de esta serie es la economía de palabras y de medios. Tras las declaraciones de brevedad y claridad, es verdad que los 20 tomos planificados pueden causar una impresión diametralmente opuesta, pero esa considerable cantidad se debe no al exceso de detalles, sino a la formidable extensión de la matemática.

Es necesario indicar a quién está dirigida esta serie. Decir que está orientada a todos podría parecer ingenuo, pero en cierta medida así es.

Un libro de apariencia asequible y con demostraciones de evidente estructura: un libro así siempre gusta tenerlo a mano. No es un secreto que incluso los especialistas del más alto nivel han de esforzarse considerablemente para dominar los campos de la matemática que se encuentran fuera de su propia especialidad. Nuestra serie ofrece un camino corto que facilita tanto asimilar rápidamente nuevos temas como refrescar los que ya se estudiaron en su día.

?`A quién está destinada esta serie: a los fuertes o a los débiles? ?`A los centros de enseñanza habituales o a los especializados en matemática o física? De nuevo podemos responder que a todos. Puede parecer extraño, pero nuestro objetivo no es reglamentar qué es lo que se debe saber. El material se describe con ayuda de un lenguaje sencillo, de manera simple y clara, con el único fin de que cualquier persona pueda extraer algo útil para sí misma y seguir adelante.

La gran avalancha de información que nos abruma hoy hace que los instrumentos del ayer dejen de desempeñar su función. Por esta razón, es necesario aprender a estudiar de una nueva forma; no porque el material a asimilar haya aumentado demasiado, sino porque en la vida han aparecido muchos otros temas de interés; por este motivo, casi nadie está dispuesto a dedicarle mucho tiempo a algo en particular. La serie "Lecciones de Matemática" pretende ser un experimento en esta dirección. El tiempo dirá si es acertado o no. De todos modos, esta serie es un producto de nueva generación: las mismas "ruedas", el mismo "volante", el mismo contenido matemático, pero con un aspecto diferente.


Prólogo al sexto tomo
top
El fundamento es necesario, pero no porque vivir en el sótano sea cómodo.

Cuando nos referimos al intervalo que abarca "desde Diofanto hasta Turing", tenemos en cuenta la matemática discreta en la parte relacionada con sus "fundamentos". La computabilidad, la deducibilidad, los teoremas de G\"odel y los problemas indecidibles: he aquí los temas que conforman este tomo.

?`Cuál es la motivación? Como tal, ella no existe: los fundamentos de la matemática a menudo encuentran obstáculos insuperables y permanecen sin cambios en el punto de partida. Pero ?`qué se puede esperar cuando se anda por el borde de un abismo? Allí, en el límite donde lo posible se transforma en imposible; la vida, en muerte; los teoremas, en paradojas... En realidad, no debemos esperar nada. Sin embargo, de la misma manera que ocurre cuando se busca el sentido de la vida, en este caso los efectos secundarios desempeñan el papel principal.


Opiniones de los lectores de la serie
top

Para comprender una materia es necesario despo-jarla de los detalles, desnudar su estructura central, comprender cómo se llegó a la idea de uno u otro teorema. Éste es un trabajo arduo, y no siempre se dispone de las fuerzas y el tiempo necesarios para llevarlo a cabo. En los libros de la serie "Lecciones de Matemática", precisamente éste es el trabajo realizado por el autor.

La popularidad de los libros de V. Boss entre los estudiantes y el profesorado de Rusia es fácil de explicar. En sus libros se transmite lo que aún no se ha llegado a asimilar, lo que no se encuentra en otros libros: visión general, motivación e interreílación. Y lo más importante: la facilidad con la que se accede a cualquier tema.

El contenido de todos los libros ha sido planificado cuidadosamente. Los temas se entrelazan con una técnica impecable. Las demostraciones extensas han sido comprimidas hasta obtener unas pocas líneas de razonamientos matemáticos. Es difícil creer que una sola persona haya sido capaz de cumplir una tarea de tal envergadura: exponer toda la matemática en tan sólo 20 tomos de esta clase.

Las "Lecciones de Matemática" de V. Boss constituyen una excelente y muy completa colección. Como libros de texto, no siempre se adaptan a las normas pedagógicas tradicionales. Posiblemente sea esto lo que tanto atrae a los lectores.

* * *

La gran avalancha de información que nos abruma hoy hace que los instrumentos del ayer dejen de desempeñar su función. Por esta razón, es necesario aprender a estudiar de una nueva forma. La serie "Lecciones de Matemática" pretende ser un experimento en esta dirección. El tiempo será juez de si fue o no acertado. De todos modos, esta serie es un producto de nueva generación: las mismas "ruedas", el mismo "volante", el mismo contenido matemático... pero con un aspecto diferente.

V. Boss

* * *

Libros de la serie "Lecciones de Matemática" de V. Boss publicados ya en ruso:

1. Análisis. 2. Ecuaciones diferenciales. 3. Álgebra lineal. 4. Probabilidad. Información. Estadística. 5. Análisis funcional. 6. De Diofanto a Turing. 7. Optimización. 8. Teoría de grupos. 9. Funciones de variable compleja. 10. Búsqueda exhaustiva y algoritmos efectivos. 11. Ecuaciones de la física matemática. 12. Contraejemplos y paradojas. 13. Topología. 14. Teoría de números. 15. Operadores no lineales y puntos fijos. 16. Conjuntos, teorías, modelos

Информация / Заказ
2024. 288 с. Мягкая обложка. 15.9 EUR Новинка недели!

Особенности 20-го выпуска:

- исправили предыдущие ошибки

- Добавлены разновидности в раздел разновидностей юбилейных монет СССР

- В раздел 50 копеек 2006-2015 добавлены немагнитные 50 копеек

10 копеек 2005 М (ввел доп. разворот)

- Добавлена информация о 1 рубле 2010 СПМД немагнитный... (Подробнее)


Информация / Заказ
Зиновьев А.А. ЗИЯЮЩИЕ ВЫСОТЫ
2024. 720 с. Твердый переплет. 19.9 EUR

Книга «Зияющие высоты» – первый, главный, социологический роман, созданный интеллектуальной легендой нашего времени – Александром Александровичем Зиновьевым (1922-2006), единственным российским лауреатом Премии Алексиса де Токвиля, членом многочисленных международных академий, автором десятков логических... (Подробнее)


Информация / Заказ
2022. 1656 с. Твердый переплет. Предварительный заказ! 

Впервые в свет выходит весь комплекс черновиков романа М. А. Булгакова «Мастер и Маргарита», хранящихся в научно-исследовательском отделе рукописей Российской государственной библиотеки. Текст черновиков передаётся методом динамической транскрипции и сопровождается подробным текстологическим... (Подробнее)


Информация / Заказ
2023. 274 с. Мягкая обложка. 14.9 EUR

Арабо-израильский конфликт, в частности палестино-израильский, на протяжении многих десятилетий определял политическую ситуацию на Ближнем Востоке. На современном этапе наблюдается падение значимости палестинской проблемы в системе международных приоритетов основных акторов. В монографии... (Подробнее)


Информация / Заказ
URSS. 2024. 136 с. Мягкая обложка. В печати

В настоящей книге, написанной выдающимся тренером А.Н.Мишиным, описывается техника фигурного катания, даются практические советы по овладению этим видом спорта. В книге рассматриваются основы техники элементов фигурного катания и то, как эти элементы соединяются в спортивные программы, излагаются... (Подробнее)


Информация / Заказ
2024. 400 с. Твердый переплет. 16.9 EUR

Как реализовать проект в срок, уложиться в бюджет и не наступить на все грабли? Книга Павла Алферова — подробное практическое руководство для всех, кто занимается разработкой и реализацией проектов. Его цель — «переупаковать» проектное управление, сделать метод более применимым к российским... (Подробнее)


Информация / Заказ
URSS. 2024. 344 с. Мягкая обложка. 18.9 EUR

Мы очень часто сталкиваемся с чудом самоорганизации. Оно воспринимается как само собой разумеющееся, не требующее внимания, радости и удивления. Из случайно брошенного замечания на семинаре странным образом возникает новая задача. Размышления над ней вовлекают коллег, появляются новые идеи, надежды,... (Подробнее)


Информация / Заказ
URSS. 2023. 272 с. Мягкая обложка. 15.9 EUR

Настоящая книга посвящена рассмотрению базовых понятий и техник психологического консультирования. В ней детально представлены структура процесса консультирования, описаны основные его этапы, содержание деятельности психолога и приемы, которые могут быть использованы на каждом из них. В книге... (Подробнее)


Информация / Заказ
URSS. 2024. 704 с. Твердый переплет. 26.9 EUR

В новой книге профессора В.Н.Лексина подведены итоги многолетних исследований одной из фундаментальных проблем бытия — дихотомии естественной неминуемости и широчайшего присутствия смерти в пространстве жизни и инстинктивного неприятия всего связанного со смертью в обыденном сознании. Впервые... (Подробнее)


Информация / Заказ
URSS. 2024. 576 с. Мягкая обложка. 23.9 EUR

Эта книга — самоучитель по военной стратегии. Прочитав её, вы получите представление о принципах военной стратегии и сможете применять их на практике — в стратегических компьютерных играх и реальном мире.

Книга состоит из пяти частей. Первая вводит читателя в мир игр: что в играх... (Подробнее)