Deduction, computation, experiment [[electronic resource] ] : exploring the effectiveness of proof / / Rossella Lupacchini, Giovanna Corsi (eds.)

• Record Nr.: UNINA9910451494403321
• Pubbl/distr/stampa: Berlin ; ; New York, : Springer, c2008
• ISBN: 1-281-79523-2; 9786611795238; 88-470-0784-4
• Edizione: [1st ed. 2008.]
• Descrizione fisica: 1 online resource (287 p.)
• Altri autori (Persone): CorsiGiovanna; LupacchiniRossella
• Disciplina: 121.65; 511.3
• Soggetti: Evidence; Logic; Electronic books.
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Description based upon print version of record.
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Why Proof? What is a Proof? -- On Formal Proofs -- Toy Models in Physics and the Reasonable Effectiveness of Mathematics -- Experimental Methods in Proofs -- Proofs Verifying Programs and Programs Producing Proofs: A Conceptual Analysis -- The Logic of the Weak Excluded Middle: A Case Study of Proof-Search -- Automated Search for Gödel’s Proofs -- Proofs as Efficient Programs -- Quantum Combing -- Proofs instead of Meaning Explanations: Understanding Classical vs Intuitionistic Mathematics from the Outside -- Proof as a Path of Light -- Computability and Incomputability of Differential Equations -- Phenomenology of Incompleteness: From Formal Deductions to Mathematics and Physics.
• Sommario/riassunto: What is a proof for? What is the characteristic use of a proof as a computation, as opposed to its use as an experiment? What is the relationship between mathematical procedures and natural processes? The essays collected in this volume address such questions from different points of view and will interest students and scholars in several branches of scientific knowledge. Some essays deal with the ; logical skeleton of deduction, others examine the interplay between natural systems and models of computation, yet others use significant results from the natural sciences to illustrate the character of procedures in applied mathematics. Focusing on relevant conceptual and logical issues underlying the overall quest for proving, the volume seeks to cast light on what the effectiveness of proof rests on.

Argomenti del nostro tempo : cultura e arte nel 20. secolo / Ernst H. Gombrich ; traduzione di Gaspare Bona

• Record Nr.: UNISALENTO991000020199707536
• Autore: Gombrich, Ernst H.
• Pubbl/distr/stampa: Torino : Einaudi Giulio, 1991
• ISBN: 880613521X
• Descrizione fisica: XIX, 259 p. : ill.
• Collana: Saggi [Einaudi] ; 788
• Altri autori (Persone): Bona, Gaspare
• Disciplina: 709
• Soggetti: Arte - Saggi
• Lingua di pubblicazione: Italiano
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Orality, literacy, memory in the ancient Greek and Roman world [[electronic resource] /] / edited by E. Anne Mackay

• Record Nr.: UNINA9910792119003321
• Pubbl/distr/stampa: Leiden ; ; Boston, : Brill, 2008
• ISBN: 1-283-06123-6; 9786613061232; 90-474-3384-X
• Descrizione fisica: 1 online resource (296 p.)
• Collana: Orality and literacy in ancient Greece ; ; v. 7; Mnemosyne. Supplements, , 0169-8958 ; ; v. 298
• Altri autori (Persone): MackayE. Anne
• Disciplina: 880
• Soggetti: Classical literature - History and criticism; Language and culture - Greece; Language and culture - Rome; Oral tradition in literature; Literacy - Greece; Literacy - Rome
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Description based upon print version of record.
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Preliminary Materials / E.A. Mackay -- Introduction / Anne Mackay -- Chapter One. Spatial Memory And The Composition Of The Iliad / Elizabeth Minchin -- Chapter Two. Memory And Visualization In Homeric Discourse Markers / Anna Bonifazi -- Chapter Three. Epic Remembering / Egbert J. Bakker -- Chapter Four. “Someone, I Say, Will Remember Us”: Oral Memory In Sappho’s Poetry / André Lardinois -- Chapter Five. Remember To Cry Wolf: Visual And Verbal Declarations Of Lykos Kalos / Alexandra Pappas -- Chapter Six. Social Memory In Aeschylus’ Oresteia / Ruth Scodel -- Chapter Seven. Trierarchs’ Records And The Athenian Naval Catalogue (Ig I3 1032) / Geoffrey Bakewell -- Chapter Eight. What The Mnemones Know / Edwin Carawan -- Chapter Nine. Getting The Last Word: Publication Of Political Oratory As An Instrument Of Historical Revisionism / Thomas Hubbard -- Chapter Ten. Dialectic In Dialogue: The Message Of Plato’s Protagoras And Aristotle’s Topics / Han Baltussen -- Chapter Eleven. Visual Copies ; And Memory / Jocelyn Penny Small -- Chapter Twelve. Orality And Autobiography: The Case Of The Res Gestae / Niall W. Slater -- List Of Conference Papers / E.A. Mackay -- Index / E.A. Mackay.
• Sommario/riassunto: The volume represents the seventh in the series on Orality and Literacy in the Ancient Greek and Roman Worlds. It comprises a collection of essays on the significance and working of memory in ancient texts and visual documentation, from contexts both oral (or oral-derived) and literate. The authors discuss a variety of interpretations of ‘memory’ in Homeric epic, lyric poetry, tragedy, historical inscriptions, oratory, and philosophy, as well as in the replication of ancient artworks, and in Greek vase inscriptions. They present therefore a wide-ranging analysis of memory as a fundamental faculty underlying the production and reception of texts and material documentation in a society that gradually moved from an essentially oral to an essentially literate culture.