000			03338nam a22003615i 4500
001			318881
003			MX-SnUAN
005			20160429161216.0
007			cr nn 008mamaa
008			160108s2015 gw | s |||| 0|eng d
020			_a9783319104348 _9978-3-319-10434-8
035			_avtls000418397
039		9	_y201601081153 _zstaff
050		4	_aBD143-237
245	1	0	_aFrom logic to practice : _bitalian studies in the philosophy of mathematics / _cedited by Gabriele Lolli, Marco Panza, Giorgio Venturi.
264		1	_aCham : _bSpringer International Publishing : _bSpringer, _c2015.
300			_axix, 336 páginas : _b27 ilustraciones, 10 ilustraciones en color.
336			_atexto _btxt _2rdacontent
337			_acomputadora _bc _2rdamedia
338			_arecurso en línea _bcr _2rdacarrier
347			_aarchivo de texto _bPDF _2rda
490	0		_aBoston Studies in the Philosophy and History of Science, _x0068-0346 ; _v308
500			_aSpringer eBooks
505	0		_aPART I: THE HISTORICAL DIMENSION OF MATHEMATICS -- Chapter 1: A Geometrical Constructive Approach to Infinitesimal Analysis: Epistemological Potential and Boundaries of Tractional Motion; Pietro Milici -- Chapter 2: Plane and Solid Geometry: A Note on Purity of Methods; Paolo Mancosu and Andrew Arana -- Chapter 3: Formalization and Intuition in Husserl's Raumbuch; Edoardo Caracciolo -- PART II: LOOKING AT MATHEMATICS THROUGH LOGIC -- Chapter 4: Frege's Grundgesetze and a Reassessment of Predicativity; Francesca Boccuni -- Chapter 5: A Deflationary Account of the Truth of the Gödel Sentence G; Mario Piazza and Gabriele Pulcini -- Chapter 6: Rule-following and the Limits of Formalization: Wittgenstein's Considerations Through the Lens of Logic; Paolo Pistone -- Chapter 7: Paradox and Inconsistency: Revising Tennant's Distinction Through Schroeder-Heister's Assumption Rules; Luca Tranchini -- Chapter 8: Costructability and Geometry; Alberto Naibo -- Chapter 9: A Cut-like Inference in a Framework of Explicit Composition for Various Calculi of Natural Deduction; Michael Arndt and Laura Tesconi -- Chapter 10: On the Distinction Between Sets and Classes: A Categorical Perspective; Samuele Maschio -- PART III: PHILOSOPHY AND MATHEMATICS -- Chapter 11: Structure and Applicability; Michele Ginammi -- Chapter 12: Defending Maddy's Mathematical Naturalism from Roland's Criticism: The Role of Mathematical Depth; Marina Imocrante -- Chapter 13: On the Indispensable Premises of the Indispensability Argument; Marco Panza and Andrea Sereni -- Chapter 14: Naturalness in Mathematics: On the Statical-dynamical Opposition; Luca San Mauro and Giorgio Venturi -- Chapter 15: An Inquiry Into the Practice of Proving in Low-dimensional Topology; Silvia de Toffoli and Valeria Giardino.
590			_aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700	1		_aLolli, Gabriele, _eeditor. _9352097
700	1		_aPanza, Marco, _eeditor. _9362962
700	1		_aVenturi, Giorgio, _eeditor. _9362963
710	2		_aSpringerLink (Servicio en línea) _9299170
776	0	8	_iEdición impresa: _z9783319104331
856	4	0	_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-319-10434-8 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942			_c14
999			_c318881 _d318881