This long-awaited revision contains changes throughout the text. There are new implementations of most of the major programming systems in the book, including the interpreters and compilers, and the authors have incorporated many small changes that reflect their experience teaching the course at MIT since the first edition was published. A new theme has been introduced that emphasizes the central role played by different approaches to dealing with time in computational models: objects with state, concurrent programming, functional programming and lazy evaluation, and nondeterministic programming. There are new example sections on higher-order procedures in graphics and on applications of stream processing in numerical programming, and many new exercises. In addition, all the programs have been reworked to run in any Scheme implementation that adheres to the IEEE standard.

    Charged under an obscure blasphemy law in a small New Jersey town in 1919, Vijay Sahni is challenged by a skeptical judge to defend his belief that the certainty of mathematics can be extended to all human knowledge--including religion. Together, the two men discover the power--and the fallibility--of what has long been considered the pinnacle of human certainty, Euclidean geometry.As grandfather and grandson struggle with the question of whether there can ever be absolute certainty in mathematics or life, they are forced to reconsider their fundamental beliefs and choices. Their stories hinge on their explorations of parallel developments in the study of geometry and infinity--and the mathematics throughout is as rigorous and fascinating as the narrative and characters are compelling and complex. Moving and enlightening, A Certain Ambiguity is a story about what it means to face the extent--and the limits--of human knowledge.

    Matthew Arnold called Emerson’s essays “the most important work done in prose.”   INCLUDES A MODERN LIBRARY READING GROUP GUIDE

    Raymond M. Smullyan — a celebrated mathematician, logician, magician, and author — presents a logical labyrinth of more than 200 increasingly complex problems. The puzzles delve into Gödel’s undecidability theorem and other examples of the deepest paradoxes of logic and set theory. Detailed solutions follow each puzzle.

    With this work, he created the history of philosophy as a scientific study. He reveals philosophical theory as neither an accident nor an artificial construct, but as an exemplar of its age, fashioned by its antecedents and contemporary circumstances, and serving as a model for the future. The author himself appears to have regarded this book as a popular introduction to his philosophy as a whole, and it remains the most readable and accessible of all his philosophical writings.Eschewing the methods of original history (written during the period in question) and reflective history (written after the period has passed), Hegel embraces philosophic history, which employs a priori philosophical thought to interpret history as a rational process. Reason rules history, he asserts, through its infinite freedom (being self-sufficient, it depends on nothing beyond its own laws and conclusions) and power (through which it forms its own laws). Hegel argues that all of history is caused and guided by a rational process, and God's seemingly unknowable plan is rendered intelligible through philosophy. The notion that reason rules the world, he concludes, is both necessary to the practice of philosophic history and a conclusion drawn from that practice.

    But his penetrating work of political philosophy - now fully revised and with a new introduction for this edition - opened up questions about the nature of statecraft and society that influenced governments across the world.

    Rejecting the view that anyone has a natural right to wield authority over others, Rousseau argues instead for a pact, or ‘social contract’, that should exist between all the citizens of a state and that should be the source of sovereign power. From this fundamental premise, he goes on to consider issues of liberty and law, freedom and justice, arriving at a view of society that has seemed to some a blueprint for totalitarianism, to others a declaration of democratic principles.

    Polya, How to Solve It will show anyone in any field how to think straight. In lucid and appealing prose, Polya reveals how the mathematical method of demonstrating a proof or finding an unknown can be of help in attacking any problem that can be reasoned out--from building a bridge to winning a game of anagrams. Generations of readers have relished Polya's deft--indeed, brilliant--instructions on stripping away irrelevancies and going straight to the heart of the problem.

    This Penguin Classics edition of The Complete Essays is translated from the French and edited with an introduction and notes by M.A. Screech.In 1572 Montaigne retired to his estates in order to devote himself to leisure, reading and reflection. There he wrote his constantly expanding 'assays', inspired by the ideas he found in books contained in his library and from his own experience. He discusses subjects as diverse as war-horses and cannibals, poetry and politics, sex and religion, love and friendship, ecstasy and experience. But, above all, Montaigne studied himself as a way of drawing out his own inner nature and that of men and women in general. The Essays are among the most idiosyncratic and personal works in all literature and provide an engaging insight into a wise Renaissance mind, continuing to give pleasure and enlightenment to modern readers.With its extensive introduction and notes, M.A. Screech's edition of Montaigne is widely regarded as the most distinguished of recent times.Michel de Montaigne (1533-1586) studied law and spent a number of years working as a counsellor before devoting his life to reading, writing and reflection.If you enjoyed The Complete Essays, you might like Francois Rabelais's Gargantua and Pantagruel, also available in Penguin Classics.'Screech's fine version ... must surely serve as the definitive English Montaigne'A.C. Grayling, Financial Times'A superb edition'Nicholas Wollaston, Observer

    The Lyrical Ballads, written with Coleridge, is a landmark in the history of English romantic poetry. His celebration of nature and of the beauty and poetry in the commonplace embody a unified and coherent vision that was profoundly innovative. This volume presents the poems in their order of composition and in their earliest completed state, enabling the reader to trace Wordsworth's poetic development and to share the experience of his contemporaries. It includes a large sample of the finest lyrics, and also longer narratives such as The Ruined Cottage, Home at Grasmere, Peter Bell, and the autobiographical masterpiece, The Prelude (1805). All the major examples of Wordsworth's prose on the subject of poetry are also included.

    Renowned classicist Lionel Casson takes us on a lively tour, from the royal libraries of the most ancient Near East, through the private and public libraries of Greece and Rome, down to the first Christian monastic libraries. To the founders of the first public libraries of the Greek world goes the credit for creating the prototype of today’s library buildings and the science of organizing books in them.Casson recounts the development of ancient library buildings, systems, holdings, and patrons, addressing questions on a wide variety of topics, such as:• What was the connection between the rise in education and literacy and the growth of libraries?• Who contributed to the early development of public libraries, especially the great library at Alexandria?• What did ancient libraries include in their holdings?• How did ancient libraries acquire books?• What was the nature of publishing in the Greek and Roman world?• How did different types of users (royalty, scholars, religious figures) and different kinds of “books” (tablets, scrolls, codices) affect library arrangements?• How did Christianity transform the nature of library holdings?Just as a library yields unexpected treasures to a meandering browser, this entertaining book offers to its perusers the surprising history of the rise and development of ancient libraries—a fascinating story never told before.

    Turing Mathematician Alan Turing invented an imaginary computer known as the Turing Machine; in an age before computers, he explored the concept of what it meant to be "computable," creating the field of computability theory in the process, a foundation of present-day computer programming.The book expands Turing's original 36-page paper with additional background chapters and extensive annotations; the author elaborates on and clarifies many of Turing's statements, making the original difficult-to-read document accessible to present day programmers, computer science majors, math geeks, and others.Interwoven into the narrative are the highlights of Turing's own life: his years at Cambridge and Princeton, his secret work in cryptanalysis during World War II, his involvement in seminal computer projects, his speculations about artificial intelligence, his arrest and prosecution for the crime of "gross indecency," and his early death by apparent suicide at the age of 41.

    The addition of this book is a must for all upper-level Christian school curricula and for college students and adults interested in math or related fields of science and religion. It will serve as a solid refutation for the claim, often made in court, that mathematics is one subject, which cannot be taught from a distinctively Biblical perspective.

    Inside PFTB (Proofs from The Book) is indeed a glimpse of mathematical heaven, where clever insights and beautiful ideas combine in astonishing and glorious ways. There is vast wealth within its pages, one gem after another. Some of the proofs are classics, but many are new and brilliant proofs of classical results. ...Aigner and Ziegler... write: ..". all we offer is the examples that we have selected, hoping that our readers will share our enthusiasm about brilliant ideas, clever insights and wonderful observations." I do. ... " Notices of the AMS, August 1999..". the style is clear and entertaining, the level is close to elementary ... and the proofs are brilliant. ..." LMS Newsletter, January 1999This third edition offers two new chapters, on partition identities, and on card shuffling. Three proofs of Euler's most famous infinite series appear in a separate chapter. There is also a number of other improvements, such as an exciting new way to "enumerate the rationals."

    First published on the eve of war in 1939, the essay has often been read as a pacifist manifesto. Rachel Bespaloff was a French contemporary of Weil’s whose work similarly explored the complex relations between literature, religion, and philosophy. She composed her own distinctive discussion of the Iliad in the midst of World War II—calling it “her method of facing the war”—and, as Christopher Benfey argues in his introduction, the essay was very probably written in response to Weil. Bespaloff’s account of the Iliad brings out Homer’s novelistic approach to character and the existential drama of his characters’ choices; it is marked, too, by a tragic awareness of how the Iliad speaks to times and places where there is no hope apart from war.This edition brings together these two influential essays for the first time, accompanied by Benfey’s scholarly introduction and an afterword by the great Austrian novelist Hermann Broch.