000			03824nam a22004095i 4500
001			309624
003			MX-SnUAN
005			20160429160314.0
007			cr nn 008mamaa
008			150903s2008 sz | o |||| 0|eng d
020			_a9783764386535 _99783764386535
024	7		_a10.1007/9783764386535 _2doi
035			_avtls000362945
039		9	_a201509030650 _bVLOAD _c201405070336 _dVLOAD _y201402211135 _zstaff
040			_aMX-SnUAN _bspa _cMX-SnUAN _erda
050		4	_aD1-DX301
100	1		_aAtten, Mark. _eeditor. _9308459
245	1	0	_aOne Hundred Years of Intuitionism (1907–2007) : _bThe Cerisy Conference / _cedited by Mark Atten, Pascal Boldini, Michel Bourdeau, Gerhard Heinzmann.
264		1	_aBasel : _bBirkhäuser Basel, _c2008.
300			_axiii, 422 páginas _brecurso en línea.
336			_atexto _btxt _2rdacontent
337			_acomputadora _bc _2rdamedia
338			_arecurso en línea _bcr _2rdacarrier
347			_aarchivo de texto _bPDF _2rda
490	0		_aPublications des Archives Henri Poincaré / Publications of the Henri Poincaré Archives
500			_aSpringer eBooks
505	0		_aBrouwer 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			_aWith 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			_aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700	1		_aBoldini, Pascal. _eeditor. _9350003
700	1		_aBourdeau, Michel. _eeditor. _9350004
700	1		_aHeinzmann, Gerhard. _eeditor. _9308847
710	2		_aSpringerLink (Servicio en línea) _9299170
776	0	8	_iEdición impresa: _z9783764386528
856	4	0	_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-7643-8653-5 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942			_c14
999			_c309624 _d309624