Results by Library of Congress Code
Books near "Time Warps, String Edits, and Macromolecules: The Theory and Practice of Sequence Comparision", Library of Congress QA292.T55

The Scientific Literature: A Guided Tour
Edited by Joseph E. Harmon and Alan G. Gross
University of Chicago Press, 2007
Library of Congress Q225.5.S35 2007  Dewey Decimal 500
The scientific article has been a hallmark of the career of every important western scientist since the seventeenth century. Yet its role in the history of science has not been fully explored. Joseph E. Harmon and Alan G. Gross remedy this oversight with The Scientific Literature, a collection of writings—excerpts from scientific articles, letters, memoirs, proceedings, transactions, and magazines—that illustrates the origin of the scientific article in 1665 and its evolution over the next three and a half centuries.
Featuring articles—as well as sixty tables and illustrations, tools vital to scientific communication—that represent the broad sweep of modern science, The Scientific Literature is a historical tour through both the rhetorical strategies that scientists employ to share their discoveries and the methods that scientists use to argue claims of new knowledge. Commentaries that explain each excerpt’s scientific and historical context and analyze its communication strategy accompany each entry.
A unique anthology, The Scientific Literature will allow both the scholar and the general reader to experience first hand the development of modern science.
Expand Description


Does Science Need a Global Language?: English and the Future of Research
Scott L. Montgomery
University of Chicago Press, 2013
Library of Congress Q226.M658 2013  Dewey Decimal 501.4
In early 2012, the global scientific community erupted with news that the elusive Higgs boson had likely been found, providing potent validation for the Standard Model of how the universe works. Scientists from more than one hundred countries contributed to this discovery—proving, beyond any doubt, that a new era in science had arrived, an era of multinationalism and cooperative reach. Globalization, the Internet, and digital technology all play a role in making this new era possible, but something more fundamental is also at work. In all scientific endeavors lies the ancient drive for sharing ideas and knowledge, and now this can be accomplished in a single tongue— English. But is this a good thing?
In Does Science Need a Global Language?, Scott L. Montgomery seeks to answer this question by investigating the phenomenon of global English in science, how and why it came about, the forms in which it appears, what advantages and disadvantages it brings, and what its future might be. He also examines the consequences of a global tongue, considering especially emerging and developing nations, where research is still at a relatively early stage and English is not yet firmly established.
Throughout the book, he includes important insights from a broad range of perspectives in linguistics, history, education, geopolitics, and more. Each chapter includes striking and revealing anecdotes from the frontline experiences of today’s scientists, some of whom have struggled with the reality of global scientific English. He explores topics such as student mobility, publication trends, world Englishes, language endangerment, and second language learning, among many others. What he uncovers will challenge readers to rethink their assumptions about the direction of contemporary science, as well as its future.
Expand Description


Science Of Synthesis
Debora Hammond
University Press of Colorado, 2003
Library of Congress Q295.H354 2003  Dewey Decimal 003


Emergence and Embodiment: New Essays on SecondOrder Systems Theory
Bruce Clarke and Mark B. N. Hansen, eds.
Duke University Press, 2009
Library of Congress Q310.E46 2009  Dewey Decimal 003.5
Emerging in the 1940s, the first cybernetics—the study of communication and control systems—was mainstreamed under the names artificial intelligence and computer science and taken up by the social sciences, the humanities, and the creative arts. In Emergence and Embodiment, Bruce Clarke and Mark B. N. Hansen focus on cybernetic developments that stem from the secondorder turn in the 1970s, when the cyberneticist Heinz von Foerster catalyzed new thinking about the cognitive implications of selfreferential systems. The crucial shift he inspired was from firstorder cybernetics’ attention to homeostasis as a mode of autonomous selfregulation in mechanical and informatic systems, to secondorder concepts of selforganization and autopoiesis in embodied and metabiotic systems. The collection opens with an interview with von Foerster and then traces the lines of neocybernetic thought that have followed from his work. In response to the apparent dissolution of boundaries at work in the contemporary technosciences of emergence, neocybernetics observes that cognitive systems are operationally bounded, semiautonomous entities coupled with their environments and other systems. Secondorder systems theory stresses the recursive complexities of observation, mediation, and communication. Focused on the neocybernetic contributions of von Foerster, Francisco Varela, and Niklas Luhmann, this collection advances theoretical debates about the cultural, philosophical, and literary uses of their ideas. In addition to the interview with von Foerster, Emergence and Embodiment includes essays by Varela and Luhmann. It engages with Humberto Maturana’s and Varela’s creation of the concept of autopoiesis, Varela’s later work on neurophenomenology, and Luhmann’s adaptations of autopoiesis to social systems theory. Taken together, these essays illuminate the shared commitments uniting the broader discourse of neocybernetics. Contributors. Linda Brigham, Bruce Clarke, Mark B. N. Hansen, Edgar Landgraf, Ira Livingston, Niklas Luhmann, HansGeorg Moeller, John Protevi, Michael Schiltz, Evan Thompson, Francisco J. Varela, Cary Wolfe
Expand Description


