Fermilab Core Computing Division
Library Home | Ask a Librarian library@fnal.gov | Book Catalog | Library Journals | Requests | SPIRES | Fermilab Documents |
Fermilab Library |
Call number: | 9783319444185:ONLINE Show nearby items on shelf |
Title: | Space, Time and the Limits of Human Understanding |
Author(s): | |
Date: | 2017 |
Size: | 1 online resource (XXIII, 530 p. 51 illus p.) |
Contents: | Philosophy: Śrīharṣa on the Indefinability of Time by Jonathan Duquette and Krishnamurti Ramasubramanian -- Why Spacetime Has a Life of its Own by James Robert Brown -- From Time to Time by Nathan Salmon -- Relativity Theory may not |
have the last Word on the Nature of Time: Quantum Theory and Probabilism by Nicholas Maxwell -- Space as a Source and as an Object of Knowledge: The Transformation of the Concept of Space in the Post-Kantian Philosophy of Geometry by | |
Francesca Biagioli -- Space, Time and (how they) Matter by Valia Allori -- The Phenomenology of Space and Time: Husserl, Sartre, Derrida by Hans Herlof Grelland -- Time and Space in Ancient India, Pre-Philosophical Period by Michael | |
Witzel and Nataliya Yanchevskaya -- Time in Physics and Time in Awareness by E. C. G. Sudarshan -- Physics: The Future’s Not Ours to See, by Tony Sudbury -- Nature’s Book Keeping System by Gerard ‘t Hooft -- An anomaly in space and | |
time and the origin of dynamics by Joan A. Vaccaro -- Spacetime and Reality: Facing the Ultimate Judge by Vesselin Petkov -- Hermann Weyl’s Space-Time Geometry and its Impact on Theories of Fundamental Interactions by Norbert Straumann | |
-- Space, Time, and Adynamical Explanation in the Relational Blockworld by W.M. Stuckey, Michael Silberstein, and Timothy McDevitt -- Matter, Space, Time, and Motion: A Unified Gravitational Perspective by C. S. Unnikrishnan -- | |
Spacetime is Doomed by George Musser -- Mathematics: Geometry and Physical Space by Mary Leng -- The Geometry of Manifolds and the Perception of Space by Raymond O. Wells, Jr -- Topos Theoretic Approach to Space and Time by Goro C. | |
Kato -- Paradox? The Mathematics of Space-Time and the Limits of Human Understanding by Paul Ernest -- General Relativity, Time, and Determinism by James Isenberg -- “Now” has an infinitesimal positive duration by Reuben Hersh -- The | |
Fundamental Problem of Dynamics by Julian Barbour -- What’s wrong with the Platonic ideal of space and time? by Lorenzo Sadun -- Biology/Cognitive Science: Syntactic Space by Rajesh Kasturirangan -- Time measurement in living systems: | |
Human understanding and health implications by L Abhilash and Vijay Kumar Sharma -- The cellular space-the space of life by Pier Luigi Luisi -- The consciousness of space, the space of consciousness by Mauro Bergonzi and Pier Luigi | |
Luisi -- Time and Suffering (False metaphors, (de)synchronous times, and internal dynamics) by Norman Sieroka -- Evolutionary Time and the Creation of the Space of Life by Randall E. Auxier -- Computer Science: A computational | |
mathematics view of space, time and complexity by David H. Bailey and Jonathan M. Borwein -- The Black Hole in Mathematics by A. K. Dewdney -- Gödel’s Ontological Dreams by Gary Mar -- ‘Photographing the Footsteps of Time’: Space and | |
Time in Charles Babbage’s Calculating Engines by Doron Swade -- Gödel incompleteness and the empirical sciences by N. C. A. da Costa and F. A. Doria -- Miscellaneous: The Novel and the Map: Spatiotemporal Form and Discourse in Literary | |
Cartography by Robert T. Tally Jr -- Time, Space, and the Human Geographies of Opportunity by Donald G. Janelle -- Losing Time and Space: Experiencing Immersion by Diana J. Reichenbach. < | |
ISBN: | 9783319444185 |
Series: | eBooks |
Series: | Springer eBooks |
Series: | Springer 2017 package |
Keywords: | Physics , Epistemology , Metaphysics , Gravitation , Cosmology , Physics , Classical and Quantum Gravitation, Relativity Theory , Epistemology , History and Philosophical Foundations of Physics , Cosmology , Metaphysics |
Availability: | Click
here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | 9783319394459:ONLINE Show nearby items on shelf |
Title: | Maths Meets Myths: Quantitative Approaches to Ancient Narratives |
Author(s): | |
Date: | 2017 |
Size: | 1 online resource (X, 228 p. 64 illus., 47 illus. in color p.) |
Contents: | Preface -- Foreword -- Introduction -- Cognitive and Network Constraints in Real Life and Literature -- A Networks Approach to Mythological Epics -- Medieval Historical, Hagiographical and Biographical Networks -- Peopling of the New |
World from data on distributions of folklore motifs -- Phylogenetics Meets Folklore: Bioinformatic Approaches to the Study of International Folktales -- Analyses of a VirtualWorld -- Ghostscope: Conceptual Mapping of Supernatural | |
Phenomena in a Large Folklore Corpus -- Complex Networks of Words in Fables -- Analysing and Restoring the Chronology of the Irish Annals -- Mapping Literate Networks in Early Medieval Ireland Quantitative Realities, Social | |
Mythologies? -- How quantitative methods can shed light on a problem of comparative mythology: The myth of the struggle for supremacy between two groups of deities reconsidered | |
ISBN: | 9783319394459 |
Series: | eBooks |
Series: | Springer eBooks |
Series: | Springer 2017 package |
Keywords: | Physics , History , Medieval philosophy , Historical linguistics , Social sciences , Physics , Applications of Graph Theory and Complex Networks , History, general , Methodology of the Social Sciences , Historical Linguistics , Medieval Philosophy |
Availability: | Click
here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2016-9783319285825:ONLINE Show nearby items on shelf |
Title: | Mathematical Cultures The London Meetings 2012-2014 |
Author(s): | |
Date: | 2016 |
Size: | 1 online resource (24 p.) |
Note: | 10.1007/978-3-319-28582-5 |
Contents: | Introduction -- Understanding the cultural construction of school mathematics -- Envisioning Transformations – The Practice of Topology -- Creative Discomfort: The Culture of the Gelfand Seminar at Moscow University -- Mathematical Culture and Mat hematics Education in Hungary in the XXth Century -- On the Emergence of a New Mathematical Object: an Ethnography of a Duality Transform -- What are we like… -- Mathematics as a social differentiating factor: men of letters, politicians and engineers i n Brazil through the Nineteenth Century -- “The End of Proof”? The integration of different mathematical cultures as experimental mathematics comes of age -- Diversity in Proof Appraisal -- What would the mathematics curriculum look like if instead of concepts and techniques, values were the focus? -- Mathematics and Values -- Purity as a Value in the German-speaking area -- Values in Caring for Proof -- An empirical approach to the mathematical values of problem choice and argumentation -- The |
Notion of Fit as a Mathematical Value -- Mathematical Pull -- Mathematics and First Nations in Western Canada: from cultural destruction to a re-awakening of mathematical reflections -- Remunerative Combinatorics: Mathematicians and their Sponsors i n the Mid-Twentieth Century -- Calling a Spade a Spade: Mathematics in the New Pattern of Division of Labour -- Mathematics and mathematical cultures in fiction: the case of Catherine Shaw -- Morality and Mathematics -- The Great Gibberish - Mathematics i n Western Popular Culture -- Is Mathematics an issue of general education? | |
ISBN: | 9783319285825 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Keywords: | Mathematics , Philosophy and science , History , Mathematics , Mathematics , History of Mathematical Sciences , Mathematics Education , Philosophy of Science |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2016-9783319226866:ONLINE Show nearby items on shelf |
Title: | Advances in Proof-Theoretic Semantics |
Author(s): | |
Date: | 2016 |
Edition: | 1st ed. 2016 |
Size: | 1 online resource (283 p.) |
Note: | 10.1007/978-3-319-22686-6 |
Contents: | Chapter 1. Introduction Thomas Piecha & Peter-Schroeder-Heister -- Chapter 2. On Brouwer-Heyting-Kolmogorov provability semantics Sergei N. Artëmov -- Chapter 3. Two Ways of General Proof Theory Kosta Došen -- Chapter 4. Generalised elimination ru les Roy Dyckhoff -- Chapter 5. On the proof theoretic foundations of set theory Lars Hallnäs -- Chapter 6. The choice of semantics as a methodological question Wilfrid Hodges -- Chapter 7. The mode of presentation Reinhard Kahle -- Chapter 8. Remarks on relations between Gentzen and Heyting inspired PTS Dag Prawitz -- Chapter 9. Unification of logics by reflection Giovanni Sambin -- Chapter 10. BHK and Brouwer's Theory of the Creative Subject Göran Sundholm -- Chapter 11. Compositional semantics for pre dicate logic: Eliminating bound variables from formulas and deductions William W. Tait -- Chapter 12. Intuitionism, the Paradox of Knowability and Empirical Negation Gabriele Usberti -- Chapter 13. Explicit composition and its application in |
normalization proofs Jan von Plato -- Chapter 14. A two-sorted typed lambda-calculus Heinrich Wansing -- Chapter 15. Kreisel's second clause and the Theory of Constructions Walter Dean & Hidenori Kurokawa -- Chapter 16. On Paradoxes in Proof-Theoret ic Semantics Yoshihiro Maruyama | |
ISBN: | 9783319226866 |
Series: | eBooks |
Series: | SpringerLink (Online service) |
Series: | Springer eBooks |
Series: | Trends in Logic, Studia Logica Library: 43 |
Keywords: | Philosophy , Logic , Mathematical logic , Philosophy , Logic , Mathematical Logic and Foundations , Mathematical Logic and Formal Languages |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2014-9789400775480:ONLINE Show nearby items on shelf |
Title: | Advances in Natural Deduction [electronic resource] : A Celebration of Dag Prawitz's Work |
Author(s): |
Luiz Carlos Pereira Edward Hermann Haeusler Valeria de Paiva |
Date: | 2014 |
Publisher: | Dordrecht : Springer Netherlands : Imprint: Springer |
Size: | 1 online resource |
Note: | This collection of papers celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour hisseminal research. Dag Prawit zs work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics in Logic, Linguistics andTheoretical Computer Science. The range of contributions includes ma terial on the extension of natural deduction with higher-order rules, as opposed to higher-order connectives, and a paper discussing the application of naturaldeduction rules to dealing with equality in predicate calculus. The volume continues with a key chapter summarizing work on the extension of the Curry-Howard isomorphism (itself a by-product of the work on natural deduction), viamethods of category theory that have been successfully applied to linear logic, as well as many other contributions from h ighly regarded authorities. With an illustrious group of contributors addressing a wealth of topics andapplications, this volume is a valuable addition to the libraries of academics in the multiple disciplines whose development has been given added scope by the methodologies supplied by natural deduction. The volume is representative ofthe rich and varied directions that Prawitz work has inspired in the area of natural deduction. |
Contents: | Chapter 1. Generalizaed elimination inferences Schroeder |
Heister, Peter | |
Chapter 2. Revisiting Zucker's work on the Correspondence between Cut | |
Elimination and Normalisation Urban, Christian | |
Chapter 3. Proofs, Reasoning and the Metamorphosis of Logic Joinet, Jean | |
Baptiste | |
Chapter 4. Natural Deduction for Equality: The Missing Entity de Quieroz, Ruy J.G.B. and de Oliveira, Anjolina G | |
Chapter 5. Proof | |
theoretical Conception of Logic Legris, Javier | |
Chapter 6. On the Structure of Natural deduction Derivations for Generally Vana, Leonardo B., Veloso, Paulo A.S. , and Veloso, Sh | |
ISBN: | 9789400775480 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Trends in Logic, Studia Logica Library, 1572-6126 : v39 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Philosophy (General) , Logic , Computer science , Logic, Symbolic and mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2014-9783319060804:ONLINE Show nearby items on shelf |
Title: | Recent Trends in Philosophical Logic [electronic resource] |
Author(s): |
Roberto Ciuni Heinrich Wansing Caroline Willkommen |
Date: | 2014 |
Publisher: | Cham : Springer International Publishing : Imprint: Springer |
Size: | 1 online resource |
Note: | This volume presents recent advances in philosophical logic with chapters focusing on non-classical logics, including paraconsistent logics, substructural logics, modal logics of agency and other modal logics. The authors coverthemes such as the know ability paradox, tableaux and sequent calculi, natural deduction, definite descriptions, identity, truth, dialetheism, and possible worlds semantics. The developments presented here focus on challengingproblems in the specification of fundamental philoso phical notions, as well as presenting new techniques and tools, thereby contributing to the development of the field. Each chapter contains a bibliography, to assist the reader inmaking connections in the specific areas covered. Thus this work provides bo th a starting point for further investigations into philosophical logic and an update on advances, techniques and applications in a dynamic field. Thechapters originate from papers presented during the Trends in Logic XI conference at the Ruhr University Bochum, June 2012 |
Contents: | Chapter 1. Semantic Defectiveness: A Dissolution of Semantic Pathology Bradley Armour |
Garb and James A. Woodbridge | |
Chapter 2. Emptiness and discharge in sequent calculus and natural deduction Michael Arndt and Luca Tranchini | |
Chapter 3. The Knowability Paradox in the light of a Logic for Pragmatics Massimiliano Carrara and Daniele Chi | |
Chapter 4. A Dialetheic Interpretation of Classical Logic Massimiliano Carrara and Enrico Martino | |
Chapter 5. Strongly semantic information as information about the truth Gustavo Cevolani | |
Chapter 6. Priest's Motorbike and Tolerant Identity Pabl | |
ISBN: | 9783319060804 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Trends in Logic, Studia Logica Library, 1572-6126 : v41 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Philosophy (General) , Genetic epistemology , Logic , Logic, Symbolic and mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2014-9783319015958:ONLINE Show nearby items on shelf |
Title: | Data Analysis, Machine Learning and Knowledge Discovery [electronic resource] |
Author(s): |
Myra Spiliopoulou Lars Schmidt-Thieme Ruth Janning |
Date: | 2014 |
Publisher: | Cham : Springer International Publishing : Imprint: Springer |
Size: | 1 online resource |
Note: | Data analysis, machine learning and knowledge discovery are research areas at the intersection of computer science, artificial intelligence, mathematics and statistics. They cover general methods and techniques that can be appliedto a vast set of app lications such as web and text mining, marketing, medicine, bioinformatics and business intelligence. This volume contains the revised versions of selected papers in the field of data analysis, machine learning andknowledge discovery presented during the 36th annual conference of the German Classification Society (GfKl). The conference was held at the University of Hildesheim (Germany) in August 2012 |
Contents: | AREA Statistics and Data Analysis: Classifcation, Cluster Analysis, Factor Analysis and Model Selection |
AREA Machine Learning and Knowledge Discovery: Clustering, Classifiers, Streams and Social Networks | |
AREA Data Analysis and Classification in Marketing | |
AREA Data Analysis in Finance | |
AREA Data Analysis in Biostatistics and Bioinformatics | |
AREA Interdisciplinary Domains: Data Analysis in Music, Education and Psychology | |
LIS Workshop: Workshop on Classification and Subject Indexing in Library and Information Science | |
ISBN: | 9783319015958 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Studies in Classification, Data Analysis, and Knowledge Organization, 1431-8814 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Statistics , Data mining , Statistical methods , Mathematical statistics , Marketing , Philosophy (General) |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2014-9783319007922:ONLINE Show nearby items on shelf |
Title: | Adaptive Logics for Defeasible Reasoning [electronic resource] : Applications in Argumentation, Normative Reasoning and Default Reasoning |
Author(s): |
Christian Straer |
Date: | 2014 |
Publisher: | Cham : Springer International Publishing : Imprint: Springer |
Size: | 1 online resource |
Note: | This book presents adaptive logics as an intuitive and powerful framework for modeling defeasible reasoning. It examines various contexts in which defeasible reasoning is useful and offers a compact introduction into adaptivelogics. The author first familiarizes readers with defeasible reasoning, the adaptive logics framework, combinations of adaptive logics, and a range of useful meta-theoretic properties. He then offers a systematic study of adaptivelogics based on various applications. The book pr esents formal models for defeasible reasoning stemming from different contexts, such as default reasoning, argumentation, and normative reasoning. It highlights various meta-theoreticadvantages of adaptive logics over other logics or logical frameworks th at model defeasible reasoning. In this way the book substantiates the status of adaptive logics as a generic formal framework for defeasible reasoning |
Contents: | Chapter 1. Introduction |
Part I. Adaptive Logics as a Framework for Defeasible Logics | |
Chapter 2 The Standard Format of Adaptive Logics | |
Chapter 3. Sequential Combinations of ALs | |
Chapter 4. On the Transparency of Defeasible Logics: Equivalent Premise Sets, Equivalence of Their Extensions, and Maximality of the Lower Limit | |
Chapter 5. Generalizing the Standard Format | |
Part II. Conditional Logics of Normality | |
Chapter 6. Adaptively Applying Modus Ponens in Conditional Logics of Normality | |
Chapter 7. An Adaptive Logic for Rational Closure | |
Part III. Argumentation Theory | |
Chap | |
ISBN: | 9783319007922 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Trends in Logic, Studia Logica Library, 1572-6126 : v38 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Philosophy (General) , Logic , Science Philosophy , Artificial intelligence |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2014-9783319005720:ONLINE Show nearby items on shelf |
Title: | Leonid Isaakovich Mandelstam [electronic resource] : Research, Teaching, Life |
Author(s): |
Alexander Pechenkin |
Date: | 2014 |
Publisher: | Cham : Springer International Publishing : Imprint: Springer |
Size: | 1 online resource |
Note: | This biography of the famous Soviet physicist Leonid Isaakovich Mandelstam (1889-1944), who became a Professor at Moscow State University in 1925, describes his contributions to both physics and technology, as well as discussingthe scientific communi ty which formed around him, usually called the Mandelstam school. Mandelstams life story is thereby placed in its proper cultural context. The following more general issues are taken under consideration: theimpact of German scientific culture on Russian s cience the problems and fates of Russian intellectuals during the revolutionary and post-revolutionary years the formation of the Soviet Academy of Sciences and transformation of thesystem of higher education in the USSR during the 1920's and 1930's.The a uthor shows that Mandelstams fundamental writings and his lectures notes allow to reconstruct his philosophy of science and his approach to the social andethical functions of science and science education. That reconstruction is enhanced through extensive use of hitherto unpublished archival material as well as the transcripts of personal interviews conducted by the author |
Contents: | Foreword by E.P.Velikhov |
Introduction | |
Youth and Strasbourg years | |
The Strasbourg years: radio engineering | |
The Strasbourg years: optics | |
The years of traveling (1914 | |
1925) | |
Moscow State University (1925 | |
1935) | |
Research in optics (Odessa Moscow) | |
The Mandelstam school: the early steps and results | |
The Mandelstams school: the theory of non | |
linear oscillations | |
Moscow State University and the Academy of Sciences | |
Borovoe and the last year in Moscow | |
The Mandelstam operationalism | |
The Mandelstam interpretation of quantum mechanics 1930 | |
1940 | |
ISBN: | 9783319005720 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Physics and Astronomy (Springer-11651) |
Keywords: | Science Study and teaching , Quantum theory , Life sciences |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2014-9783319004822:ONLINE Show nearby items on shelf |
Title: | Leniewski's Systems of Logic and Foundations of Mathematics [electronic resource] |
Author(s): |
Rafal Urbaniak |
Date: | 2014 |
Publisher: | Cham : Springer International Publishing : Imprint: Springer |
Size: | 1 online resource |
Note: | This meticulous critical assessment of the ground-breaking work of philosopher Stanislaw Leniewski focuses exclusively on primary texts and explores the full range of output by one of the master logicians of the Lvov-Warsawschool. The authors nuanced survey eschews secondary commentary, analyzing Leniewski's core philosophical views and evaluating the formulations that were to have such a profound influence on the evolution of mathematical logic. One of the undisputed leaders of the cohort of brillia nt logicians that congregated in Poland in the early twentieth century, Leniewski was a guide and mentor to a generation of celebrated analytical philosophers (Alfred Tarski washis PhD student). His primary achievement was a system of foundational mathema tical logic intended as an alternative to the Principia Mathematica of Alfred North Whitehead and Bertrand Russell. Its three strandsprotothetic,ontology, and mereology, are detailed in discrete sections of this volume, alongside a wealth other chapters g rouped to provide the fullest possible coverage of Leniewskis academic output. With material on his earlyphilosophical views, his contributions to set theory and his work on nominalism and higher-order quantification, this book offers a uniquely expansive critical commentary on one of analytical philosophys great pioneers |
Contents: | Chapter 1: Introduction |
Chapter 2. Leniewski's early philosophical views | |
Chapter 3. Leniewski's Protothetic | |
Chapter 4. Leniewski's Ontology | |
Chapter 5. Leniewski's Mereology | |
Chapter 6. Leniewski and definitions | |
Chapter 7. Sets revisited | |
Chapter 8. Nominalism and higher | |
order quantification | |
ISBN: | 9783319004822 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Trends in Logic, Studia Logica Library, 1572-6126 : v37 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Philosophy (General) , Logic , Science Philosophy , Logic, Symbolic and mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2014-9783034808316:ONLINE Show nearby items on shelf |
Title: | The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland [electronic resource] |
Author(s): |
Roman Murawski |
Date: | 2014 |
Publisher: | Basel : Springer Basel : Imprint: Birkhuser |
Size: | 1 online resource |
Note: | The aim of this book is to present and analyze philosophical conceptions concerning mathematics and logic as formulated by Polish logicians, mathematicians and philosophers in the 1920s and 1930s. It was a remarkable period inthe history of Polish sc ience, in particular in the history of Polish logic and mathematics. Therefore, it is justified to ask whether and to what extent the development of logic and mathematics was accompanied by a philosophicalreflection. We try to answer those questions by an alyzing both works of Polish logicians and mathematicians who have a philosophical temperament as well as their research practice. Works and philosophical views of the following Polishscientists will be analyzed: Wacaw Sierpiski, Zygmunt Janiszewski, Stef an Mazurkiewicz, Stefan Banach Hugo Steinhaus, Eustachy ylisk and Leon Chwistek, Jan ukasiewicz, Zygmunt Zawirski, Stanisaw Leniewski, TadeuszKotarbiski, Kazimierz Ajdukiewicz, Alfred Tarski, Andrzej Mostowski and Henryk Mehlberg, Jan Sleszyski, Stanisaw Zaremba and Witold Wilkosz. To indicate the background of scientists being active in the 1920s and 1930s we considerin Chapter 1 some predecessors, in particular: Jan niadecki, Jzef Maria Hoene-Wroski, Samuel Dickstein and Edward Stamm |
Contents: | Introduction |
Predecessors | |
The Polish School of Mathematics | |
Lvov | |
Warsaw School of Philosophy | |
Benedykt Bornstein | |
Cracow Centre | |
Conclusion | |
Biographical Notes | |
Bibliography | |
Index of Names | |
ISBN: | 9783034808316 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Science Networks. Historical Studies, 1421-6329 : v48 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Philosophy (General) , Logic , Logic, Symbolic and mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2014-9781493906185:ONLINE Show nearby items on shelf |
Title: | Holy Sci-Fi! [electronic resource] : Where Science Fiction and Religion Intersect |
Author(s): |
Paul J Nahin |
Date: | 2014 |
Publisher: | New York, NY : Springer New York : Imprint: Springer |
Size: | 1 online resource |
Note: | Can a computer have a soul? Are religion and science mutually exclusive?Is there really such a thing as free will?If you could time travel to visit Jesus, would you (and should you)?For hundreds of years, philosophers,scientists, and science fiction writers have pondered these questions and many more. In Holy Sci-Fi!, popular writer Paul Nahin explores the fertile and sometimes uneasy relationship between science fiction and religion. With a scopespanning the history of religion, philosophy, and lite rature, Nahin follows religious themes in science fiction from Feynman to Foucault, and from Asimov to Aristotle. An intriguing journey through popular and well-loved books andstories, Holy Sci-Fi! shows how sci-fi has informed humanity's attitudes toward s our faiths, our future, and ourselves |
Contents: | 1. Introduction |
Authors Note One | |
God and Skepticism | |
God, Fantasy, and Science Fiction | |
God and Science | |
Authors Note Two | |
2. Religious Science Fiction Before Science Fiction | |
The 'Start' of Modern SF | |
Before the 'Start' of SF | |
Early Theological SF | |
Theological Maturity | |
3. Time, Space, God's Omniscience, and Free Will | |
What is Time? | |
Time in SF and Theology | |
The Four | |
Dimensional World | |
The Block Universe | |
God's Omniscience in Theology and SF | |
4. Religious Robots | |
Alan Turing, Artificial Minds, and the Souls of Machines | |
Asimovs Robotic Laws | |
ISBN: | 9781493906185 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Science and Fiction, 2197-1188 |
Series: | Physics and Astronomy (Springer-11651) |
Keywords: | Philosophy , Science Philosophy , Technology Philosophy , Science (General) |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2014-9781461489634:ONLINE Show nearby items on shelf |
Title: | Phase Transition Dynamics [electronic resource] |
Author(s): |
Tian Ma Shouhong Wang |
Date: | 2014 |
Publisher: | New York, NY : Springer New York : Imprint: Springer |
Size: | 1 online resource |
Note: | This book is an introduction to a comprehensive and unified dynamic transition theory for dissipative systems and to applications of the theory to a range of problems in the nonlinear sciences. The main objectives of this book areto introduce a gener al principle of dynamic transitions for dissipative systems, to establish a systematic dynamic transition theory, and to explore the physical implications of applications of the theory to a range of problems in thenonlinear sciences. The basic philosophy of the theory is to search for a complete set of transition states, and the general principle states that dynamic transitions of all dissipative systems can be classified into three categories:continuous, catastrophic and random. The audience for this boo k includes advanced graduate students and researchers in mathematics and physics as well as in other related fields |
Contents: | Users Guide |
General Theory of Phase Transition Dynamics | |
Dynamic Transition Theory | |
Equilibrium Phase Transition in Statistical Physics | |
Fluid Dynamics | |
Geophysical Fluid Dynamics and Climate Dynamics | |
Dynamical Transitions in Chemistry and Biology | |
References | |
ISBN: | 9781461489634 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Differential equations, partial |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2014-9781461489399:ONLINE Show nearby items on shelf |
Title: | A Mathematical Odyssey [electronic resource] : Journey from the Real to the Complex |
Author(s): |
Steven G Krantz Harold R Parks |
Date: | 2014 |
Publisher: | Boston, MA : Springer US : Imprint: Springer |
Size: | 1 online resource |
Note: | Mathematics is a poem. It is a lucid, sensual, precise exposition of beautiful ideas directed to specific goals. It is worthwhile to have as broad a cross-section of mankind as possible be conversant with what goes on inmathematics. Just as everyone knows that the Internet is a powerful and important tool for communication, so everyone should know that the Poincar conjecture gives us important information about the shape of our universe. Just asevery responsible citizen realizes that the mass-product ion automobile was pioneered by Henry Ford, just so everyone should know that the P/NP problem has implications for security and data manipulation that will affect everyone. Thisbook endeavors to tell the story of the modern impact of mathematics, of its trials and triumphs and insights, in language that can be appreciated by a broad audience. It endeavors to show what mathematics means for our lives, how itimpacts all of us, and what new thoughts it should cause us to entertain. It introduces new vistas of mathematical ideas and shares the excitement of new ideas freshly minted. It discusses the significance and impact of these ideas,and gives them meaning that will travel well and cause people to reconsider their place in the universe. Mathematics is on e of mankind's oldest disciplines. Along with philosophy, it has shaped the very modus of human thought. And itcontinues to do so. To be unaware of modern mathematics is to be miss out on a large slice of life. It is to be left out of essential modern dev elopments. We want to address this point, and do something about it. This is a book to makemathematics exciting for people of all interests and all walks of life. Mathematics is exhilarating, it is ennobling, it is uplifting, and it is fascinating. We wan t to show people this part of our world, and to get them to travel newpaths |
ISBN: | 9781461489399 |
Series: | eBooks |
Series: | SpringerLink |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Science (General) |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2013-9789400755932:ONLINE Show nearby items on shelf |
Title: | Rational Reconstructions of Modern Physics [electronic resource] |
Author(s): |
Peter Mittelstaedt |
Date: | 2013 |
Edition: | 2nd ed. 2013 |
Publisher: | Dordrecht : Springer Netherlands : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Newtons classical physics and its underlying ontology are loaded with several metaphysical hypotheses that cannot be justified by rational reasoning nor by experimental evidence. Furthermore, it is well known that some ofthese hypotheses are not cont ained in the great theories of Modern Physics, such as the theory of Special Relativity and Quantum Mechanics. This book shows that, on the basis of Newtons classical physics and by rationalreconstruction, the theory of Special Relativity as well as Quant um Mechanics can be obtained by partly eliminating or attenuating the metaphysical hypotheses. Moreover, it is shown that these reconstructions do not require additionalhypotheses or new experimental results. In the second edition the rational reconstruct ions are completed with respect to General Relativity and Cosmology. In addition, the statistics of quantum objects is elaborated in more detail withrespect to the rational reconstruction of quantum mechanics. The new material completes the approach of th e book as much as it is possible at the present state of knowledge. Presumably, the most important contribution that is added tothe second edition refers to the problem of interpretation of the three great theories of Modern Physics. It is shown in detail that in the light of rational reconstructions even realistic interpretations of the three theories ofModern Physics are possible and can easily be achieved |
Note: | Springer eBooks |
Contents: | Rise and Fall of Physical Theories |
The Evolution of Modern Physics from the Classical World | |
Intuitiveness and Truth of Modern Physics | |
The New Approach: Reduction and Elimination of Metaphysical Hypotheses | |
Reconstruction of Special and General Relativity | |
Historical Development Versus Rational Reconstruction | |
Reconstruction of Special Relativity | |
Reconstruction of Quantum Mechanics | |
The Historical Development of Quantum Mechanics | |
The Reduction of Ontological Hypotheses | |
The Formal Languages of Classical Physics and of Quantum Physics | |
Three Constants of Nature | |
The | |
ISBN: | 9789400755932 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Fundamental Theories of Physics : v174 |
Series: | Physics and Astronomy (Springer-11651) |
Keywords: | Science Philosophy |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2013-9783642318481:ONLINE Show nearby items on shelf |
Title: | Applied Multidimensional Scaling [electronic resource] |
Author(s): |
Ingwer Borg Patrick J. F Groenen Patrick Mair |
Date: | 2013 |
Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This book introduces MDS as a psychological model and as a data analysis technique for the applied researcher. It also discusses, in detail, how to use two MDS programs, Proxscal (a module of SPSS) and Smacof (an R-package). Thebook is unique in its orientation on the applied researcher, whose primary interest is in using MDS as a tool to build substantive theories. This is done by emphasizing practical issues (such as evaluating model fit), by presentingways to enforce theoretical expectations on th e MDS solution, and by discussing typical mistakes that MDS users tend to make. The primary audience of this book are psychologists, social scientists, and market researchers. Noparticular background knowledge is required, beyond a basic knowledge of stat istics |
Note: | Springer eBooks |
Contents: | First Steps |
The Purpose of MDS | |
The Goodness of an MDS Solution | |
Proximities | |
Variants of Different MDS Models | |
Confirmatory MDS | |
Typical Mistakes in MDS | |
MDS Algorithms | |
Computer Programs for MDS | |
ISBN: | 9783642318481 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | SpringerBriefs in Statistics, 2191-544X |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Statistics , Visualization , Mathematical statistics , Philosophy (General) |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2013-9783540708568:ONLINE Show nearby items on shelf |
Title: | Ernst Zermelo - Collected Works/Gesammelte Werke II [electronic resource] : Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik |
Author(s): |
Ernst Zermelo Heinz-Dieter Ebbinghaus Akihiro Kanamori |
Date: | 2013 |
Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Springer eBooks |
ISBN: | 9783540708568 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Schriften der Mathematisch-naturwissenschaftlichen Klasse der Heidelberger Akademie der Wissenschaften : v23 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Science History , Philosophy (General) , Computer science , Logic, Symbolic and mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2013-9783319009667:ONLINE Show nearby items on shelf |
Title: | Mathematics, Computer Science and Logic - A Never Ending Story [electronic resource] : The Bruno Buchberger Festschrift |
Author(s): |
Peter Paule |
Date: | 2013 |
Publisher: | Cham : Springer International Publishing : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This book presents four mathematical essays which explore the foundations of mathematics and related topics ranging from philosophy and logic to modern computer mathematics. While connected to the historical evolution of theseconcepts, the essays pla ce strong emphasis on developments still to come. The book originated in a 2002 symposium celebrating the work of Bruno Buchberger, Professor of Computer Mathematics at Johannes Kepler University, Linz, Austria,on the occasion of his 60th birthday. Among many other accomplishments, Professor Buchberger in 1985 was the founding editor of the Journal of Symbolic Computation the founder of the Research Institute for Symbolic Computation (RISC)and its chairman from 1987-2000 the founder in 1990 of the Softwar epark Hagenberg, Austria, and since then its director. More than a decade in the making, Mathematics, Computer Science and Logic - A Never Ending Story includes essaysby leading authorities, on such topics as mathematical foundations from the perspective of computer verification a symbolic-computational philosophy and methodology for mathematics the role of logic and algebra in softwareengineering and new directions in the foundations of mathematics. These inspiring essays invite general, mathematically i nterested readers to share state-of-the-art ideas which advance the never ending story of mathematics, computerscience and logic. Mathematics, Computer Science and Logic - A Never Ending Story is edited by Professor Peter Paule, Bruno Buchbergers successo r as director of the Research Institute for Symbolic Computation |
Note: | Springer eBooks |
Contents: | Preface |
Henk Barendregt: Foundations of Mathematics from the Perspective of Computer Verification | |
Manfred Broy: On the Role of Logic and Algebra in Software Engineering | |
Stephen Wolfram: New Directions in the Foundations of Mathematics (2002) | |
Doron Zeilberger: Towards a Symbolic Computational Philosophy (and Methodology!) for Mathematics | |
ISBN: | 9783319009667 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Software engineering , Information theory , Algorithms , Computer software , Logic, Symbolic and mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2013-9783034806091:ONLINE Show nearby items on shelf |
Title: | Towards a General Theory of Classifications [electronic resource] |
Author(s): |
Daniel Parrochia Pierre Neuville |
Date: | 2013 |
Publisher: | Basel : Springer Basel : Imprint: Birkhuser |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This book is an essay on the epistemology of classifications. Its main purpose is not to provide an exposition of an actual mathematical theory of classifications, that is, a general theory which would be available to any kind ofthem: hierarchical or non-hierarchical, ordinary or fuzzy, overlapping or non-overlapping, finite or infinite, and so on, establishing a basis for all possible divisions of the real world. For the moment, such a theory remains nothingbut a dream. Instead, the authors essentia lly put forward a number of key questions. Their aim is rather to reveal the state of art of this dynamic field and the philosophy one may eventually adopt to go further. To this end theypresent some advances made in the course of the last century, discus s a few tricky problems that remain to be solved, and show the avenues open to those who no longer wish to stay on the wrong track. Researchers and professionalsinterested in the epistemology and philosophy of science, library science, logic and set theor y, order theory or cluster analysis will find this book a comprehensive, original and progressive introduction to the main questions in thisfield |
Note: | Springer eBooks |
Contents: | Foreword |
1 Philosophical problems | |
2 Information data structures | |
3 Empirical Clustering and classic hierarchies | |
4 Algebra of trees | |
5 Generalized Classifications | |
6 Topology of generalized classifications | |
7 Meta | |
classification | |
8 For an axiomatic theory of classifications | |
9 Alternative theories and higher infinite | |
10 Postscript | |
Bibliography. | |
ISBN: | 9783034806091 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Studies in Universal Logic |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Logic , Information storage and retrieval systems , Algebra , Logic, Symbolic and mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2013-9782817804255:ONLINE Show nearby items on shelf |
Title: | Psychologie statistique avec R [electronic resource] |
Author(s): |
Yvonnick Nol |
Date: | 2013 |
Publisher: | Paris : Springer Paris : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Cet ouvrage couvre un programme complet de statistique pour la licence de psychologie (L1 L3), depuis les bases lmentaires de combinatoire et de probabilits jusqu'aux modles labors permettant de mettre l'preuve des hypothses psychologiques. Prsents partir de donnes relles, les modles tudis sont facilement applicables dans les champs divers de la psychologie (cognition, cognition sociale, dveloppement del'enfant, psychologie de la sant, psychologie du travail, psychocriminologie...). La mise en uvre pratique des procdures est dveloppe dans des exercices types prsents en un format unique, de la dfinition du problmestatistique la conclusion psychologique. La dmarche adopte par l'auteur est celle de la comparaison de modles. Chaque situation modliser fait d'abord l'objet d'hypothses psychologiques, traduites sous forme demodles, parmi lesquels on cherche le meilleur en termes de qualit d'ajustement et de parcimonie. Cette dmarche de slection de modles est illustre aussi bien avec les outils fishriens traditionnels (la valeur p), qu'avecles outils les plus rcents de la statistique baysienne (le facteur de Bayes). Les dernires recommandations de l'American Psychological Association en matire d'analyse, notamment l'infrence directe sur les tailles d'eff et, ontt intgres. A ce titre, l'ouvrage intressera autant l'tudiant que le chercheur dsireux de s'initier ces nouveaux outils. Deux librairies spcialises pour R (R2STATS et AtelieR), librement tlchargeables en ligneet dotes d'une interface graphique, per mettent de retrouver facilement tous les rsultats numriques prsents dans les exemples |
Note: | Springer eBooks |
Contents: | Description sur une variable |
Description de liaison | |
Algbre des vnements | |
Calcul des probabilits | |
Esprances et moments | |
Notion de modle | |
Modles binomiaux | |
Modles multinomiaux | |
Modles gaussiens | |
Complments techniques | |
Bibliographie | |
Index | |
ISBN: | 9782817804255 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Pratique R, 2112-8294 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Philosophy (General) , Statistics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2013-9781461480242:ONLINE Show nearby items on shelf |
Title: | Lie Groups [electronic resource] |
Author(s): |
Daniel Bump |
Date: | 2013 |
Edition: | 2nd ed. 2013 |
Publisher: | New York, NY : Springer New York : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This book is intended for a one-year graduate course on Lie groups and Lie algebras. The book goes beyond the representation theory of compact Lie groups, which is the basis of many texts, and provides a carefully chosen range ofmaterial to give the student the bigger picture. The book is organized to allow different paths through the material depending on one's interests.This second edition has substantial new material, including improved discussions ofunderlying principles, streamlining of some pro ofs, and many results and topics that were not in the first edition. For compact Lie groups, the book covers the PeterWeyl theorem, Lie algebra, conjugacy of maximal tori, the Weylgroup, roots and weights, Weyl character formula, the fundamental group and more. The book continues with the study of complex analytic groups and general noncompact Lie groups, covering the Bruhat decomposition, Coxeter groups, flagvarieties, symmetric spaces, Satake diagrams, embeddings of Lie groups and spin. Other topics tha t are treated are symmetric function theory, the representation theory of the symmetric group, FrobeniusSchur duality andGL(n)GL(m) duality with many applications including some in random matrix theory, branching rules, Toeplitz determinants, combinatoric s of tableaux, Gelfand pairs, Hecke algebras, the philosophy of cusp forms and thecohomology of Grassmannians. An appendix introduces the reader to the use of Sage mathematical software for Lie group computations |
Note: | Springer eBooks |
Contents: | Part I: Compact Topological Groups |
1 Haar Measure | |
2 Schur Orthogonality | |
3 Compact Operators | |
4 The PeterWeyl Theorem | |
Part II: Compact Lie Groups | |
5 Lie Subgroups of GL(n,C) | |
6 Vector Fields | |
7 Left | |
Invariant Vector Fields | |
8 The Exponential Map | |
9 Tensors and Universal Properties | |
10 The Universal Enveloping Algebra | |
11 Extension of Scalars | |
12 Representations of sl(2,C) | |
13 The Universal Cover | |
14 The Local Frobenius Theorem | |
15 Tori | |
16 Geodesics and Maximal Tori | |
17 The Weyl Integration Formula | |
18 The Root System | |
19 Examples of Root Systems | |
ISBN: | 9781461480242 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Graduate Texts in Mathematics, 0072-5285 : v225 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Topological Groups |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2013-9781447148326:ONLINE Show nearby items on shelf |
Title: | Modular Representation Theory of Finite Groups [electronic resource] |
Author(s): |
Peter Schneider |
Date: | 2013 |
Publisher: | London : Springer London : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Representation theory studies maps from groups into the general linear group of a finite-dimensional vector space. For finite groups the theory comes in two distinct flavours. In the 'semisimple case' (for exampleover the fieldof complex numbers) one can use character theory to completely understand the representations. This by far is not sufficient when the characteristic of the field divides the order of the group. Modular representation theory of finitegroups comprises this second situation. Many additional tools are needed for this case. To mention some, there is the systematic use of Grothendieck groups leading to the Cartan matrix and the decomposition matrix of the group as wellas Green's direct analysis of indecomposable representations. Ther e is also the strategy of writing the category of all representations as the direct product of certain subcategories, the so-called 'blocks' of the group. Brauer's workthen establishes correspondences between the blocks of the original group and blocks of certain subgroups the philosophy being that one is thereby reduced to a simpler situation. In particular, one can measure how nonsemisimple acategory a block is by the size and structure of its so-called 'defect group'. All these concepts are made explic it for the example of the special linear group of two-by-two matrices over a finite prime field. Although the presentationis strongly biased towards the module theoretic point of view an attempt is made to strike a certain balance by also showing the read er the group theoretic approach. In particular, in the case of defect groups a detailed proof of theequivalence of the two approaches is given. This book aims to familiarize students at the masters level with the basic results, tools, and techniques of a beautiful and important algebraic theory. Some basic algebra together with thesemisimple case are assumed to be known, although all facts to be used are restated (without proofs) in the text. Otherwis |
Note: | Springer eBooks |
Contents: | Prerequisites in module theory |
The Cartan{Brauer triangle | |
The Brauer character | |
Green's theory of indecomposable modules | |
Blocks | |
ISBN: | 9781447148326 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Algebra , Group theory |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2013-9781441909251:ONLINE Show nearby items on shelf |
Title: | Bayesian and Frequentist Regression Methods [electronic resource] |
Author(s): |
Jon Wakefield |
Date: | 2013 |
Publisher: | New York, NY : Springer New York : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Bayesian and Frequentist Regression Methods provides a modern account of both Bayesian and frequentist methods of regression analysis. Many texts cover one or the other of the approaches, but this is the most comprehensivecombination of Bayesian and frequentist methods that exists in one place. The two philosophical approaches to regression methodology are featured here as complementary techniques, with theory and data analysis providing supplementarycomponents of the discussion. In particular, metho ds are illustrated using a variety of data sets. The majority of the data sets are drawn from biostatistics but the techniques are generalizable to a wide range of other disciplines.While the philosophy behind each approach is discussed, the book is not i deological in nature and an emphasis is placed on practical application. It is shown that, in many situations, careful application of the respective approachescan lead to broadly similar conclusions. To use this text, the reader requires a basic understan ding of calculus and linear algebra, and introductory courses in probability and statistical theory. The book is based on the author'sexperience teaching a graduate sequence in regression methods. The book website contains all of the code to reproduce all of the analyses and figures contained in the book |
Note: | Springer eBooks |
Contents: | Introduction |
Frequentist Inference | |
Bayesian Inference | |
Linear Models | |
Binary Data Models | |
General Regression Models | |
ISBN: | 9781441909251 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Springer Series in Statistics, 0172-7397 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Statistics , Mathematical statistics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2012-9789400755482:ONLINE Show nearby items on shelf |
Title: | Complexity in Chemistry and Beyond: Interplay Theory and Experiment [electronic resource] : New and Old Aspects of Complexity in Modern Research |
Author(s): |
Craig Hill Djamaladdin G Musaev |
Date: | 2012 |
Publisher: | Dordrecht : Springer Netherlands : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Complexity occurs in biological and synthetic systems alike. This general phenomenon has been addressed in recent publications by investigators in disciplines ranging from chemistry and biology to psychology and philosophy.Studies of complexity for m olecular scientists have focussed on breaking symmetry, dissipative processes, and emergence. Investigators in the social and medical sciences have focused on neurophenomenology, cognitive approaches andself-consciousness. Complexity in both structure and function is inherent in many scientific disciplines of current significance and also in technologies of current importance that are rapidly evolving to address global societalneeds. Several of these multifaceted scientific disciplines are addressed in th is book including complexity from the general and philosophical perspective, magnetic phenomena, control of self assembly and function in largemulticomponent clusters, application of theory to probe structure and mechanism in highly complex molecular spec ies, and the design of multifunctional nanoscale molecules of value in decontamination and solar fuels research. Eachchapter is both a review and addresses some ongoing challenges, thus each should provide a good preparation for further work in these high ly active areas of research endeavour. |
Note: | Springer eBooks |
Contents: | Challenges of Complexity in Chemistry and Beyond K. Mainzer |
Emergence, breaking symmetry and neurophenomenology as pillars of chemical tenets A. Dei | |
Complexity in Molecular Magnetism D. Gatteschi | |
Rational Design of Single | |
Molecule Magnets T.Glaser | |
Emergence in Inorganic Polyoxometalate Cluster Systems: From Dissipative Dynamics to Artificial Life L. Cronin | |
.The Amazingly Complex Behaviour of Molybdenum Blue Solutions E. Diemann and A. Mller | |
Encapsulated Water Molecules in Polyoxometalates. Insights from Molecular Dynamics P. Mir and C. Bo | |
Organometallic Dendrimers: De | |
ISBN: | 9789400755482 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | NATO Science for Peace and Security Series B: Physics and Biophysics, 1874-6500 |
Series: | Physics and Astronomy (Springer-11651) |
Keywords: | Chemistry , Chemistry, inorganic |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2012-9783642325601:ONLINE Show nearby items on shelf |
Title: | Singularity Hypotheses [electronic resource] : A Scientific and Philosophical Assessment |
Author(s): |
Amnon H Eden James H Moor Johnny H Sraker Eric Steinhart |
Date: | 2012 |
Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Singularity Hypotheses: A Scientific and Philosophical Assessment offers authoritative, jargon-free essays and critical commentaries on accelerating technological progress and the notion of technological singularity. It focuses onconjectures about th e intelligence explosion, transhumanism, and whole brain emulation. Recent years have seen a plethora of forecasts about the profound, disruptive impact that is likely to result from further progress in these areas.Many commentators however doubt the scie ntific rigor of these forecasts, rejecting them as speculative and unfounded. We therefore invited prominent computer scientists, physicists, philosophers, biologists, economists and otherthinkers to assess the singularity hypotheses. Their contributions go beyond speculation, providing deep insights into the main issues and a balanced picture of the debate |
Note: | Springer eBooks |
Contents: | Singularity Hypotheses: An Overview |
Part 1: A Singularity of Artificial Superintelligence | |
Intelligence Explosion: Evidence and Import | |
The Threat of a Reward | |
Driven Adversarial Artificial General Intelligence | |
New Millenium Al and the Convergence of History 2012 | |
Why an Intelligence Explosion is Probable | |
Part 2: Concerns About Artificial Superintelligence | |
The Singularity and Machine Ethics | |
Artificial General Intelligence and the Human Mental Model | |
Some Economic Incentives Facing a Business That Might Bring About a Technological Singularity | |
Rationally | |
shaped Artificia | |
ISBN: | 9783642325601 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | The Frontiers Collection, 1612-3018 |
Series: | Physics and Astronomy (Springer-11651) |
Keywords: | Engineering , Neurosciences , Technology Philosophy , Artificial intelligence , Computer science |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2012-9783642232596:ONLINE Show nearby items on shelf |
Title: | The Arrows of Time [electronic resource] A Debate in Cosmology |
Author(s): |
Laura Mersini-Houghton Rudy Vaas |
Date: | 2012 |
Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | The concept of time has fascinated humanity throughout history, and remains one of the biggest mysteries in science and philosophy. Yet a deeper understanding of nature at a fundamental level can only be achieved through acomprehension of this strang e fourth dimension. Furthermore, the origin of the universe is closely intertwined with the puzzle of time: Did time emerge at the big bang? Why does the direction of time conspire with the remarkablyordered initial state of the universe? This book addre ssesmany ofthe most important questions about time: What is time, and is it fundamental or emergent? Why is there such an arrow of time, closely related to the initial stateof the universe, and why do the cosmic, thermodynamic and other arrows agree? Thes e issues are discussed here by leading experts, and each offers a new perspective on the debate. Their contributions delve into the most difficultresearch topic in physics, also describing the latest cutting edge research on the subject. The book also off ers readers a comparison between the different outlooks of philosophy, physics and cosmology on the puzzle of time. Thisvolume is intended to be useful for research purposes, but most chapters are also accessible to a more general audience of scientifical ly educated readers looking for deeper insights. |
Note: | Springer eBooks |
Contents: | Introduction |
The Clock Ambiguity: Implications and New Developments | |
Holographic Cosmology and the Arrow of Time | |
A Momentous Arrow of Time | |
The Phantom Bounce: A New Proposal for an Oscillating Cosmology | |
The Emergent Nature of Time and the Complex Numbers in Quantum Cosmology | |
The Arrow of Time in a Dark | |
Energy | |
Dominated Universe | |
The Problem of Time for De Sitters Spacetimes | |
Fundamental Loss of Quantum Coherence from Quantum Gravity | |
Micro | |
time, Macro | |
time, and the Pseudo | |
beginning of the Big Bang | |
Open Problems Regarding the Arrow of Time | |
ISBN: | 9783642232596 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Fundamental Theories of Physics : v172 |
Series: | Physics and Astronomy (Springer-11651) |
Keywords: | Science Philosophy |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2012-9781461430940:ONLINE Show nearby items on shelf |
Title: | Social Foundations of Human Space Exploration [electronic resource] |
Author(s): |
James A Dator |
Date: | 2012 |
Publisher: | Boston, MA : Springer US : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Social Foundations of Human Space Explorationpresents a uniquely human perspective on the quest to explore space and to understand the universe through the lens of the arts, humanities, and social sciences. It considers earlystories about the univers e in various cultures recent space fiction the origins and cultural rationale for the space age experiences of humans in space and their emerging interactions with robots and artificial intelligence howhumans should treat environments and alien life and t he alternative futures of space exploration and settlement |
Note: | Springer eBooks |
Contents: | Early Visions of Not |
Earth and Space Fiction | |
Origins of the Space Age | |
Cultural Rationale for Space | |
Humans in Space | |
Humans and Posthumans | |
Do Rocks Have Rights? | |
Never Again! | |
Space Futures | |
Top Ten Things to Know about Space and Society | |
Key Words List | |
ISBN: | 9781461430940 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | SpringerBriefs in Space Development, 2191-8171 |
Series: | Physics and Astronomy (Springer-11651) |
Keywords: | Philosophy (General) , Technology Philosophy , Astronautics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2012-9781461430933:ONLINE Show nearby items on shelf |
Title: | Social Foundations of Human Space Exploration [electronic resource] |
Author(s): |
James A. Dator |
Date: | 2012 |
Publisher: | Springer US |
Size: | 1 online resource |
Note: | Brief |
Note: | Springer 2012 Physics and Astronomy eBook collection |
Note: | Springer e-book platform |
ISBN: | 9781461430933 |
Series: | SpringerBriefs in Space Development |
Series: | e-books |
Keywords: | Philosophy of Technology , Aerospace Technology and Astronautics , Political Science, general , Law of the Sea, Air and Outer Space |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2012-9781461424079:ONLINE Show nearby items on shelf |
Title: | Henri Poincar [electronic resource] : Impatient Genius |
Author(s): |
Ferdinand Verhulst |
Date: | 2012 |
Publisher: | Boston, MA : Springer US : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This book describes the life and work of Henri Poincar, detailing most of his unique achievements in mathematics and physics. It is divided into two partsthe first on Poincars life, and the second on his contributionsto the mathematical sciences. Apa rt from biographical details, attention is given to Poincars results on automorphic functions differential equations and dynamical systems celestial mechanics mathematical physics, in particularthe theory of the electron and relativity and topology (analy sis situs). A chapter on philosophy explains Poincars conventionalism in mathematics and his view of conventionalism in physics. The book shows how Poincar reachedhis fundamentally new results in many different fields, how he thought about problems, and h ow one should read his work. Simultaneously, it is made clear how analysis and geometry are intertwined in Poincars thinking and work. Indynamical systems, this becomes clear in his description of invariant manifolds, his association of differential equat ion flow with mappings, and his fixed-point theory. There is no comparable book on Poincar presenting such arelatively complete vision of his life and the working of his very original mind. Scientists and engineers as well as general readers interested in the history of science will find this book of interest. Reviews of this book:Thetitle of this biography is particularly well chosen : Henri Poincar was a true genius, and he was impatient. It gives a fair picture of both the man and the scientist, comple ted by particularly well chosen illustrations. Jean Mawhin,Universit Catholique de Louvain, Belgium Ferdinand Verhulst has written a true scientific biography, introducing Poincar the man, his cultural milieu, and his mathematics. This book shows why, a c entury after his death,Poincar's ideas still shape a substantial part of the mathematical sciences. Philip J Holmes, Princeton University, USA |
Note: | Springer eBooks |
Contents: | The early years |
Academic education, 1873 | |
1879 | |
Impressive results in Vesoul and Caen | |
Career in Paris | |
The prize competition of Oscar II | |
Philosophy and essays | |
At the end, what kind of a man? | |
Automorphic functions | |
Differential equations and dynamical systems | |
Analysis Situs | |
Mathematical Physics | |
Poincar | |
Historical data and biographical details | |
References | |
Index | |
ISBN: | 9781461424079 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Engineering |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2011-9789400714762:ONLINE Show nearby items on shelf |
Title: | Paradoxes [electronic resource] |
Author(s): |
Piotr ukowski |
Date: | 2011 |
Publisher: | Dordrecht : Springer Netherlands |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | The book is a monograph devoted to paradoxes of reasoning in the European tradition of philosophical logic. For each paradox, it analyses important attempts at its solution.The content is arranged according to the newclassification of paradoxes prese nted by the author. The paradoxes discussed in the first three chapters can be called intra-linguistic ones. The first chapter analyzes paradoxes resulting from a clash between a logically correctreasoning and previously accepted opinions. The second one is devoted to paradoxes resulting from the error of ambiguity. The third one analyzes reasonings, whose paradoxical character originates in self-referent languageconstructions. Chapter four discusses paradoxes which are called ontological ones, whose exis tence results from a confrontation between the language description of reality and that reality itself. The book is written in a clear way anddoes not require advanced knowledge of logic. It is addressed to readers with either humanist or scientific educa tional background and deals with important problems of language, cognition and reasoning in an accessible way. |
Note: | Springer eBooks |
Contents: | Preface |
Introduction | |
1. Sophisms and paralogisms (paradoxes of: horses, Newcomb, Fitch) | |
2. Wrong intuitions paradoxes (paradoxes of: common birthday, approximation, Stevensons bottle, Hempel, infinity) | |
3. Paradoxes coming from ambiguity (paradoxes of Protagoras, Elektra, horn | |
headed man, the club without a name, Gods omnipotence, stone) | |
4. Paradoxes of self | |
reference (Mbius ribbon (band), Kleins bottle, liar paradox, Buridan, barber, Richard, Berry, Grelling and Nelson, unexpected examination, crocodile) | |
5. Ontological paradoxes | |
6. Epilogue | |
Bibliography | |
ISBN: | 9789400714762 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Trends in Logic : v31 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Philosophy (General) , Logic |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2011-9789400700772:ONLINE Show nearby items on shelf |
Title: | Rational Reconstructions of Modern Physics [electronic resource] |
Author(s): |
Peter Mittelstaedt |
Date: | 2011 |
Publisher: | Dordrecht : Springer Netherlands |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Newtons classical physics and its underlying ontology are loaded with several metaphysical hypotheses that cannot be justified by rational reasoning nor by experimental evidence. Furthermore, it is well known that some ofthese hypotheses are not cont ained in the great theories of modern physics, such as the theory of relativity and quantum mechanics. This book shows that, on the basis of Newtons classical physics and by rational reconstruction, thetheory of relativity as well as quantum mechanics can be obtained by partly eliminating or attenuating the metaphysical hypotheses. Moreover, it is shown that these reconstructions do not require additional hypotheses or newexperimental results |
Note: | Springer eBooks |
Contents: | Introduction |
Chapter 1: Rise and Fall of Physical Theories | |
The evolution of Modern Physics from the classical world | |
Intuitiveness and truth of Modern Physics | |
The new approach: Reduction of metaphysical hypotheses | |
Chapter 2 : Reconstruction of Special and General Relativity | |
Historical Development versus rational reconstruction | |
Reconstruction of Special Relativity | |
Space | |
time intervals and Relativistic Mechanics | |
The numerical value of the constant w | |
Could Special Relativity have been discovered already by Newton? A pseudo | |
historical digression | |
The attempt to reconstruct Ge | |
ISBN: | 9789400700772 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Fundamental Theories of Physics : v169 |
Series: | Physics and Astronomy (Springer-11651) |
Keywords: | Science Philosophy |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2011-9789400700024:ONLINE Show nearby items on shelf |
Title: | Hybrid Logic and its Proof-Theory [electronic resource] |
Author(s): |
Torben Braner |
Date: | 2011 |
Publisher: | Dordrecht : Springer Netherlands |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where the points represent times,possible worlds, stat es in a computer, or something else). This is useful for many applications, for example when reasoning about time one often wants to formulate a series of statements about what happens at specific times. There islittle consensus about proof-theory for ord inary modal logic. Many modal-logical proof systems lack important properties and the relationships between proof systems for different modal logics are often unclear. In the present book wedemonstrate that hybrid-logical proof-theory remedies these defic iencies by giving a spectrum of well-behaved proof systems (natural deduction, Gentzen, tableau, and axiom systems) for a spectrum of different hybrid logics(propositional, first-order, intensional first-order, and intuitionistic) |
Note: | Springer eBooks |
Contents: | Preface, |
1 Introduction to Hybrid Logic | |
2 Proof | |
Theory of Propositional Hybrid Logic | |
3 Tableaus and Decision Procedures for Hybrid Logic | |
4 Comparison to Seligmans Natural Deduction System | |
5 Functional Completeness for a Hybrid Logic | |
6 First | |
Order Hybrid | |
7 Intensional First | |
Order Hybrid Logic | |
8 Intuitionistic Hybrid Logic | |
9 Labelled Versus Internalized Natural Deduction | |
10 Why does the Proof | |
Theory of Hybrid Logic Behave soWell? | |
References | |
Index | |
ISBN: | 9789400700024 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Applied Logic Series, 1386-2790 : v37 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Philosophy (General) , Logic , Computer science , Logic, Symbolic and mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2011-9789048196708:ONLINE Show nearby items on shelf |
Title: | Gentzen Calculi for Modal Propositional Logic [electronic resource] |
Author(s): |
Francesca Poggiolesi |
Date: | 2011 |
Publisher: | Dordrecht : Springer Netherlands |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | The book is about Gentzen calculi for (the main systems of) modal logic. It is divided into three parts. In the first partwe introduce and discuss the main philosophical ideas related to proof theory, and we try to identifycriteria for distinguishing good sequent calculi. In the second part we present the several attempts made from the 50s until today to provide modal logic with Gentzen calculi. In the third and and final part we analyse new calculifor modal logics, called tree-hypersequent calculi, which were recently introduced by the author. We show in a precise and clear way the main results that can be proved with and about them. |
Note: | Springer eBooks |
Contents: | PartI An overview of the sequent calcus |
PartII, Sequent caluli for modal logic | |
Part III, Tree | |
hyperseqent calculi | |
Reference | |
Symbols and notations | |
Index | |
ISBN: | 9789048196708 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Trends in Logic : v32 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Philosophy (General) , Computer vision , Mathematics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2011-9783642201042:ONLINE Show nearby items on shelf |
Title: | The Wondrous Universe [electronic resource] Creation without Creator? |
Author(s): |
Gerhard Brner |
Date: | 2011 |
Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | The world as it is viewed from modern physics and cosmology has many strange and unexpected features. Often these are in stark contrast with our everyday experience or our preconceptions, such as the concept of space and time asfinite and changeable. Nevertheless it is this strange world which is the fundamental basis of our existence. Therefore modern science also has a few things to say about the age-old questions: Who are we? Where do we come from? Where are we going? The author, an experienced s cientist and teacher, presents the knowledge that we have about our worldfor non-experts. He takes us on a journey through cosmology and the quantum world of elementary particles. Andhe sketches the impact of the insights gained into philosophical assumpt ions and religious beliefs in these disciplines. In the end he asks the speculative question whether there is something beyond the limits of the natural sciences.Gerhard Brner is a Professor of Physics at the Ludwig Maximilians University in Munich and co nducts research on the early universe and dark matter at the Max Planck Institute for Astrophysics in Garching near Munich. He received hisPhD for a thesis on particle physics under the supervision of Werner Heisenberg and Hans-Peter Drr. Professor Brner is the author of the successful graduate textbook The Early Universe (published by Springer and now in its 4thedition), as well as of several popular science books on cosmology. In 2009 he received the Chinese Academy of Sciences Award for International C ooperation in Science and Technology (together with Prof. Maurice-Roger Bonnet). In 2010he received the Friendship Award, and in January 2011 the Chinese governments National Award for Cooperation in Science and Technology, the highest honor bestowed on f oreigners |
Note: | Springer eBooks |
Contents: | 1 The Wondrous Universe |
2 The World at Large | |
3 The Deep Underground | |
4 Boundaries and Transgressions | |
ISBN: | 9783642201042 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Astronomers' Universe, 1614-659X |
Series: | Physics and Astronomy (Springer-11651) |
Keywords: | Philosophy , Science Philosophy , Astronomy , Quantum theory , Science (General) |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2011-9783642163135:ONLINE Show nearby items on shelf |
Title: | The Foundations of Statistics: A Simulation-based Approach [electronic resource] |
Author(s): |
Shravan Vasishth Michael Broe |
Date: | 2011 |
Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Statistics and hypothesis testing are routinely used in areas (such as linguistics) that are traditionally not mathematically intensive. In such fields, when faced with experimental data, many students and researchers tend torely on commercial packag es to carry out statistical data analysis, often without understanding the logic of the statistical tests they rely on. As a consequence, results are often misinterpreted, and users have difficulty in flexiblyapplying techniques relevant to their own rese arch they use whatever they happen to have learned. A simple solution is to teach the fundamental ideas of statistical hypothesis testing without using too much mathematics. This bookprovides a non-mathematical, simulation-based introduction to basic sta tistical concepts and encourages readers to try out the simulations themselves using the source code and data provided (the freely available programming language Ris used throughout). Since the code presented in the text almost always requires the use of previously introduced programming constructs, diligent students also acquire basic programming abilities in R. The book is intended foradvanced undergraduate and graduate students in any discipline, although the focus is on linguistics, psychology, and co gnitive science. It is designed for self-instruction, but it can also be used as a textbook for a first course onstatistics. Earlier versions of the book have been used in undergraduate and graduate courses in Europe and the US. Vasishth and Broe have wr itten an attractive introduction to the foundations of statistics. It is concise,surprisingly comprehensive, self-contained and yet quite accessible. Highly recommended. Harald Baayen, Professor of Linguistics, University of Alberta, Canada By using the text students not only learn to do the specificthings outlined in the book, they also gain a skill set that empowers them to explore new areas that lie beyond the books coverage. C |
Note: | Springer eBooks |
Contents: | 1. Getting Started |
2. Randomness and Probability | |
3. The Sampling Distribution of the Sample Mean | |
4. Power | |
5. Analysis of Variance (NOVA) | |
6. Bivariate Statistics and Linear Models | |
7. An Introduction to Linear Mixed Models. A. Random Variables | |
B | |
Basic R Commands and Data Structures | |
Index | |
References | |
ISBN: | 9783642163135 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Data mining , Psycholinguistics , Philosophy (General) |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2011-9781461407065:ONLINE Show nearby items on shelf |
Title: | Einstein's Theory [electronic resource] : A Rigorous Introduction for the Mathematically Untrained |
Author(s): |
yvind Grn Arne Nss |
Date: | 2011 |
Edition: | 1 |
Publisher: | New York, NY : Springer New York |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This book provides an introduction to the theory of relativity and the mathematics used in its processes. Three elements of the book make it stand apart from previously published books on the theory of relativity. First, the bookstarts at a lower mat hematical level than standard books with tensor calculus of sufficient maturity to make it possible to give detailed calculations of relativistic predictions of practical experiments. Self-contained introductionsare given, for example vector calculus, dif ferential calculus and integrations. Second, in-between calculations have been included, making it possible for the non-technical reader to follow step-by-step calculations. Thirdly, theconceptual development is gradual and rigorous in order to provide th e inexperienced reader with a philosophically satisfying understanding of the theory. Einstein's Theory: A Rigorous Introduction for the MathematicallyUntrainedaims toprovide the reader with a sound conceptual understanding of both the special and general theories of relativity, and gain an insight into how the mathematics of the theory can be utilized to calculate relativisticeffects |
Note: | Springer eBooks |
Contents: | Vectors |
Differential calculus | |
Tangent vectors | |
Curvilinear coordinate systems | |
The metric tensor | |
The Christoffel symbols | |
Covariant differentiation | |
Geodesics | |
Curvature | |
Conservation laws of classical mechanics | |
Einsteins field equations | |
Einsteins theory of spacetime and gravitation | |
Some applications | |
Relativistic universe models | |
ISBN: | 9781461407065 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Physics and Astronomy (Springer-11651) |
Keywords: | Science Philosophy , Astronomy |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2011-9780387848266:ONLINE Show nearby items on shelf |
Title: | A Survey of the Almagest [electronic resource] With Annotation and New Commentary by Alexander Jones |
Author(s): |
Olaf Pedersen Alexander Jones |
Date: | 2011 |
Publisher: | New York, NY : Springer New York : Imprint: Springer |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | The Almagest, by the Greek astronomer and mathematician Ptolemy, is the most important surviving treatise on early mathematical astronomy, offering historians valuable insight into the astronomy and mathematics of the ancientworld. Pedersen's 1974 pu blication, A Survey of the Almagest, is the most recent in a long tradition of companions to the Almagest. Part paraphrase and part commentary, Pedersens work has earned the universal praise ofhistorians and serves as the definitive introductory text for students interested in studying the Almagest. In this revised edition, Alexander Jones, a distinguished authority on the history of early astronomy, providessupplementary information and commentary to the original text to account for scholarship that has appeared since 1974. This revision also incorporates various corrections to Pedersen's original text that have been identified since itspublication. This volume is intended to provide students of the history of astronomy with a self-contained introduction to the Almagest, helping them to understand and appreciate Ptolemys great and classical work. From thereviews of A Survey of the Almagest: Pedersen has performed his analysis with great care and technical accuracy. [The book] is written dearly and conci sely. It certainly achieves its aim of making the 'Almagest' accessibleand understandable to students of the history of astronomy. G. J. Toomer, Archives Internationales dHistoire des Sciences The organization of the 'Survey' is done in such a brilliant style that makes the technicallyprohibiting text of the 'Almagest' an enjoyable reading within a clear historical perspective George A. Saliba, Centaurus ['A Survey of the Almagest'] is a mine of well-organized, well-documented, carefully cross-indexedi nformation. Indeed, the general reader will find it an eye-opening introduction to Greek mathematics Victor E. Thoren, Isis |
Note: | Springer eBooks |
Contents: | Forward to the revised edition |
Preface | |
The almagest through the ages | |
Physics and philosophy in the almagest | |
Ptolemy as a mathematician | |
Spherical astronomy in the almagest | |
The motion of the sun | |
The theories of the moon | |
Parallaxes and eclipses | |
The fixed stars | |
The superior planets | |
The inferior planets | |
Retrograde motions and maximum elongations | |
Latitudes and visibility periods | |
Epilogue | |
the other ptolemy | |
Apendix A: dated observations | |
Appendix B: numerical parameters | |
Bibliography | |
Index of names | |
Index of subjects | |
Supplementary notes | |
Sup | |
ISBN: | 9780387848266 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Sources and Studies in the History of Mathematics and Physical Sciences |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2010-9789048187850:ONLINE Show nearby items on shelf |
Title: | Natural Deduction, Hybrid Systems and Modal Logics [electronic resource] |
Author(s): |
Andrzej Indrzejczak |
Date: | 2010 |
Publisher: | Dordrecht : Springer Netherlands |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This volume provides an extensive treatment of Natural Deduction and related types of proof systems, with a focus on the practical aspects of proof methods. The book has two main aims: Its first aim is to provide a systematic andhistorical survey of the variety of Natural Deduction systems in Classical and Modal Logics. The second aim is to present some systems of hybrid character, mixing Natural Deduction with other kinds of proof methods (including Sequentsystems, Tableaux, Resolution). Such system s tend to be more universal and effective, because of the possibility of mixing strategies of proof search from different areas. All necessary background material is provided, in particular, adetailed presentation of Modal Logics, including First-Order Mo dal and Hybrid Modal Logics. The deduction systems presented in the book may be of interest to working logicians, researchers on automated deduction and teachers of logic |
Note: | Springer eBooks |
Contents: | Preface |
Introduction | |
1. Technical preliminaries | |
2. Standard Natural Deduction for Classical and Free Logic | |
3. Other Deductive Systems | |
4. Extended Natural Deduction | |
5. Background on Modal Logics | |
6. Survey of Natural Deduction and related formalizations for Modal Logics | |
7. Nonstandard Formalizations of Modal Logics | |
8. Labelled Natural Deduction | |
9. Case study of Logics with linear accessibility relation | |
10. Hybrid Logics | |
Concluding remarks | |
Bibliography | |
Index | |
ISBN: | 9789048187850 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Trends in Logic : v30 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Philosophy (General) , Logic , Computer science , Artificial intelligence , Algorithms , Logic, Symbolic and mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2010-9789048125203:ONLINE Show nearby items on shelf |
Title: | Mechanics and Physics of Precise Vacuum Mechanisms [electronic resource] |
Author(s): |
E. A Deulin V. P Mikhailov Yu V Panfilov R. A Nevshupa |
Date: | 2010 |
Publisher: | Dordrecht : Springer Netherlands |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | In this book the Russian expertise in the field of the design of precise vacuum mechanics is summarized. A wide range of physical applications of mechanism design in electronic, optical-electronic, chemical, and aerospaceindustries is presented in a comprehensible way. Topics treated include the method of microparticles flow regulation and its determination in vacuum equipment and mechanisms of electronics precise mechanisms of nanoscale precisionbased on magnetic and electric rheology precise harmon ic rotary and not-coaxial nut-screw linear motion vacuum feedthroughs with technical parameters considered the best in the world elastically deformed vacuum motion feedthroughswithout friction couples usage the computer system of vacuum mechanisms failure predicting. This English edition incorporates a number of features which should improve its usefulness as a textbook without changing the basicorganization or the general philosophy of presentation of the subject matter of the original Russian work. Expe rience at the Bauman Moscow State Technical University and other schools shows that the book will be useful to engineeringstudents who wish to prepare for more advanced studies and applications of vacuum science, technology and its applications |
Note: | Springer eBooks |
Contents: | Using Precise Mechanisms in Modern Vacuum Technological Equipment |
Typical Vacuum Mechanisms | |
Friction in Vacuum | |
Matrix Method of the Design of New Mechanisms Structure | |
Precision of Vacuum Mechanisms | |
Vacuum Mechanisms of Nanoscale Precision | |
Ultrahigh Vacuum Rotary | |
Motion Feedthroughs | |
Ultrahigh Vacuum Non | |
Coaxial Linear | |
Motion Feedthroughs | |
Vacuum Frictionless Mechanisms Based on the Principle of Controlled Elastic Deformation | |
Flow of Microparticles Originating from Mechanisms in Vacuum | |
ISBN: | 9789048125203 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Fluid Mechanics and Its Applications, 0926-5112 : v91 |
Series: | Physics and Astronomy (Springer-11651) |
Keywords: | Engineering , Vibration , Engineering design , Chemistry, inorganic , Surfaces (Physics) |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2010-9783540793847:ONLINE Show nearby items on shelf |
Title: | Ernst Zermelo - Collected Works/Gesammelte Werke [electronic resource] : Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia |
Author(s): |
Ernst Zermelo Heinz-Dieter Ebbinghaus Craig G Fraser Akihiro Kanamori |
Date: | 2010 |
Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Springer eBooks |
ISBN: | 9783540793847 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Schriften der Mathematisch-naturwissenschaftlichen Klasse der Heidelberger Akademie der Wissenschaften : v21 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Science History , Philosophy (General) , Computer science , Mathematics_$xHistory , Logic, Symbolic and mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2010-9780387853345:ONLINE Show nearby items on shelf |
Title: | Epistemology and Probability [electronic resource] : Bohr, Heisenberg, Schrdinger, and the Nature of Quantum-Theoretical Thinking |
Author(s): |
Arkady Plotnitsky |
Date: | 2010 |
Edition: | First |
Publisher: | New York, NY : Springer New York |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Quantum mechanics, discovered by Werner Heisenberg and Erwin Schrdinger in 1925-1926, is famous for its radical implications for our conception of physics and for our view of human knowledge in general. While these implicationshave been seen as scien tifically productive and intellectually liberating to some, Niels Bohr and Heisenberg, among them, they have been troublesome to many others, including Schrdinger and, most famously, Albert Einstein. Thesituation led to the intense debate that started in the wake of its discovery and has continued into our own time, with no end appearing to be in sight. Epistemology and Probability aims to contribute to our understanding of quantummechanics and of the reasons for its extraordinary impact by reconsidering, under the rubric of nonclassical epistemology, the nature of epistemology and probability, and their relationships in quantum theory. The book bringstogether the thought of the three figures most responsible for the rise of quantum mechanicsHeisenberg an d Schrdinger, on the physical side, and Bohr, on the philosophical sidein order to develop a deeper sense of the physical,mathematical, and philosophical workings of quantum-theoretical thinking. Reciprocally, giving a special emphasis on probability and specifically to the Bayesian concept of probability allows the book to gain new insights into thethought of these figures. The book reconsiders, from this perspective, the Bohr-Einstein debate on the epistemology of quantum physics and, in particular, off ers a new treatment of the famous experiment of Einstein, Podolsky, and Rosen(EPR), and of the Bohr-Einstein exchange concerning the subject. It also addresses the relevant aspects of quantum information theory and considers the implications of its episte mological argument for higher-level quantum theories,such as quantum field theory and string and brane theories. One of the main contributions of the book is its analysis of the role of ma |
Note: | Springer eBooks |
Contents: | Preface |
Introduction: Epistemology and Probability in Quantum Theory: Physics, Mathematics, and Philosophy | |
Quantum Phenomena and the Double | |
Slit Experiment | |
Heisenbergs Revolutions: New Kinematics, New Mathematics, and New Philosophy | |
From Geometry to Algebra in Physics, with Heisenberg | |
Schrdingers waves: Propagation and Probability | |
Bohrs Como Argument: Complementarity and the Problem of Causality | |
From Como to Copenhagen: Renunciations | |
Can Quantum | |
Mechanical Description of Physical Reality Be Considered Both Complete and Local? | |
Essential Ambiguity and Essent | |
ISBN: | 9780387853345 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Fundamental Theories of Physics : v161 |
Series: | Physics and Astronomy (Springer-11651) |
Keywords: | Genetic epistemology , Science Philosophy , Distribution (Probability theory) , Quantum theory |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2009-9783764389789:ONLINE Show nearby items on shelf |
Title: | Nexus Network Journal [electronic resource] : Guarino Guarini: Open Questions, Possible Solutions |
Author(s): |
Kim Williams |
Date: | 2009 |
Publisher: | Basel : Birkhuser Basel |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Baroque architect and mathematician Guarino Guarini is the subject of this issue of the Nexus Network Journal. A group of international scholars were invited to contribute papers that shed light on the unanswered questions inseveral areas: Baroque ar chitecture in general and Guarinis architecture in particular philosophy history of structural mechanics mathematics and history of mathematics, cosmology. As always, the NNJ takes an interdisciplinaryapproach to the broad range of subjects that Guarini c oncerned himself with, thus the final results will add significantly to our understanding of how Guarinis actual practical and technical processes were informed by knowledge ofhis multifaceted scientific and philosophical interests |
Note: | Springer eBooks |
Contents: | Letter from the Editor |
Letter from the Editor | |
Guarino Guarini: Open Questions, Possible Solutions | |
Reflections on the Relationship between Perspective and Geometry in the Sixteenth and Seventeenth Centuries | |
Guarino Guarini and his Grand Philosophy of Sapientia and Mathematics | |
A Structural Description of the Chapel of the Holy Shroud in Torino | |
The Unpublished Working Drawings for the Nineteenth | |
Century Restoration of the Double Structure of the Real Chiesa di San Lorenzo in Torino | |
Guarini et la structure de lUnivers | |
Guarino Guarini and Universal Mathematics | |
Projecti | |
ISBN: | 9783764389789 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Nexus Network Journal : v11,3 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Architecture |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2009-9783540682424:ONLINE Show nearby items on shelf |
Title: | David Hilbert's Lectures on the Foundations of Physics 1915-1927 [electronic resource] : Relativity, Quantum Theory and Epistemology |
Author(s): |
Tilman Sauer Ulrich Majer |
Date: | 2009 |
Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Volume 5 has three parts, dealing with General Relativity, Epistemological Issues, and Quantum Mechanics. The core of the first part is Hilberts two semester lecture course on The Foundations of Physics (1916/17). Thisis framed by Hilberts published First and Second Communications on the Foundations of Physics (1915, 1917) and by a selection of documents dealing with more specific topics like The Principle of Causality or alecture on the new concepts of space and time held in Bucharest in 1918. The e pistemological issues concern the intricate relation between nature and mathematical knowledge, in particular the question of irreversibility and objectivity(1921) as well as the subtle question whether what Hilbert calls the world equations are physicall y complete (1923). The last part deals with quantum theory in its early, advanced and mature stages. Hilbert held lecture courseson the mathematical foundations of quantum theory twice, before and after the breakthrough in 1926. These documents bear witne ss to one of the most dramatic changes in the foundations of science |
Note: | Springer eBooks |
Contents: | Mitteilungen |
The Foundations of Physics: The Lectures (19161917) | |
The Foundations of Physics: Specific Topics (1915?1918) | |
Epistemological Questions of Physics (1921 and 1923) | |
Lectures on Radiation and Quantum Theory (1912) | |
Lectures on Quantum Theory (192223 and 192627) | |
ISBN: | 9783540682424 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Science Philosophy , Mathematics_$xHistory , Quantum theory , Mechanics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2009-9781402091070:ONLINE Show nearby items on shelf |
Title: | Quantum Reality, Relativistic Causality, and Closing the Epistemic Circle [electronic resource] : Essays in Honour of Abner Shimony |
Author(s): |
Wayne C Myrvold Joy Christian |
Date: | 2009 |
Publisher: | Dordrecht : Springer Netherlands |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | In July 2006, a major international conference was held at the Perimeter Institute for Theoretical Physics, Canada, to celebrate the career and work of a remarkable man of letters. Abner Shimony, who is well known for hispioneering contributions to f oundations of quantum mechanics, is a physicist as well as a philosopher, and is highly respected among the intellectuals of both communities. In line with Shimonys conviction that philosophicalinvestigation is not to be divorced from theoretical and empi rical work in the sciences, the conference brought together leading theoretical physicists, experimentalists, as well as philosophers. This book collects twenty-threeoriginal essays stemming from the conference, on topics including history and methodology of science, Bell's theorem, probability theory, the uncertainty principle, stochastic modifications of quantum mechanics, and relativity theory.It ends with a transcript of a fascinating discussion between Lee Smolin and Shimony, ranging over the entire spectrum of Shimony's wide-ranging contributions to philosophy, science, and philosophy of science |
Note: | Springer eBooks |
Contents: | Passion at a Distance |
Philosophy, Methodology and History | |
Balancing Necessity and Fallibilism: Charles Sanders Peirce on the Status of Mathematics and its Intersection with the Inquiry into Nature | |
Newton's Methodology | |
Whitehead's Philosophy and Quantum Mechanics (QM) | |
Bohr and the Photon | |
Bell's Theorem and Nonlocality | |
Extending the Concept of an Element of Reality to Work with Inefficient Detectors | |
A General Proof of Nonlocality without Inequalities for Bipartite States | |
On the Separability of Physical Systems | |
Bell Inequalities: Many Questions, a Few Answers | |
ISBN: | 9781402091070 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | The Western Ontario Series in Philosophy of Science, 1566-659X : v73 |
Series: | Physics and Astronomy (Springer-11651) |
Keywords: | Science Philosophy , Quantum theory |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2009-9780387798523:ONLINE Show nearby items on shelf |
Title: | Symmetry, Representations, and Invariants [electronic resource] |
Author(s): |
Roe Goodman Nolan R Wallach |
Date: | 2009 |
Publisher: | New York, NY : Springer New York |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Symmetry is a key ingredient in many mathematical, physical, and biological theories. Using representation theory and invariant theory to analyze the symmetries that arise from group actions, and with strong emphasis on thegeometry and basic theory o f Lie groups and Lie algebras, Symmetry, Representations, and Invariants is a significant reworking of an earlier highly-acclaimed work by the authors. The result is a comprehensive introduction to Lietheory, representation theory, invariant theory, and a lgebraic groups, in a new presentation that is more accessible to students and includes a broader range of applications. The philosophy of the earlier book is retained, i.e.,presenting the principal theorems of representation theory for the classical matr ix groups as motivation for the general theory of reductive groups. The wealth of examples and discussion prepares the reader for the complete argumentsnow given in the general case. Key Features of Symmetry, Representations, and Invariants: Early chapte rs suitable for honors undergraduate or beginning graduate courses, requiring only linear algebra, basic abstract algebra, andadvanced calculus Applications to geometry (curvature tensors), topology (Jones polynomial via symmetry), and combinatorics (sym metric group and Young tableaux) Self-contained chapters, appendices, comprehensive bibliography More than 350 exercises (most with detailed hints for solutions) further explore main concepts Serves as an excellent main text for a one-year course in Lie group theory Benefits physicists as well as mathematicians as areference work |
Note: | Springer eBooks |
Contents: | Preface |
Organization and Notation | |
Lie Groups and Algebraic Groups | |
Structure of Classical Groups | |
Highest | |
Weight Theory | |
Algebras and Representations | |
Classical Invariant Theory | |
Spinors | |
Character Formulas | |
Branching Laws | |
Tensor Representations of GL(n) | |
Tensor Representations of O(V) and Sp(V) | |
Algebraic Groups and Homogeneous Spaces | |
Representations on Function Spaces | |
Algebraic Geometry | |
Linear and Multilinear Algebra | |
Associative Algebras and Lie Algebras | |
Manifolds and Lie Groups | |
References | |
Index of Symbols | |
Subject Index | |
ISBN: | 9780387798523 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Graduate Texts in Mathematics, 0072-5285 : v255 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Algebra , Group theory , Topological Groups , Mathematical physics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2008-9780387740751:ONLINE Show nearby items on shelf |
Title: | Model Based Inference in the Life Sciences: A Primer on Evidence [electronic resource] |
Author(s): |
David R Anderson |
Date: | 2008 |
Publisher: | New York, NY : Springer New York |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | The abstract concept of information can be quantified and this has led to many important advances in the analysis of data in the empirical sciences. This text focuses on a science philosophy based on multiple workinghypotheses and statistical models to represent them. The fundamental science question relates to the empirical evidence for hypotheses in this seta formal strength of evidence. Kullback-Leibler information is the information lostwhen a model is used to approximate full reality. Hirotugu A kaike found a link between K-L information (a cornerstone of information theory) and the maximized log-likelihood (a cornerstone of mathematical statistics). This combinationhas become the basis for a new paradigm in model based inference. The text advoca tes formal inference from all the hypotheses/models in the a priori setmultimodel inference. This compelling approach allows a simple ranking of thescience hypothesis and their models. Simple methods are introduced for computing the likelihood of model i, given the data the probability of model i, given the data and evidence ratios. These quantities represent a formal strengthof evidence and are easy to compute and understand, given the estimated model parameters and associated quantities (e.g., residual sum of squares, maximized log-likelihood, and covariance matrices). Additional forms of multimodelinference include model averaging, unconditional variances, and ways to rank the relative importance of predictor variables. This textbook is written for peo ple new to the information-theoretic approaches to statistical inference,whether graduate students, post-docs, or professionals in various universities, agencies or institutes. Readers are expected to have a background in general statistical principles, r egression analysis, and some exposure to likelihoodmethods. This is not an elementary text as it assumes reasonable competence in modeling and parameter estimation. DAVID R. ANDERSON retired |
Note: | Springer eBooks |
Contents: | Introduction |
science hypotheses and science philosophy | |
Data and models | |
Information theory and entropy | |
Quantifying the evidence about science hypotheses | |
Multimodel inference | |
Advanced topics | |
Summary | |
ISBN: | 9780387740751 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Statistics , Epidemiology , Ecology , Evolution (Biology) , Social sciences Methodology |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2007-9783764375249:ONLINE Show nearby items on shelf |
Title: | Tool and Object [electronic resource] : A History and Philosophy of Category Theory |
Author(s): |
Ralf Krmer |
Date: | 2007 |
Publisher: | Basel : Birkhuser Basel |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | The book is first of all a history of category theory from the beginnings to A. Grothendieck and F.W. Lawvere. Category theory was an important conceptual tool in 20th century mathematics whose influence on some mathematicalsubdisciplines (above all algebraic topology and algebraic geometry) is analyzed. Category theory also has an important philosophical aspect: on the one hand its set-theoretical foundation is less obvious than for other mathematicaltheories, and on the other hand it unifies concep tually a large part of modern mathematics and may therefore be considered as somewhat fundamental itself. The role of this philosophical aspect in the historical development is thesecond focus of the book. Relying on the historical analysis, the author de velops a philosophical interpretation of the theory of his own, intending to get closer to how mathematicians conceive the significance of their activity thantraditional schools of philosophy of science. The book is the first monography exclusively devote d to the history of category theory. To a substantial extent it considers aspects never studied before. The author uses (and justifies theuse of) a methodology combining historical and philosophical approaches. The analysis is not confined to general rema rks, but goes into considerable mathematical detail. Hence, the book provides an exceptionally thorough case studycompared with other works on history or philosophy of mathematics. The philosophical position developed here (inspired by Peircean pragmatism and Wittgenstein) is an interesting alternative to traditional approaches in philosophy ofmathematics like platonism, formalism and intuitionism |
Note: | Springer eBooks |
Contents: | Prelude: Poincar, Wittgenstein, Peirce, and the use of concepts |
Category theory in Algebraic Topology | |
Category theory in Homological Algebra | |
Category theory in Algebraic Geometry | |
From tool to object: full | |
fledged category theory | |
Categories as sets: problems and solutions | |
Categorial foundations | |
Pragmatism and category theory | |
ISBN: | 9783764375249 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Science Networks. Historical Studies : v32 |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Mathematics , Algebra , Mathematics_$xHistory |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2007-9780387480770:ONLINE Show nearby items on shelf |
Title: | Superior Beings If They Exist How Would We Know? [electronic resource] : Game-Theoretic Implications of Omniscience, Omnipotence, Immortality, and Incomprehensibility |
Author(s): |
Steven J Brams |
Date: | 2007 |
Publisher: | New York, NY : Springer New York |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | The central question posed in this book is: If there existed a superior being who possessed the supernatural qualities of omniscience, omnipotence, immortality, and incomprehensibility, how would he/she act differently from us?The mathematical theory of games is used to define each of these qualities, and different assumptions about the rules of play in several theological games that might be played between ordinary human beings and superior beings like Godare posited. Implications of these definitio ns and assumptions are developed and used to explore such questions as: are God's superior powers compatible with human free will? Can they be reconciled with the problem of evil in theworld? In what situation is God's existence decidable in gamelike rela tionships He migh have with us? By endowing omniscience/omnipotence/immortality/incomprehensibility with unambiguous meanings, the author shows how game theorycan help breathe life into questions that have been dismissed too quickly simply because they ar e metaphysical--outside the world of experience. Thereby he clarifies the structure of our thought about an ultimate reality, whether ornot it is viewed as religious. Reviews from the first edition: [Brams's] arguments, some of them quite complicated, are presented clearly and enough background information is given to enable the non-expert in game theory to followwhat is going on. - H.N.V. Temperley, Nature (March, 1984) Superior Beings is an extraordinary book... He [Brams] uses strikingly simple models and generally transparent logic to make some surprising inferences about superiority.His inquiry is carried out with great inventiveness and care, and his book is highly recommended to those interested in religion, philosophy, and the contribution of logi cal analysis. - D. Marc Kilgur, American Scientist (1984)Brams has performed a service in deominstrating that rational analysis need not stop where issues involving faith and emotion begin. - Pe |
Note: | Springer eBooks |
Contents: | Preface |
Preface from First Edition | |
Preface to the Second Edition | |
Acknowledgements | |
List of Figures | |
Introduction | |
The Rationality of Belief in a Superior Being | |
Omniscience and Partial Omniscience | |
The Paradox of Omniscience and the Theory of Moves | |
Omnipotence: Moving and Staying Power | |
Immortality and Incomprehensibility | |
Superior Beings: They May be Undecidable | |
Appendix | |
Glossary | |
Bibliography | |
Index | |
ISBN: | 9780387480770 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Mathematics and Statistics (Springer-11649) |
Keywords: | Science (General) , Genetic epistemology , Mathematics , Economics, Mathematical |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2007-9780387450971:ONLINE Show nearby items on shelf |
Title: | Exploring the Secrets of the Aurora [electronic resource] : Second Edition |
Author(s): |
Syun-Ichi Akasofu |
Date: | 2007 |
Edition: | Second Edition |
Publisher: | New York, NY : Springer New York |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | This new edition of Exploring the Secrets of the Aurora is based on the author's own experiences as a scientist. It describes the history of progress made in auroral science and magnetospheric physics by providing examples ofideas, controversies, str uggles, acceptance, and success. Although no general methodologies are mentioned, the hope is that the reader will learn about the history of progress in auroral science and examples of dealing with the manycontroversies. This book aims to help young scie ntific researchers learn how to persevere during periods of controversy and struggles for acceptance. In this second edition, by utilizing multiple examples, Akasofu is successful indemonstrating the importance and usefulness of Synthesis. Probably the bo ok's most valuable contribution to the history of space physics is precisely the narration of the discovery of substorms.---The book has specialfeatures.---Akasofu's coverage of the history of pre-space age solar-terrestrial relations is the most comprehe nsive among books on the subject known to me.---It is a unique mix of science, history, philosophy, and exhortation.-George Siscoe, Center for Space Physics, Boston University, Boston, MA |
Note: | Springer eBooks |
Contents: | Source of Figures |
Preface | |
Prologue | |
1. Search for the Unknown Quantity in the Solar Wind | |
2. Confronting Paradigms: Aurora Research During the Early Space Age | |
3. Realizing the Dream of our Pioneers: Polar Magnetic Substorms and the Associated Current System | |
4. Is the Earth's Dipole Really Off | |
Centered and Inclined? Planetary Magnetic Fields | |
5. Myth of the Emerging Flux Tubes: Sunspots and Solar Flares | |
6. Synthesis of the four Major Disciplines: Predicting Geomagnetic Storms as a Space Weather Project | |
7. Beyond the Inner Heliosphere: The Magnetic Field Structure of the | |
ISBN: | 9780387450971 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Astrophysics and Space Science Library, 0067-0057 : v278 |
Series: | Physics and Astronomy (Springer-11651) |
Keywords: | Physical geography , Meteorology , Astronomy , Astrophysics , Nuclear physics |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Call number: | SPRINGER-2006-9781402052545:ONLINE Show nearby items on shelf |
Title: | Reading Bohr: Physics and Philosophy [electronic resource] |
Author(s): |
Arkady Plotnitsky |
Date: | 2006 |
Publisher: | Dordrecht : Springer Netherlands |
Size: | 1 online resource |
Note: | Springer e-book platform |
Note: | Springer 2013 e-book collections |
Note: | Reading Bohr: Physics and Philosophy offers a new perspective on Niels Bohr's interpretation of quantum mechanics as complementarity, and on the relationships between physics and philosophy in Bohr's work, which has had momentoussignificance for our understanding of quantum theory and of the nature of knowledge in general. Philosophically, the book reassesses Bohr's place in the Western philosophical tradition, from Kant and Hegel on. Physically, itreconsiders the main issues at stake in the Bohr-Ein stein confrontation and in the ongoing debates concerning quantum physics. It also devotes greater attention than in most commentaries on Bohr to the key developments andtransformations of his thinking concerning complementarity. Most significant among th em were those that occurred, first, under the impact of Bohr's exchanges with Einstein and, second, under the impact of developments in quantum theoryitself, both quantum mechanics and quantum field theory. The importance of quantum field theory for Bohr' s thinking has not been adequately addressed in the literature on Bohr, to the considerable detriment to our understanding of thehistory of quantum physics. Filling this lacuna is one of the main contributions of the book, which also enables us to show wh y quantum field theory compels us to move beyond Bohr without, however, simply leaving him behind. Audience:While the book will be of particular interest to physicists, philosophers and historians of science, it is also aimed at a broader audience, especi ally graduate and undergraduate students, whom this book will help to develop a greaterappreciation of Bohr, physics, and philosophy |
Note: | Springer eBooks |
ISBN: | 9781402052545 |
Series: | e-books |
Series: | SpringerLink (Online service) |
Series: | Fundamental Theories of Physics : v152 |
Series: | Physics and Astronomy (Springer-11651) |
Keywords: | Science Philosophy , Quantum theory , Physics History |
Availability: | Click here to see Library holdings or inquire at
Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please. |
More info: | Amazon.com |
More info: | Barnes and Noble |
Full Text: | Click here |
Location: | ONLINE |
Return to the Fermilab Library catalog