Sistemas formales, informalmente : (Record no. 3476)
[ view plain ]
| 000 -CABECERA | |
|---|---|
| campo de control de longitud fija | 02113nam a22003377a 4500 |
| 005 - FECHA Y HORA DE ACTUALIZACIÓN | |
| 005 | 20200904062751.0 |
| 008 - LONGITUD FIJA | |
| campo de control de longitud fija | 131105b ck ||||| |||| 00| 0 spa d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9589216072 |
| 040 ## - FUENTE DE CATALOGACIÓN | |
| Centro catalogador/agencia de origen | CO-NeUS |
| Lengua de catalogación | español |
| Normas de descripción | rda |
| 100 1# - AUTOR PERSONAL | |
| nombre | Gomez, Pedro |
| 9 (RLIN) | 46575 |
| 245 10 - TÍTULO PROPIAMENTE DICHO | |
| título | Sistemas formales, informalmente : |
| subtítulo | ¿Por qué intentaron formalizar a la matemática si era tan buena muchacha? / |
| Mención de responsabilidad, etc. | Pedro Gómez, Cristina Gómez |
| 250 ## - EDICIÓN | |
| edición | Segunda edición |
| 264 ## - PIE DE IMPRENTA | |
| lugar (ciudad) | Santafé de Bogotá : Una empresa docente/Universidad de los Andes, 1992 |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | 130 páginas |
| 336 ## - TIPO DE CONTENIDO | |
| Fuente RDA | rdacontent |
| Término del tipo de contenido | texto |
| 337 ## - TIPO DE MEDIO | |
| Fuente RDA | rdamedia |
| Término del Medio | no mediado |
| 338 ## - TIPO DE PORTADOR | |
| Fuente RDA | rdacarrier |
| Términos de Portador RDA | volumen |
| 505 00 - NOTA DE CONTENIDO | |
| Nota de contenido | ¿Por qué intentaron formalizar a la matemática sie ra tan buena muchacha? -- El acertijo de MU -- Producir números -- Fractales -- Juego de vida -- Sistemas formales y el lenguaje -- El método axiomático -- Los sistemas sociales y las matemáticas -- La herramienta -- Un ejemplo de axiomatización -- Sistemas axiomáticos -- Regreso al futuro III -- El final de la historia -- Observaciones sobre la demostración de Göde -- El teorema de Gödel a través de acertijos -- |
| 520 ## - RESUMEN | |
| Resumen | Este libro, al introducir de manera sencilla el concepto de sistema formal, permite mostrar el papel que este concepto puede jugar en diversos campos de las matemáticas y de la ciencia. Adicionalmente, al considear en cierto detalle algunas de estas áreas y mostrar la relación que es posible establecer entre una realidad y el sistema formal que la modela, el libro pretende desarrollar en el lector, al menos parcialmente, las capacidades de abstracción y simplificación necesarias para el análisis de realidades complejas. Por otra parte, este conjunto de temas buscan preparar al lector para la comprensión intuitiva de uno de los resultados más importantes de la historia y la filosofía de las matemáticas en este siglo: el teorema de incompletitud de Gödel. |
| 700 1# - COAUTOR PERSONAL | |
| Nombre de persona | Gómez, Cristina |
| 9 (RLIN) | 46534 |
| 082 04 - CLASIFICACIÓN DECIMAL DEWEY | |
| edición | 21 |
| Clasificación | 511 / |
| Clave de autor | G633s |
| 650 14 - MATERIA GENERAL | |
| Término de materia o nombre geográfico como elemento inicial | Sistemas formales |
| 9 (RLIN) | 132055 |
| 650 14 - MATERIA GENERAL | |
| Término de materia o nombre geográfico como elemento inicial | Filosofia de las matematicas |
| 9 (RLIN) | 110624 |
| 942 ## - PUNTO DE ACCESO ADICIONAL KOHA | |
| Fuente del sistema de clasificación o colocación | |
| Tipo de ítem koha | Libros |
| Parte de la signatura que corresponde a la clasificación (Parte de la clasificación) | 511 / |
| Prefijo de la signatura | G633s |
No items available.