Beautiful Data: A History of Vision and Reason since 1945
Orit Halpern
Duke University Press, 2015
Library of Congress Q310.H35 2014
Beautiful Data is both a history of big data and interactivity, and a sophisticated meditation on ideas about vision and cognition in the second half of the twentieth century. Contending that our forms of attention, observation, and truth are contingent and contested, Orit Halpern historicizes the ways that we are trained, and train ourselves, to observe and analyze the world. Tracing the postwar impact of cybernetics and the communication sciences on the social and human sciences, design, arts, and urban planning, she finds a radical shift in attitudes toward recording and displaying information. These changed attitudes produced what she calls communicative objectivity: new forms of observation, rationality, and economy based on the management and analysis of data. Halpern complicates assumptions about the value of data and visualization, arguing that changes in how we manage and train perception, and define reason and intelligence, are also transformations in governmentality. She also challenges the paradoxical belief that we are experiencing a crisis of attention caused by digital media, a crisis that can be resolved only through intensified media consumption.
Expand Description


The Cybernetic Brain: Sketches of Another Future
Andrew Pickering
University of Chicago Press, 2010
Library of Congress Q310.P53 2010  Dewey Decimal 003.5
Cybernetics is often thought of as a grim military or industrial science of control. But as Andrew Pickering reveals in this beguiling book, a much more lively and experimental strain of cybernetics can be traced from the 1940s to the present.
The Cybernetic Brain explores a largely forgotten group of British thinkers, including Grey Walter, Ross Ashby, Gregory Bateson, R. D. Laing, Stafford Beer, and Gordon Pask, and their singular work in a dazzling array of fields. Psychiatry, engineering, management, politics, music, architecture, education, tantric yoga, the Beats, and the sixties counterculture all come into play as Pickering follows the history of cybernetics’ impact on the world, from contemporary robotics and complexity theory to the Chilean economy under Salvador Allende. What underpins this fascinating history, Pickering contends, is a shared but unconventional vision of the world as ultimately unknowable, a place where genuine novelty is always emerging. And thus, Pickering avers, the history of cybernetics provides us with an imaginative model of openended experimentation in stark opposition to the modern urge to achieve domination over nature and each other.
Expand Description


The Freudian Robot: Digital Media and the Future of the Unconscious
Lydia H. Liu
University of Chicago Press, 2011
Library of Congress Q325.L58 2010  Dewey Decimal 003.5
The identity and role of writing has evolved in the age of digital media. But how did writing itself make digital media possible in the first place? Lydia H. Liu offers here the first rigorous study of the political history of digital writing and its fateful entanglement with the Freudian unconscious.
Liu’s innovative analysis brings the work of theorists and writers back into conversation with one another to document significant meetings of minds and disciplines. She shows how the earlier avantgarde literary experiments with alphabetical writing and the wordassociation games of psychoanalysis contributed to the mathematical making of digital media. Such intellectual convergence, she argues, completed the transformation of alphabetical writing into the postphonetic, ideographic system of digital media, which not only altered the threshold of sense and nonsense in communication processes but also compelled a new understanding of humanmachine interplay at the level of the unconscious.
Ranging across information theory, cybernetics, modernism, literary theory, neurotic machines, and psychoanalysis, The Freudian Robot rewrites the history of digital media and the literary theory of the twentieth century.
Expand Description


The Creativity Code: Art and Innovation in the Age of AI
Marcus Du Sautoy
Harvard University Press, 2020
Library of Congress Q335.D87 2019  Dewey Decimal 006.3
Most books on AI focus on the future of work. But now that algorithms can learn and adapt, does the future of creativity also belong to wellprogrammed machines? To answer this question, Marcus du Sautoy takes us to the forefront of creative new technologies and offers a more positive and unexpected vision of our future cohabitation with machines.
Expand Description


