| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996248191103316 |
|
|
Autore |
Nietzsche Friedrich Wilhelm <1844-1900, > |
|
|
Titolo |
Untimely meditations / / Friedrich Nietzsche ; edited by Daniel Breazeale ; translated by R.J. Hollingdale [[electronic resource]] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cambridge : , : Cambridge University Press, , 1997 |
|
|
|
|
|
|
|
ISBN |
|
0-511-09115-X |
1-107-26385-9 |
0-511-81210-8 |
0-511-00549-0 |
|
|
|
|
|
|
|
|
Edizione |
[Second edition.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (xlvii, 276 pages) : digital, PDF file(s) |
|
|
|
|
|
|
Collana |
|
Cambridge texts in the history of philosophy |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
History - Study and teaching |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Title from publisher's bibliographic system (viewed on 05 Oct 2015). |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (p. 259-265) and index. |
|
|
|
|
|
|
Nota di contenuto |
|
David Strauss, the confessor and the writer -- On the uses and disadvantages of history for life -- Schopenhauer as educator -- Richard Wagner in Bayreuth. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
The four short works in Untimely Meditations were published by Nietzsche between 1873 and 1876.They deal with such broad topics as the relationship between popular and genuine culture, strategies for cultural reform, the task of philosophy, the nature of education, and the relationship between art, science and life. They also include Nietzsche's earliest statement of his own understanding of human selfhood as a process of endlessly 'becoming who one is'. As Daniel Breazeale shows in his introduction to this new edition of R. J. Hollingdale's translation of the essays, these four early texts are key documents for understanding the development of Nietzsche's thought and clearly anticipate many of the themes of his later writings. Nietzsche himself always cherished his Untimely Meditations and believed that they provide valuable evidence of his 'becoming and self-overcoming' and constitute a 'public pledge' concerning his own distinctive task as a philosopher. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910782097503321 |
|
|
Titolo |
Deduction, computation, experiment [[electronic resource] ] : exploring the effectiveness of proof / / Rossella Lupacchini, Giovanna Corsi (eds.) |
|
|
|
|
|
|
|
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.) |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
CorsiGiovanna |
LupacchiniRossella |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
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. |
|
|
|
|
|
| |