URSS.ru Online Bookstore. Editorial URSS Publishers. Moscow
Cover Boss V. Lecciones de Matemática: Lógica, algoritmos, computabilidad. De Diofanto a Turing y Gödel Cover 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. 216 pp. (Spanish). ISBN 978-5-396-00069-8.
White offset paper
  • Paperback

Summary

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 ...(More)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

Information / Order
288 pp. (Russian). Paperback. 15.9 EUR New!

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

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

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

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

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

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


Information / Order
URSS. 152 pp. (Spanish). Paperback. 14.9 EUR

Tras una breve introducción a la termodinámica de los procesos reversibles, el autor expone de forma amena y detallada los postulados fundamentales de la termodinámica de los procesos irreversibles. Se presta una atención especial a los efectos de la termodinámica no lineal, a la autoorganización en... (More)


Information / Order
URSS. 184 pp. (Russian). Paperback. 13.9 EUR

Автор настоящей книги рассказов --- современная швейцарская писательница Элен Ришар-Фавр, лингвист по образованию, преподававшая в Женевском университете. Ее герои --- почти всегда --- люди, попавшие в беду в какой-то момент жизни, чаще всего --- старики, никому не нужные и неспособные... (More)


Information / Order
URSS. 144 pp. (Spanish). Paperback. 12.9 EUR

En el libro se describe de manera accesible y amena un sistema de ejercicios para el rejuvenecimiento facial. Los ejercicios se ilustran mediante fotografías que facilitan la comprensión del texto y permiten realizar individualmente la gimnasia. Los resultados alcanzados tras la realización del curso... (More)


Information / Order
URSS. 504 pp. (Spanish). Paperback. 32.9 EUR

Estamos tan habituados a que la ciencia describa la realidad mediante ecuaciones de asombrosa eficacia que raramente nos detenemos a pensar en la gentileza que demuestra el mundo prestándose a ello. ¿Por qué la naturaleza obedece reglas matemáticas tan magníficamente precisas?... (More)


Information / Order
URSS. 224 pp. (Spanish). Paperback. 16.9 EUR

De forma viva y amena, el autor expone una diversa información sobre el héroe del libro, la famosa constante matemática que aparece en los lugares más inesperados, obteniendo de este modo una especie de "pequeña enciclopedia" del número pi. La parte principal del libro es de carácter recreativo,... (More)


Information / Order
URSS. 128 pp. (Russian). Paperback. 12.9 EUR

Это рассказы о любви, нежности, желании и страсти, которая бывает и возвышенной, и цинично-жестокой.

В них абсурд и гротеск чередуются с методичной рассудочностью, милосердием и муками совести.

Их персонажи – человеческие, слишком человеческие, - однажды встречаются, проживают кусок... (More)


Information / Order
URSS. 80 pp. (Russian). Paperback. 5.9 EUR

Коллекция забавных историй и легенд, шуточных дефиниций и остроумных высказываний химиков и о химиках. (More)


Information / Order
URSS. 224 pp. (Spanish). Paperback. 19.9 EUR

La presente edición de la obra Matemática en el tablero de ajedrez, del conocido ajedrecista y escritor Yevgueni Guik, consta de tres tomos, a lo largo de los cuales se describen diversos puntos de contacto entre estas dos actividades del intelecto humano. Se resuelven diversos tipos de problemas matemáticos... (More)


Information / Order
376 pp. (English). Hardcover. 110.9 EUR

The present book includes the first full catalogue of Russian porcelain of the 18th and 19th centuries from the Vladimir Tsarenkov Collection. The collection has over 250 outstanding works by leading Russian manufactories — the Imperial Porcelain Factory in Saint Petersburg and the Gardner Porcelain... (More)