Foundations of Real World Intelligence
Edited by Yoshinori Uesaka, Pentti Kanerva, and Hideki Asoh
CSLI, 2001
Library of Congress Q335.F685 2001  Dewey Decimal 006.3
Realworld intelligence includes the ability to handle complex, uncertain, dynamic, multimodal information in real time. In order to pursue the artificial realization of such "human" or "intelligent" information processing, a novel system of representing and interpreting knowledge must first be developed. This book collects the results of ten years of research at six laboratories, focusing on the theoretical and algorithmic foundations of the intelligence we find in the real world.
Expand Description


How We Became Posthuman: Virtual Bodies in Cybernetics, Literature, and Informatics
N. Katherine Hayles
University of Chicago Press, 1999
Library of Congress Q335.H394 1999  Dewey Decimal 003.5
In this age of DNA computers and artificial intelligence, information is becoming disembodied even as the "bodies" that once carried it vanish into virtuality. While some marvel at these changes, envisioning consciousness downloaded into a computer or humans "beamed" Star Trekstyle, others view them with horror, seeing monsters brooding in the machines. In How We Became Posthuman, N. Katherine Hayles separates hype from fact, investigating the fate of embodiment in an information age.
Hayles relates three interwoven stories: how information lost its body, that is, how it came to be conceptualized as an entity separate from the material forms that carry it; the cultural and technological construction of the cyborg; and the dismantling of the liberal humanist "subject" in cybernetic discourse, along with the emergence of the "posthuman."
Ranging widely across the history of technology, cultural studies, and literary criticism, Hayles shows what had to be erased, forgotten, and elided to conceive of information as a disembodied entity. Thus she moves from the postWorld War II Macy Conferences on cybernetics to the 1952 novel Limbo by cybernetics aficionado Bernard Wolfe; from the concept of selfmaking to Philip K. Dick's literary explorations of hallucination and reality; and from artificial life to postmodern novels exploring the implications of seeing humans as cybernetic systems.
Although becoming posthuman can be nightmarish, Hayles shows how it can also be liberating. From the birth of cybernetics to artificial life, How We Became Posthuman provides an indispensable account of how we arrived in our virtual age, and of where we might go from here.
Expand Description


Mind Children
Hans P. Moravec
Harvard University Press, 1988
Library of Congress Q335.M65 1988  Dewey Decimal 006.3


Defending AI Research: A Collection of Essays and Reviews
Edited by John McCarthy
CSLI, 1996
Library of Congress Q335.7.M33 1996  Dewey Decimal 006.3
John McCarthy's influence in computer science ranges from the invention of LISP and timesharing to the coining of the term AI and the founding of the AI laboratory at Stanford University. One of the foremost figures in computer sciences, McCarthy has written papers which are widely referenced and stand as milestones of development over a wide range of topics. In this collection of reviews, McCarthy staunchly defends the importance of Artificial Intelligence research against its attackers; this book gathers McCarthy's reviews of books which discuss and criticise the future of AI. Here, McCarthy explores the larger questions associated with AI, such as the question of the nature of intelligence, of the acquisition and application of knowledge, and the question of the politics behind this research.
Expand Description


Insect Media: An Archaeology of Animals and Technology
Jussi Parikka
University of Minnesota Press, 2010
Library of Congress Q337.3.P365 2010  Dewey Decimal 595.709
Since the early nineteenth century, when entomologists first popularized the unique biological and behavioral characteristics of insects, technological innovators and theorists have proposed insects as templates for a wide range of technologies. In Insect Media, Jussi Parikka analyzes how insect forms of social organizationswarms, hives, webs, and distributed intelligencehave been used to structure modern media technologies and the network society, providing a radical new perspective on the interconnection of biology and technology.
Through close engagement with the pioneering work of insect ethologists, including Jakob von Uexküll and Karl von Frisch, posthumanist philosophers, media theorists, and contemporary filmmakers and artists, Parikka develops an insect theory of media, one that conceptualizes modern media as more than the products of individual human actors, social interests, or technological determinants. They are, rather, profoundly nonhuman phenomena that both draw on and mimic the alien lifeworlds of insects.
Deftly moving from the life sciences to digital technology, from popular culture to avantgarde art and architecture, and from philosophy to cybernetics and game theory, Parikka provides innovative conceptual tools for exploring the phenomena of network society and culture. Challenging anthropocentric approaches to contemporary science and culture, Insect Media reveals the possibilities that insects and other nonhuman animals offer for rethinking media, the conflation of biology and technology, and our understanding of, and interaction with, contemporary digital culture.
Expand Description


