One Hundred Years of Intuitionism (1907–2007) : (Registro nro. 309624)
[ vista simple ]
| 000 -CABECERA | |
|---|---|
| campo de control de longitud fija | 03824nam a22004095i 4500 |
| 001 - NÚMERO DE CONTROL | |
| campo de control | 309624 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL | |
| campo de control | MX-SnUAN |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN | |
| campo de control | 20160429160314.0 |
| 007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL | |
| campo de control de longitud fija | cr nn 008mamaa |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL | |
| campo de control de longitud fija | 150903s2008 sz | o |||| 0|eng d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO | |
| Número Internacional Estándar del Libro | 9783764386535 |
| -- | 9783764386535 |
| 024 7# - IDENTIFICADOR DE OTROS ESTÁNDARES | |
| Número estándar o código | 10.1007/9783764386535 |
| Fuente del número o código | doi |
| 035 ## - NÚMERO DE CONTROL DEL SISTEMA | |
| Número de control de sistema | vtls000362945 |
| 039 #9 - NIVEL DE CONTROL BIBLIOGRÁFICO Y DETALLES DE CODIFICACIÓN [OBSOLETO] | |
| Nivel de reglas en descripción bibliográfica | 201509030650 |
| Nivel de esfuerzo utilizado para asignar no-encabezamientos de materia en puntos de acceso | VLOAD |
| Nivel de esfuerzo utilizado en la asignación de encabezamientos de materia | 201405070336 |
| Nivel de esfuerzo utilizado para asignar clasificación | VLOAD |
| -- | 201402211135 |
| -- | staff |
| 040 ## - FUENTE DE LA CATALOGACIÓN | |
| Centro catalogador/agencia de origen | MX-SnUAN |
| Lengua de catalogación | spa |
| Centro/agencia transcriptor | MX-SnUAN |
| Normas de descripción | rda |
| 050 #4 - CLASIFICACIÓN DE LA BIBLIOTECA DEL CONGRESO | |
| Número de clasificación | D1-DX301 |
| 100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA | |
| Nombre de persona | Atten, Mark. |
| Término indicativo de función/relación | editor. |
| 9 (RLIN) | 308459 |
| 245 10 - MENCIÓN DE TÍTULO | |
| Título | One Hundred Years of Intuitionism (1907–2007) : |
| Resto del título | The Cerisy Conference / |
| Mención de responsabilidad, etc. | edited by Mark Atten, Pascal Boldini, Michel Bourdeau, Gerhard Heinzmann. |
| 264 #1 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT | |
| Producción, publicación, distribución, fabricación y copyright | Basel : |
| Nombre del de productor, editor, distribuidor, fabricante | Birkhäuser Basel, |
| Fecha de producción, publicación, distribución, fabricación o copyright | 2008. |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | xiii, 422 páginas |
| Otras características físicas | recurso en línea. |
| 336 ## - TIPO DE CONTENIDO | |
| Término de tipo de contenido | texto |
| Código de tipo de contenido | txt |
| Fuente | rdacontent |
| 337 ## - TIPO DE MEDIO | |
| Nombre/término del tipo de medio | computadora |
| Código del tipo de medio | c |
| Fuente | rdamedia |
| 338 ## - TIPO DE SOPORTE | |
| Nombre/término del tipo de soporte | recurso en línea |
| Código del tipo de soporte | cr |
| Fuente | rdacarrier |
| 347 ## - CARACTERÍSTICAS DEL ARCHIVO DIGITAL | |
| Tipo de archivo | archivo de texto |
| Formato de codificación | |
| Fuente | rda |
| 490 0# - MENCIÓN DE SERIE | |
| Mención de serie | Publications des Archives Henri Poincaré / Publications of the Henri Poincaré Archives |
| 500 ## - NOTA GENERAL | |
| Nota general | Springer eBooks |
| 505 0# - NOTA DE CONTENIDO CON FORMATO | |
| Nota de contenido con formato | Brouwer and Brouwerian intuitionism -- Another look at Brouwer’s dissertation -- Brouwerian infinity -- The new intuitionism -- Truth and experience of truth -- The proper explanation of intuitionistic logic: on Brouwer’s demonstration of the Bar Theorem -- The intersection of intuitionism (Brouwer) and phenomenology (Husserl) -- Brouwer on ‘hypotheses’ and the middle Wittgenstein -- Brouwer’s notion of intuition and theory of knowledge by presence -- Buddhist models of the mind and the common core thesis on mysticism -- Kindred spirits -- Remarks on the supposed french’ semi-’ or ‘pre-intuitionism’ -- Poincaré: intuitionism, intuition, and convention -- Some of Julius König’s mathematical dreams in his New Foundations of Logic, Arithmetic, and Set Theory -- Gödel, constructivity, impredicativity, and feasibility -- Lorenzen’s operative justification of intuitionistic logic -- Mathematical perspectives -- The Hilbert-Brouwer controversy resolved? -- Proof theory and Martin-Löf Type Theory -- Some remarks on linear logic -- Two applications of dynamic constructivism: Brouwer’s continuity principle and choice sequences in formal topology -- A reverse look at Brouwer’s Fan Theorem -- Some applications of Brouwer’s Thesis on Bars -- Concluding remarks at the Cerisy conference -- A bibliography of L.E.J. Brouwer. |
| 520 ## - SUMARIO, ETC. | |
| Sumario, etc. | With logicism and formalism, intuitionism is one of the main foundations for mathematics proposed in the twentieth century; and since the seventies, notably its views on logic have become important also outside foundational studies, with the development of theoretical computer science. The aim of the book is threefold: to review and complete the historical account of intuitionism; to present recent philosophical work on intuitionism; and to give examples of new technical advances and applications of intuitionism. This volume brings together 21 contributions by today's leading authors on these topics, and surveys the philosophical, logical and mathematical implications of the approach initiated in 1907 in L.E.J. Brouwer's dissertation. |
| 590 ## - NOTA LOCAL (RLIN) | |
| Nota local | Para consulta fuera de la UANL se requiere clave de acceso remoto. |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA | |
| Nombre de persona | Boldini, Pascal. |
| Término indicativo de función/relación | editor. |
| 9 (RLIN) | 350003 |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA | |
| Nombre de persona | Bourdeau, Michel. |
| Término indicativo de función/relación | editor. |
| 9 (RLIN) | 350004 |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA | |
| Nombre de persona | Heinzmann, Gerhard. |
| Término indicativo de función/relación | editor. |
| 9 (RLIN) | 308847 |
| 710 2# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE ENTIDAD CORPORATIVA | |
| Nombre de entidad corporativa o nombre de jurisdicción como elemento de entrada | SpringerLink (Servicio en línea) |
| 9 (RLIN) | 299170 |
| 776 08 - ENTRADA/ENLACE A UN FORMATO FÍSICO ADICIONAL | |
| Información de relación/Frase instructiva de referencia | Edición impresa: |
| Número Internacional Estándar del Libro | 9783764386528 |
| 856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS | |
| Identificador Uniforme del Recurso | <a href="http://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-7643-8653-5">http://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-7643-8653-5</a> |
| Nota pública | Conectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL) |
| 942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) | |
| Tipo de ítem Koha | Recurso en línea |
No hay ítems disponibles.