04680nam 2200661 a 450 991082487440332120240514065945.01-283-40098-797866134009871-118-14663-81-118-14664-61-118-14661-1(CKB)2670000000133632(EBL)818470(OCoLC)815954188(SSID)ssj0000570315(PQKBManifestationID)11346849(PQKBTitleCode)TC0000570315(PQKBWorkID)10587811(PQKB)10086855(MiAaPQ)EBC818470(Au-PeEL)EBL818470(CaPaEBR)ebr10521411(CaONFJC)MIL340098(EXLCZ)99267000000013363220110630d2012 uy 0engur|n|---|||||txtccrEnvironmental chemistry and toxicology of mercury /edited by Guangliang Liu, Yong Cai, Nelson O'Driscoll1st ed.Hoboken, N.J. Wileyc20121 online resource (596 p.)Description based upon print version of record.0-470-57872-6 Includes bibliographical references and index.Machine generated contents note: Preface.Chapter 1. Overview of Mercury in the Environment (Guangliang Liu Cia, Nelson O'Driscoll, Xinbin Feng, Guibin Jiang).Part I. Analytical Developments.Chapter 2. Advances in Speciation Analysis of Mercury in the Environment (Yanbin Li, Yougguang Yin, Guangliang Liu, Yong Cai).Chapter 3. Measuring Gas Phase Mercury Emissions from Industrial Effluents (Samuel J. Ippolito, Ylias M. Sabri, Suresh K. Bhargava).Part II. Speciation and Transformation.Chapter 4. Atmospheric Chemistry of Mercury (Che-Jen Lin, Pattaraporn Singhasuk, Simo O. Pehkonen).Chapter 5. Microbial transformations in the mercury cycle (Chu-Ching Lin, Nathan Yee, Tamar Barkay).Chapter 6. Photoreactions of Mercury in Aquatic Systems (Emma E. Vost, Marc Amyot, Nelson J. O'Driscoll).Chapter 7. Chemical Speciation of Mercury in Soil and Sediment (Ulf Skyllberg).Chapter 8. The effects of dissolved organic matter on mercury biogeochemistry (Chase A. Gerbig, Joseph N. Ryan, George R. Aiken).Chapter 9. Tracking geochemical transformations and transport of mercury through isotope fractionation (Holger Hintelmann, Wang Zheng).Part III. Transport and Fate.Chapter 10. Atmospheric transport of mercury (Oleg Travnikov).Chapter 11. Adsorption of Mercury on Solids in the Aquatic Environment (Guangliang Liu, Yanbin Li, Yong Cai).Chapter 12. Exchange of elemental mercury between the oceans and the atmosphere (Asif Qureshi, Matthew MacLeod, Elsie Sunderland, Konrad Hungerbühler).Chapter 13. Exchange of Mercury between the Atmosphere and Terrestrial Ecosystems (Mae Sexauer Gustin).Part IV. Bioaccumulation, Toxicity, and Metallomics.Chapter 14. Bioaccumulation and biomagnification of mercury through food webs (Karen Kidd, Meredith Clayden, Tim Jardine).Chapter 15. Mercury toxicity with special reference to methylmercury: A review (Mineshi Sakamoto, Katsuyuki Murata, Akiyoshi Kakita, Masanori Sasaki).Chapter 16. Metallomics of Mercury: Role of Thiol- and Selenol-containing Biomolecules (Feiyue Wang, Marcos Lemes, Mohammad A. K. Khan).Chapter 17. Human Health Significance of Dietary Exposures to Methylmercury (Anna L. Choi, Philippe Grandjean)."Reviewing the major environmental processes of mercury (Hg) transformation and transport during Hg cycling, this book focuses on the recent developments in environmental chemistry of Hg. Each chapter touches on the basic concepts and provides a critical review of the targeted subject, the methodology used for studying it, and future research needs. The book outlines the fundamental concepts and provides a detailed review of critical findings in recent research. It is suitable for anyone interested in environmental sciences"--Provided by publisher.MercuryToxicologyMercuryEnvironmental aspectsMercuryMetabolismMercuryToxicology.MercuryEnvironmental aspects.MercuryMetabolism.615.9/25663MED096000bisacshLiu Guangliang1972-1680317Cai Yong1961-1680318O'Driscoll Nelson J.1973-1680319MiAaPQMiAaPQMiAaPQBOOK9910824874403321Environmental chemistry and toxicology of mercury4048976UNINA05181nam 2200601Ia 450 991081862210332120200520144314.01-4443-1502-1(CKB)2580000000004811(EBL)694276(OCoLC)819641609(SSID)ssj0000506364(PQKBManifestationID)11332879(PQKBTitleCode)TC0000506364(PQKBWorkID)10515346(PQKB)11195842(MiAaPQ)EBC694276(MiAaPQ)EBC7104594(EXLCZ)99258000000000481120090518d2009 uy 0engur|n|---|||||txtccrThere's something about Godel the complete guide to the incompleteness theorem /Francesco BertoMalden, MA Wiley-Blackwell20091 online resource (255 p.)Description based upon print version of record.1-4051-9766-8 Includes bibliographical references (p. [217]-224) and index.GODEL; Contents; Prologue; Acknowledgments; Part I: The Gödelian Symphony; 1 Foundations and Paradoxes; 1 "This sentence is false"; 2 The Liar and Gödel; 3 Language and metalanguage; 4 The axiomatic method, or how to get the non-obvious out of the obvious; 5 Peano's axioms ...; 6 ... and the unsatisfied logicists, Frege and Russell; 7 Bits of set theory; 8 The Abstraction Principle; 9 Bytes of set theory; 10 Properties, relations, functions, that is, sets again; 11 Calculating, computing, enumerating, that is, the notion of algorithm; 12 Taking numbers as sets of sets; 13 It's raining paradoxes14 Cantor's diagonal argument 15 Self-reference and paradoxes; 2 Hilbert; 1 Strings of symbols; 2 "... in mathematics there is no ignorabimus"; 3 Gödel on stage; 4 Our first encounter with the Incompleteness Theorem ...; 5 ... and some provisos; 3 Gödelization, or Say It with Numbers!; 1 TNT; 2 The arithmetical axioms of TNT and the "standard model" N; 3 The Fundamental Property of formal systems; 4 The Gödel numbering ...; 5 ... and the arithmetization of syntax; 4 Bits of Recursive Arithmetic ...; 1 Making algorithms precise; 2 Bits of recursion theory; 3 Church's Thesis4 The recursiveness of predicates, sets, properties, and relations 5 ... And How It Is Represented in Typographical Number Theory; 1 Introspection and representation; 2 The representability of properties, relations, and functions ...; 3 ... and the Gödelian loop; 6 "I Am Not Provable"; 1 Proof pairs; 2 The property of being a theorem of TNT (is not recursive!); 3 Arithmetizing substitution; 4 How can a TNT sentence refer to itself?; 5 γ; 6 Fixed point; 7 Consistency and omega-consistency; 8 Proving G1; 9 Rosser's proof; 7 The Unprovability of Consistency and the "Immediate Consequences" of G1 and G21 G22 Technical interlude; 3 "Immediate consequences" of G1 and G2; 4 Undecidable1 and undecidable2; 5 Essential incompleteness, or the syndicate of mathematicians; 6 Robinson Arithmetic; 7 How general are Gödel's results?; 8 Bits of Turing machine; 9 G1 and G2 in general; 10 Unexpected fish in the formal net; 11 Supernatural numbers; 12 The culpability of the induction scheme; 13 Bits of truth (not too much of it, though); Part II: The World after Gödel; 8 Bourgeois Mathematicians! The Postmodern Interpretations; 1 What is postmodernism?; 2 From Gödel to Lenin3 Is "Biblical proof" decidable? 4 Speaking of the totality; 5 Bourgeois teachers!; 6 (Un)interesting bifurcations; 9 A Footnote to Plato; 1 Explorers in the realm of numbers; 2 The essence of a life; 3 "The philosophical prejudices of our times"; 4 From Gödel to Tarski; 5 Human, too human; 10 Mathematical Faith; 1 "I'm not crazy!"; 2 Qualified doubts; 3 From Gentzen to the Dialectica interpretation; 4 Mathematicians are people of faith; 11 Mind versus Computer: Gödel and Artificial Intelligence; 1 Is mind (just) a program?; 2 "Seeing the truth" and "going outside the system"3 The basic mistakeBerto's highly readable and lucid guide introduces students and the interested reader to Gödel's celebrated Incompleteness Theorem, and discusses some of the most famous - and infamous - claims arising from Gödel's arguments.Offers a clear understanding of this difficult subject by presenting each of the key steps of the Theorem in separate chapters. Discusses interpretations of the Theorem made by celebrated contemporary thinkers. Sheds light on the wider extra-mathematical and philosophical implications of Gödel's theories.Incompleteness theoremsGodel's theoremMathematicsPhilosophyIncompleteness theorems.Godel's theorem.MathematicsPhilosophy.511.3Berto Francesco286940MiAaPQMiAaPQMiAaPQBOOK9910818622103321There's Something About Gödel4044236UNINA