Swarm Intelligence: Principles, current algorithms and methods, Volume 1
Ying Tan
The Institution of Engineering and Technology, 2018
Library of Congress Q337.3.S924 2018  Dewey Decimal 006.3824
Swarm Intelligence (SI) is one of the most important and challenging paradigms under the umbrella of computational intelligence. It focuses on the research of collective behaviours of a swarm in nature and/or social phenomenon to solve complicated and difficult problems which cannot be handled by traditional approaches. Thousands of papers are published each year presenting new algorithms, new improvements and numerous real world applications. This makes it hard for researchers and students to share their ideas with other colleagues; follow up the works from other researchers with common interests; and to follow new developments and innovative approaches. This complete and timely collection fills this gap by presenting the latest research systematically and thoroughly to provide readers with a full view of the field of swarm. Students will learn the principles and theories of typical swarm intelligence algorithms; scholars will be inspired with promising research directions; and practitioners will find suitable methods for their applications of interest along with useful instructions. Volume 1 contains 20 chapters presenting the basic principles and current algorithms and methods of wellknown swarm intelligence algorithms and efficient improvements from typical particle swarm optimization (PSO), ant colony optimization (ACO) and fireworks algorithm (FWA) as well as other swarm intelligence algorithms for swarm robotics. With contributions from an international selection of leading researchers, Swarm Intelligence is essential reading for engineers, researchers, professionals and practitioners with interests in swarm intelligence.
Expand Description


Swarm Intelligence: Innovation, new algorithms and methods, Volume 2
Ying Tan
The Institution of Engineering and Technology, 2018
Library of Congress Q337.3.S924 2018  Dewey Decimal 006.3824
Swarm Intelligence (SI) is one of the most important and challenging paradigms under the umbrella of computational intelligence. It focuses on the research of collective behaviours of a swarm in nature and/or social phenomenon to solve complicated and difficult problems which cannot be handled by traditional approaches. Thousands of papers are published each year presenting new algorithms, new improvements and numerous real world applications. This makes it hard for researchers and students to share their ideas with other colleagues; follow up the works from other researchers with common interests; and to follow new developments and innovative approaches. This complete and timely collection fills this gap by presenting the latest research systematically and thoroughly to provide readers with a full view of the field of swarm. Students will learn the principles and theories of typical swarm intelligence algorithms; scholars will be inspired with promising research directions; and practitioners will find suitable methods for their applications of interest along with useful instructions. Volume 2 includes 17 chapters covering frontedge research with novel and newly proposed algorithms and methods. With contributions from an international selection of leading researchers, Swarm Intelligence is essential reading for engineers, researchers, professionals and practitioners with interests in swarm intelligence.
Expand Description


Swarm Intelligence: Applications, Volume 3
Ying Tan
The Institution of Engineering and Technology, 2018
Library of Congress Q337.3.S924 2018  Dewey Decimal 006.3824
Swarm Intelligence (SI) is one of the most important and challenging paradigms under the umbrella of computational intelligence. It focuses on the research of collective behaviours of a swarm in nature and/or social phenomenon to solve complicated and difficult problems which cannot be handled by traditional approaches. Thousands of papers are published each year presenting new algorithms, new improvements and numerous real world applications. This makes it hard for researchers and students to share their ideas with other colleagues; follow up the works from other researchers with common interests; and to follow new developments and innovative approaches. This complete and timely collection fills this gap by presenting the latest research systematically and thoroughly to provide readers with a full view of the field of swarm. Students will learn the principles and theories of typical swarm intelligence algorithms; scholars will be inspired with promising research directions; and practitioners will find suitable methods for their applications of interest along with useful instructions. Volume 3 includes 27 chapters presenting realworld applications of swarm intelligence algorithms and related evolutionary algorithms. With contributions from an international selection of leading researchers, Swarm Intelligence is essential reading for engineers, researchers, professionals and practitioners with interests in swarm intelligence.
Expand Description


