| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910793389803321 |
|
|
Titolo |
Inevitably toxic : historical perspectives on contamination, exposure, and expertise / / edited by Brinda Sarathy, Vivien Hamilton and Janet Farrell Brodie |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Pittsburgh, Pennsylvania : , : University of Pittsburgh Press, , [2018] |
|
©2018 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (328 pages) |
|
|
|
|
|
|
Collana |
|
Intersections : histories of environment, science, and technology in the anthropocene |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Pollution - History |
Radiation - History |
Factory and trade waste - History |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Introduction : toxicity, uncertainty, and expertise / Vivien Hamilton and Brinda Sarathy -- part one. Radiation. X-ray protection in American hospitals / Vivien Hamilton -- Contested knowledge : the Trinity test radiation studies / Janet Farrell Brodie -- Crossroads in San Francisco : the Naval Radiological Defense Laboratory and Its afterlives / Lindsey Dillon -- Born opaque : investigating the nuclear accident at the Santa Susana Field Laboratory / William Palmer -- part two. Industrial toxins. Making way for industrial waste : water pollution control in Southern California, 1947-1955 / Brinda Sarathy -- Processing the past into your future : uncovering the hidden consequences of industrial development in the West Texas petrochemical industry / Sarah Stanford-McIntyre -- Vast, incredible damage : herbicides and the U.S. Forest Service / James G. Lewis and Char Miller -- Neighborhood oil drilling and environmental justice in Los Angeles / Bhavna Shamasunder -- part three : Community contestation, expanding expertise. Atomic bomb survivors, medical experts, and the endlessness of radiation illness / Naoko Wake -- On sovereignty, deficits, and dump fires : risk governance in an Arctic "dumpcano" / Alexander Zahara -- Epilogue containment : discussing nuclear waste with Peter Galison / interview |
|
|
|
|
|
|
|
|
|
|
|
|
|
by Vivien Hamilton and Brinda Sarathy. |
|
|
|
|
|
|
Sommario/riassunto |
|
Not a day goes by that humans aren't exposed to toxins in our environment--be it at home, in the car, or workplace. But what about those toxic places and items that aren't marked? Why are we warned about some toxic spaces' substances and not others? The essays in Inevitably Toxic consider the exposure of bodies in the United States, Canada and Japan to radiation, industrial waste, and pesticides. Research shows that appeals to uncertainty have led to social inaction even when evidence, e.g. the link between carbon emissions and global warming, stares us in the face. In some cases, influential scientists, engineers and doctors have deliberately "manufactured doubt" and uncertainty but as the essays in this collection show, there is often no deliberate deception. We tend to think that if we can't see contamination and experts deem it safe, then we are okay. Yet, having knowledge about the uncertainty behind expert claims can awaken us from a false sense of security and alert us to decisions and practices that may in fact cause harm. |
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910744597803321 |
|
|
Autore |
Hájek Petr |
|
|
Titolo |
Gödel '96 : Logical Foundations of Mathematics, Computer Science and Physics -- Kurt Gödel's Legacy |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer, , 1996 |
|
©1996 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (332 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Logic ; ; v.6 |
|
|
|
|
|
|
Altri autori (Persone) |
|
GirardJ.-Y |
LachlanAlistair H |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
MATHEMATICS / Logic |
SCIENCE / Physics / Astrophysics |
SCIENCE / Space Science / Astronomy |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
Nota di contenuto |
|
Lecture Notes in Logic 6 Gödel '96 Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy -- Gödel '96 -- Copyright -- Preface -- Table of Contents -- Part I Invited Papers -- Gödel's program for new axioms: Why, where, how and what? -- Infinite-valued Gödel Logics with 0-1-Projections and Relativizations * -- Contributions of K. Gödel to Relativity and Cosmology * -- Kurt Gödel and the constructive Mathematics of A.A. Markov -- Hao Wang as Philosopher -- A bottom-up approach to foundations of mathematics * -- K-graph Machines: generalizing Turing's machines and arguments * -- Forcing on Bounded Arithmetic -- Uniform Interpolation and Layered Bisimulation * -- Part II Contributed Papers -- Gödel 's Ontological Proof Revisited * -- A Uniform Theorem Proving Tableau Method for Modal Logic* -- Decidability of the ∃*∀*-Class in the Membership Theory NWL * -- A Logical Approach to Complexity Bounds for Subtype Inequalities -- How to characterize provably total functions by the Buchholz operator method * -- Completeness has to be restricted: Gödel 's interpretation of the parameter t * -- A Bounded Arithmetic Theory for Constant Depth Threshold Circuits* -- Information content and computational complexity of recursive sets * -- Kurt Gödel and the Consistency of R##* -- Best possible answer is computable for fuzzy SLD-resolution * -- The finite stages of inductive definitions * -- Gödel and the Theory of Everything * -- Replacement→ Collection *. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
The aim of the conference Logical Foundations of Mathematics, Computer Science and Phycics - Kurt Godel's Legacy (GO DEL '96}, organized to the occasion of the ninetieth anniversary of the birth of Kurt Godel, is to pay tribute to Kurt Godel by arranging a scientific event presenting a forum for papers relevant to foundational aspects of Logic in Mathematics, Computer Science, Philosophy and Physics - areas influenced by Kurt Godel's work. The conference has been organized in Brno, the birthplace of Godel, by Masaryk University Brno in co-operation with the Institute of Computer Science of the Academy of Sciences of the Czech Republic, Prague, and with the international Kurt Godel Society based in Vienna (Organizing Committee chaired by J. Zlatuska). The Association for Symbolic Logic has recognized the conference as an ASL sponsored meeting. The Program Committee has consisted of Z. Adamowicz, Warsaw; J. Bicak, Prague; L. Bukovsky, Kosice; D. de Jongh, Amsterdam; J. Grygar, Prague; E. Kohler, Vienna; J. Krajicek, Prague; P. Hajek (chair), Prague; A. Leitsch, Vienna; D. Mundici, Milano; G. Miiller, Heidelberg; J. Paris, Manchester; C. Parsons, Harvard. |
|
|
|
|
|
|
|
| |