{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":47,"n_cols":5,"rows_kept":47,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[5,2,5,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[10,2,10,3],[14,2,14,3],[15,2,15,3],[18,2,18,3],[21,2,21,3],[21,4,21,5],[22,2,22,3],[22,4,22,5],[23,2,23,3],[24,2,24,3],[25,2,25,3],[26,2,26,3],[27,2,27,3],[28,2,28,3],[29,2,29,3],[41,2,41,3],[42,2,42,3],[44,2,44,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910467473403321"]
[null,null,"Autore",null,"Boos William"]
[null,null,"Titolo",null,"Metamathematics and the philosophical tradition / / William Boos ; edited by Florence S. Boos"]
[null,null,"Pubbl/distr/stampa",null,"Boston : , : Walter de Gruyter, , [2018]"]
[{"$nulls":4},"©2018"]
[null,null,"ISBN",null,"3-11-057239-7"]
[{"$nulls":4},"3-11-057245-1"]
[null,null,"Edizione",null,"[First edition.]"]
[null,null,"Descrizione fisica",null,"1 online resource (494 pages)"]
[null,null,"Disciplina",null,"121"]
[null,null,"Soggetti",null,"Philosophy"]
[{"$nulls":4},"Metamathematics"]
[{"$nulls":4},"Mathematics - Philosophy"]
[{"$nulls":4},"Electronic books."]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Frontmatter -- Contents -- Preface -- Editorial Remarks -- 1. Introduction: Boundaries of Experience -- 2. \"Was Blind, But Now I See\": Ramifications of Plato's \"Line\" -- 3. The Stoics, the Skeptics and Aporetic Autonomy: Is \"What Is In Our Power\" In Our Power? -- 4. Anselm, Fides Quaerens Interpretationem, and Grenzideen as Generators of Metatheoretic Ascent -- 5. \"Parfaits Miroirs de l'Univers\": A \"Virtual\" Interpretation of Leibnizian Metaphysics -- 6. Berkeleyan Metalogical \"Signs\" and \"Master Arguments\" -- 7. The Second-order Idealism of David Hume -- 8. Kantian Ethics and \"the Fate of Reason\" -- 9. Metamathematical Interpretations of Free Will and Determinism -- 10. Time-Evolution in Random \"Universes\" -- Bibliography -- Index of Names -- Main Index -- Foreign Words Index"]
[null,null,null,"Sommario/riassunto","Metamathematics and the Philosophical Tradition is the first work to explore in such historical depth the relationship between fundamental philosophical quandaries regarding self-reference and meta-mathematical notions of consistency and incompleteness. Using the insights of twentieth-century logicians from Gödel through Hilbert and their successors, this volume revisits the writings of Aristotle, the ancient skeptics, Anselm, and enlightenment and seventeenth and eighteenth century philosophers Leibniz, Berkeley, Hume, Pascal, Descartes, and Kant to identify ways in which these both encode and "]
[{"$nulls":4},"evade problems of a priori definition and self-reference. The final chapters critique and extend more recent insights of late 20th-century logicians and quantum physicists, and offer new applications of the completeness theorem as a means of exploring \"metatheoretical ascent\" and the limitations of scientific certainty. Broadly syncretic in range, Metamathematics and the Philosophical Tradition addresses central and recurring problems within epistemology. The volume's elegant, condensed writing style renders accessible its wealth of citations and allusions from varied traditions and in several languages. Its arguments will be of special interest to historians and philosophers of science and mathematics, particularly scholars of classical skepticism, the Enlightenment, Kant, ethics, and mathematical logic."]
[null,"2.","Record Nr.",null,"UNISA996465703503316"]
[null,null,"Titolo",null,"Biomimetic and Biohybrid Systems [[electronic resource] ] : 5th International Conference, Living Machines 2016, Edinburgh, UK, July 19-22, 2016. Proceedings / / edited by Nathan F. Lepora, Anna Mura, Michael Mangan, Paul F.M.J. Verschure, Marc Desmulliez, Tony J. Prescott"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016"]
[null,null,"ISBN",null,"3-319-42417-3"]
[null,null,"Edizione",null,"[1st ed. 2016.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XVI, 555 p. 302 illus.)"]
[null,null,"Collana",null,"Lecture Notes in Artificial Intelligence ; ; 9793"]
[null,null,"Disciplina",null,"006.3"]
[null,null,"Soggetti",null,"Artificial intelligence"]
[{"$nulls":4},"Optical data processing"]
[{"$nulls":4},"Control engineering"]
[{"$nulls":4},"Robotics"]
[{"$nulls":4},"Mechatronics"]
[{"$nulls":4},"Computers"]
[{"$nulls":4},"Data mining"]
[{"$nulls":4},"Artificial Intelligence"]
[{"$nulls":4},"Computer Imaging, Vision, Pattern Recognition and Graphics"]
[{"$nulls":4},"Control, Robotics, Mechatronics"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Data Mining and Knowledge Discovery"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"Biomimetic robots and their component technologies -- Nature-inspired designs and manufacturing processes -- Biohybrid brain-machine interfaces and neural implants -- Organism-level biohybrids. ."]
[null,null,null,"Sommario/riassunto","This book constitutes the proceedings of the 5th International Conference on Biomimetic and Biohybrid Systems, Living Machines 2016, held in Edinburgh, UK, in July 2016. The 34 full and 27 short papers presented in this volume were carefully reviewed and selected from 63 submissions. The theme of the conference encompasses biomimetic methods for manufacture, repair and recycling inspired by natural processes such as reproduction, digestion, morphogenesis and "]
[{"$nulls":4},"metamorphosis."]