My Mother Was a Computer: Digital Subjects and Literary Texts
N. Katherine Hayles
University of Chicago Press, 2005
Library of Congress Q342.H39 2005  Dewey Decimal 006.3
We live in a world, according to N. Katherine Hayles, where new languages are constantly emerging, proliferating, and fading into obsolescence. These are languages of our own making: the programming languages written in code for the intelligent machines we call computers. Hayles's latest exploration provides an exciting new way of understanding the relations between code and language and considers how their interactions have affected creative, technological, and artistic practices.
My Mother Was a Computer explores how the impact of code on everyday life has become comparable to that of speech and writing: language and code have grown more entangled, the lines that once separated humans from machines, analog from digital, and old technologies from new ones have become blurred. My Mother Was a Computer gives us the tools necessary to make sense of these complex relationships. Hayles argues that we live in an age of intermediation that challenges our ideas about language, subjectivity, literary objects, and textuality. This process of intermediation takes place where digital media interact with cultural practices associated with older media, and here Hayles sharply portrays such interactions: how code differs from speech; how electronic text differs from print; the effects of digital media on the idea of the self; the effects of digitality on printed books; our conceptions of computers as living beings; the possibility that human consciousness itself might be computational; and the subjective cosmology wherein humans see the universe through the lens of their own digital age.
We are the children of computers in more than one sense, and no critic has done more than N. Katherine Hayles to explain how these technologies define us and our culture. Heady and provocative, My Mother Was a Computer will be judged as her best work yet.
Expand Description


Formalizing the Dynamics of Information
Edited by Martina Faller, Stefan Kaufmann, and Marc Pauly
CSLI, 2000
Library of Congress Q360.F665 2000  Dewey Decimal 003.54
The papers collected in this volume exemplify some of the trends in current approaches to logic, language and computation. Written by authors with varied academic backgrounds, the contributions are intended for an interdisciplinary audience. The first part of this volume addresses issues relevant for multiagent systems: reasoning with incomplete information, reasoning about knowledge and beliefs, and reasoning about games. Proofs as formal objects form the subject of Part II. Topics covered include: contributions on logical frameworks, linear logic, and different approaches to formalized reasoning. Part III focuses on representations and formal methods in linguistic theory, addressing the areas of comparative and temporal expressions, modal subordination, and compositionality.
Expand Description


Holographic Reduced Representation: Distributed Representation for Cognitive Structures
Tony A. Plate
CSLI, 2003
Library of Congress Q387.P73 2003  Dewey Decimal 006.332
While neuroscientists garner success in identifying brain regions and in analyzing individual neurons, ground is still being broken at the intermediate scale of understanding how neurons combine to encode information. This book proposes a method of representing information in a computer that would be suited for modeling the brain's methods of processing information.
Holographic Reduced Representations (HRRs) are introduced here to model how the brain distributes each piece of information among thousands of neurons. It had been previously thought that the grammatical structure of a language cannot be encoded practically in a distributed representation, but HRRs can overcome the problems of earlier proposals. Thus this work has implications for psychology, neuroscience, linguistics, and computer science, and engineering.
Expand Description


Logic and Visual Information
Eric M. Hammer
CSLI, 1995
Library of Congress Q387.2.H36 1995  Dewey Decimal 511.30223


Frege
Michael A. E. Dummett
Harvard University Press, 1991
Library of Congress QA8.4.D86 1991  Dewey Decimal 510.1


Berkeley's Philosophy of Mathematics
Douglas M. Jesseph
University of Chicago Press, 1993
Library of Congress QA8.4.J47 1993  Dewey Decimal 510.1
In this first modern, critical assessment of the place of mathematics in Berkeley's philosophy and Berkeley's place in the history of mathematics, Douglas M. Jesseph provides a bold reinterpretation of Berkeley's work. Jesseph challenges the prevailing view that Berkeley's mathematical writings are peripheral to his philosophy and argues that mathematics is in fact central to his thought, developing out of his critique of abstraction. Jesseph's argument situates Berkeley's ideas within the larger historical and intellectual context of the Scientific Revolution.
Jesseph begins with Berkeley's radical opposition to the received view of mathematics in the philosophy of the late seventeenth and early eighteenth centuries, when mathematics was considered a "science of abstractions." Since this view seriously conflicted with Berkeley's critique of abstract ideas, Jesseph contends that he was forced to come up with a nonabstract philosophy of mathematics. Jesseph examines Berkeley's unique treatments of geometry and arithmetic and his famous critique of the calculus in The Analyst.
By putting Berkeley's mathematical writings in the perspective of his larger philosophical project and examining their impact on eighteenthcentury British mathematics, Jesseph makes a major contribution to philosophy and to the history and philosophy of science.
Expand Description


Understanding the Infinite
Shaughan LAVINE
Harvard University Press, 1994
Library of Congress QA8.4.L38 1994  Dewey Decimal 511.322


Frege’s Philosophy of Mathematics
William Demopoulos
Harvard University Press, 1995
Library of Congress QA8.6.F74 1995  Dewey Decimal 510.1


