Descripción
Este libro de nivel de posgrado es bien conocido por su prueba de que muchos sistemas matemáticos, incluida la teoría de retículos, la geometría proyectiva abstracta y las álgebras de cierre, son indecidibles. Basado en investigaciones realizadas entre 1938 y 1952, consta de tres tratados de un autor prolífico que se encuentra entre los más grandes lógicos de todos los tiempos.
El primer artículo, "Un método general en las pruebas de indecidibilidad", examina las teorías con formalización estándar, las teorías indecidibles, la interpretabilidad y la relativización de los cuantificadores. La segunda característica, "Indecidibilidad e indecidibilidad esencial en matemáticas", explora la definibilidad en teorías arbitrarias y la aritmética formalizada de los números naturales. También considera la recursividad, la definibilidad y la indecidibilidad en las subteorías de la aritmética, así como la extensión de los resultados a otras teorías aritméticas. La compilación concluye con "Indecidibilidad de la teoría elemental de grupos".
Autor: Alfred Tarski
Editorial: Dover Publications
Publicado: 19/08/2010
Páginas: 98
Tipo de encuadernación: Tapa blanda
Peso: 0.35 libras
Tamaño: 8.20 alto x 5.30 ancho x 0.40 profundidad
ISBN13: 9780486477039
ISBN10: 0486477037
Categorías BISAC:
- Matemáticas | Lógica
- Matemáticas | Teoría de grupos
El primer artículo, "Un método general en las pruebas de indecidibilidad", examina las teorías con formalización estándar, las teorías indecidibles, la interpretabilidad y la relativización de los cuantificadores. La segunda característica, "Indecidibilidad e indecidibilidad esencial en matemáticas", explora la definibilidad en teorías arbitrarias y la aritmética formalizada de los números naturales. También considera la recursividad, la definibilidad y la indecidibilidad en las subteorías de la aritmética, así como la extensión de los resultados a otras teorías aritméticas. La compilación concluye con "Indecidibilidad de la teoría elemental de grupos".
Autor: Alfred Tarski
Editorial: Dover Publications
Publicado: 19/08/2010
Páginas: 98
Tipo de encuadernación: Tapa blanda
Peso: 0.35 libras
Tamaño: 8.20 alto x 5.30 ancho x 0.40 profundidad
ISBN13: 9780486477039
ISBN10: 0486477037
Categorías BISAC:
- Matemáticas | Lógica
- Matemáticas | Teoría de grupos
Acerca del autor
El matemático polaco Alfred Tarski (1901-83) se encuentra entre los lógicos más grandes de todos los tiempos. Mejor conocido por su trabajo en teoría de modelos, meta matemáticas y lógica algebraica, contribuyó a muchos otros campos de las matemáticas y enseñó en la Universidad de California, Berkeley, durante más de 40 años.
El estudiante de Tarski, Andrzej Mostowksi, trabajó en la Universidad de Varsovia en lógica de primer orden y teoría de modelos.
El colega de Tarski en la Universidad de California, Raphael M. Robinson, se basó en el concepto de indecidibilidad esencial de Tarski y probó que varias teorías matemáticas eran indecidibles.
Este título no es retornable