Wittgenstein's Lectures on the Foundations of Mathematics, Cambridge, 1939
Ludwig Wittgenstein
University of Chicago Press, 1989
Library of Congress QA8.6.W57 1989  Dewey Decimal 510.1
For several terms at Cambridge in 1939, Ludwig Wittgenstein lectured on the philosophical foundations of mathematics. A lecture class taught by Wittgenstein, however, hardly resembled a lecture.
He sat on a chair in the middle of the room, with some of the class sitting in chairs, some on the floor. He never used notes. He paused frequently, sometimes for several minutes, while he puzzled out a problem. He often asked his listeners questions and reacted to their replies. Many meetings were largely conversation.
These lectures were attended by, among others, D. A. T. Gasking, J. N. Findlay, Stephen Toulmin, Alan Turing, G. H. von Wright, R. G. Bosanquet, Norman Malcolm, Rush Rhees, and Yorick Smythies. Notes taken by these last four are the basis for the thirtyone lectures in this book.
The lectures covered such topics as the nature of mathematics, the distinctions between mathematical and everyday languages, the truth of mathematical propositions, consistency and contradiction in formal systems, the logicism of Frege and Russell, Platonism, identity, negation, and necessary truth. The mathematical examples used are nearly always elementary.
Expand Description


Logic and the Foundations of Game and Decision Theory (LOFT 7)
Edited by Giacomo Bonanno, Wiebe van der Hoek, and Michael Wooldridge
Amsterdam University Press, 2008
Library of Congress QA9.A1L6275 2008
This volume is a collects papers originally presented at the 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT), held at the University of Liverpool in July 2006. LOFT is a key venue for presenting research at the intersection of logic, economics, and computer science, and this collection gives a lively and wideranging view of an exciting and rapidly growing area.
Expand Description


The Foundations of Arithmetic: A LogicoMathematical Enquiry into the Concept of Number
Gottlob Frege
Northwestern University Press, 1980
Library of Congress QA9.F7514 1980  Dewey Decimal 513
The Foundations of Arithmetic is undoubtedly the best introduction to Frege's thought; it is here that Frege expounds the central notions of his philosophy, subjecting the views of his predecessors and contemporaries to devastating analysis. The book represents the first philosophically sound discussion of the concept of number in Western civilization. It profoundly influenced developments in the philosophy of mathematics and in general ontology.
Expand Description


Lectures on Linear Logic
A. S. Troelstra
CSLI, 1992
Library of Congress QA9.T76 1991  Dewey Decimal 511.3
Linear logic is an example of a "resourcesensitive" logic, keeping track of the number of times data of given types are used. Formulas in linear logic represent either the data themselves or data types, whereas in ordinary logic a formula is a proposition. If ordinary logic is a logic of truth, linear logic is a logic of actions.
Linear logic and its implications are explored in depth in this volume. Particular attention has been given to the various formalisms for linear logic, embeddings of classical and intuitionistic logic into linear logic, the connection with certain types of categories, the "formulasastypes" paradigm for linear logic and associated computational interpretations, and Girard's proof nets for classical linear logic as an analogue of natural deduction. It is also shown that linear logic is undecidable. A final section, contributed by D. Roorda, presents a proof of strong normalization for cut elimination in linear logic.
Linear logic is of interest to logicians and computer scientists, and shows links with many other topics, such as coherence theorems in category theory, the theory of Petri nets, and abstract computing machines without garbage collection
Expand Description


Philosophy of Mathematics in the Twentieth Century
Charles Parsons
Harvard University Press, 2014
Library of Congress QA9.2.P372 2014  Dewey Decimal 510.1
In these selected essays, Charles Parsons surveys the contributions of philosophers and mathematicians who shaped the philosophy of mathematics over the past century: Brouwer, Hilbert, Bernays, Weyl, Gödel, Russell, Quine, Putnam, Wang, and Tait.
Expand Description


Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi
Katlin Bimbó and J. Michael Dunn
CSLI, 2008
Library of Congress QA9.4.B56 2008  Dewey Decimal 512.32
Nonclassical logics have played an increasing role in recent years in disciplines ranging from mathematics and computer science to linguistics and philosophy. Generalized Galois Logics develops a uniform framework of relational semantics to mediate between logical calculi and their semantics through algebra. This volume addresses normal modal logics such as K and S5, and substructural logics, including relevance logics, linear logic, and Lambek calculi. The authors also treat lessfamiliar and new logical systems with equal deftness.
Expand Description


Mathematics of Modality
Robert Goldblatt
CSLI, 1993
Library of Congress QA9.46.G66 1993  Dewey Decimal 511.3
Modal logic is the study of modalities—expressions that qualify assertions about the truth of statements—like some ordinary language phrases and mathematically motivated expressions. The study of modalities dates from antiquity, but has been most actively pursued in the last three decades. This volume collects together a number of Golblatt's papers on modal logic, beginning with his work on the duality between algebraic and settheoretic models, and including two new articles, one on infinitary rules of inference, and the other about recent results on the relationship between modal logic and firstorder logic.
Expand Description


Partiality, Modality and Nonmonotonicity
Patrick Doherty
CSLI, 1996
Library of Congress QA9.46.P37 1996  Dewey Decimal 006.33
This edited volume of articles provides a stateoftheart description of research in logicbased approaches to knowledge representation which combines approaches to reasoning with incomplete information that include partial, modal, and nonmonotonic logics. The collection contains two parts: foundations and case studies. The foundations section provides a general overview of partiality, multivalued logics, use of modal logic to model partiality and resourcelimited inference, and an integration of partial and modal logics. The case studies section provides specific studies of issues raised in the foundations section. Several of the case studies integrate modal and partial modal logics with nonmonotonic logics. Both theoretical and practical aspects of such integration are considered. Knowledge representation issues such as default reasoning, theories of action and change, reason maintenance, awareness, and automation of nonmonotonic reasoning are covered.
Expand Description


Selected Papers on Analysis of Algorithms
Donald E. Knuth
CSLI, 2000
Library of Congress QA9.58.K65 2000  Dewey Decimal 511.8
Analysis of Algorithms is the fourth in a series of collected works by worldrenowned computer scientist Donald Knuth. This volume is devoted to an important subfield of Computer Science that Knuth founded in the 1960s and still considers his main life's work. This field, to which he gave the name Analysis of Algorithms, deals with quantitative studies of computer techniques, leading to methods for understanding and predicting the efficiency of computer programs. Analysis of Algorithms, which has grown to be a thriving international discipline, is the unifying theme underlying Knuth's well known book The Art of Computer Programming. More than 30 of the fundamental papers that helped to shape this field are reprinted and updated in the present collection, together with historical material that has not previously been published. Although many ideas come and go in the rapidly changing world of computer science, the basic concepts and techniques of algorithmic analysis will remain important as long as computers are used.
Expand Description


A Primer of Probability Logic
Ernest W. Adams
CSLI, 1996
Library of Congress QA10.A34 1998  Dewey Decimal 511.3
This book is meant to be a primer, that is, an introduction, to probability logic, a subject that appears to be in its infancy. Probability logic is a subject envisioned by Hans Reichenbach and largely created by Adams. It treats conditionals as bearers of conditional probabilities and discusses an appropriate sense of validity for arguments such conditionals, as well as ordinary statements as premisses.
This is a clear wellwritten text on the subject of probability logic, suitable for advanced undergraduates or graduates, but also of interest to professional philosophers. There are wellthoughtout exercises, and a number of advanced topics treated in appendices, while some are brought up in exercises and some are alluded to only in footnotes. By this means, it is hoped that the reader will at least be made aware of most of the important ramifications of the subject and its tieins with current research, and will have some indications concerning recent and relevant literature.
Expand Description


Duel at Dawn
Amir Alexander
Harvard University Press, 2010
Library of Congress QA10.7.A44 2010  Dewey Decimal 510.9


Fear Of Math: How to Get Over It and Get on With Your Life!
Zaslavsky, Claudia
Rutgers University Press, 1994
Library of Congress QA11.Z37 1994  Dewey Decimal 370.15651
Claudia Zaslavsky has helped thousands of men and women understand why math made them miserable. Let her introduce you to real people who, like you, fled from anything to do with math. All of themWhite, African American, Asian American, Latino, artist, homemaker, manager, teacher, teenager, or grandparentcame to see that their math troubles were not their fault. Social stereotypes, poor schools, and wellmeaning parents had convinced them that they couldnÕt, or shouldnÕt, do math.
Claudia Zaslavsky shows you how the school math you dreaded is a far cry from the math you really need in life (and probably know better than you ever suspected)! She gives a host of reassuring methods, drawn from many cultures, for tackling realworld math problems. She explodes the myth that women and minorities are not good at math. With Claudia Zaslavsky’s help, you can see why math matters and how to get over the math barrier that has been holding you back from your goals in life.
Expand Description


Galileo in Pittsburgh
Clark Glymour
Harvard University Press, 2010
Library of Congress QA13.G59 2010  Dewey Decimal 500


The New Math: A Political History
Christopher J. Phillips
University of Chicago Press, 2014
Library of Congress QA13.P49 2015  Dewey Decimal 510.71073
An era of sweeping cultural change in America, the postwar years saw the rise of beatniks and hippies, the birth of feminism, and the release of the first video game. It was also the era of new math. Introduced to US schools in the late 1950s and 1960s, the new math was a curricular answer to Cold War fears of American intellectual inadequacy. In the age of Sputnik and increasingly sophisticated technological systems and machines, math class came to be viewed as a crucial component of the education of intelligent, virtuous citizens who would be able to compete on a global scale.
In this history, Christopher J. Phillips examines the rise and fall of the new math as a marker of the period’s political and social ferment. Neither the new math curriculum designers nor its diverse legions of supporters concentrated on whether the new math would improve students’ calculation ability. Rather, they felt the new math would train children to think in the right way, instilling in students a set of mental habits that might better prepare them to be citizens of modern society—a world of complex challenges, rapid technological change, and unforeseeable futures. While Phillips grounds his argument in shifting perceptions of intellectual discipline and the underlying nature of mathematical knowledge, he also touches on longstanding debates over the place and relevance of mathematics in liberal education. And in so doing, he explores the essence of what it means to be an intelligent American—by the numbers.
Expand Description


A History in Sum
Steve Nadis
Harvard University Press, 2013
Library of Congress QA13.5.M43H376 2013  Dewey Decimal 510.7117444
In the twentieth century, American mathematicians began to make critical advances in a field previously dominated by Europeans. Harvard's mathematics department was at the center of these developments. A History in Sum is an inviting account of the pioneers who trailblazed a distinctly American tradition of mathematicsin algebraic geometry, complex analysis, and other esoteric subdisciplines that are rarely written about outside of journal articles or advanced textbooks. The heady mathematical concepts that emerged, and the men and women who shaped them, are described here in lively, accessible prose.
The story begins in 1825, when a precocious sixteenyearold freshman, Benjamin Peirce, arrived at the College. He would become the first American to produce original mathematicsan ambition frowned upon in an era when professors largely limited themselves to teaching. Peirce's successors transformed the math department into a worldclass research center, attracting to the faculty such luminaries as George David Birkhoff. Influential figures soon flocked to Harvard, some overcoming great challenges to pursue their elected calling. A History in Sum elucidates the contributions of these extraordinary minds and makes clear why the history of the Harvard mathematics department is an essential part of the history of mathematics in America and beyond.
Expand Description


Everyday Mathematics for Parents: What You Need to Know to Help Your Child Succeed
The University of Chicago School Mathematics Project
University of Chicago Press, 2017
Library of Congress QA16.E84 2017  Dewey Decimal 372.70973
The Everyday Mathematics (EM) program was developed by the University of Chicago School Mathematics Project (UCSMP) and is now used in more than 185,000 classrooms by almost three million students. Its researchbased learning delivers the kinds of results that all school districts aspire to. Yet despite that tremendous success, EMoften leaves parents perplexed. Learning is accomplished not through rote memorization, but by actually engaging in reallife math tasks. The curriculum isn’t linear, but rather spirals back and forth, weaving concepts in and out of lessons that build overall understanding and longterm retention. It’s no wonder that many parents have difficulty navigating this innovative mathematical and pedagogic terrain.
Now help is here. Inspired by UCSMP’s firsthand experiences with parents and teachers, Everyday Mathematics for Parents will equip parents with an understanding of EM and enable them to help their children with homework—the heart of the great parental adventure of ensuring that children become mathematically proficient.
Featuring accessible explanations of the researchbased philosophy and design of the program, and insights into the strengths of EM, this little book provides the bigpicture information that parents need. Clear descriptions of how and why this approach is different are paired with illustrative tables that underscore the unique attributes of EM. Detailed guidance for assisting students with homework includes explanations of the key EM concepts that underlie each assignment. Resources for helping students practice math more at home also provide an understanding of the longterm utility of EM. Easy to use, yet jampacked with knowledge and helpful tips, Everyday Mathematics for Parents will become a pocket mentor to parents and teachers new to EM who are ready to step up and help children succeed. With this book in hand, you’ll finally understand that while this may not be the way that you learned math, it’s actually much better.
Expand Description


