Book picks similar to
Natural Deduction: A Proof-Theoretical Study by Dag Prawitz
logic
philosophy
math-logic
100
To Engineer Is Human: The Role of Failure in Successful Design
Henry Petroski - 1985
More than a series of fascinating case studies, To Engineer Is Human is a work that looks at our deepest notions of progress and perfection, tracing the fine connection between the quantifiable realm of science and the chaotic realities of everyday life."Alert, inquisitive, unspecialized, wholly human...refreshingly eclectic." --The Spectator"Henry Petroski is an ardent engineer, and if he writes more good books like this, he might find himself nominated to become the meistersinger of the guild. [This is] a refreshing plunge into the dynamics of the engineering ethos...as straightforward as an I-beam."--Science
Men of Mathematics
Eric Temple Bell - 1937
Bell, a leading figure in mathematics in America for half a century. Men of Mathematics accessibly explains the major mathematics, from the geometry of the Greeks through Newton's calculus and on to the laws of probability, symbolic logic, and the fourth dimension. In addition, the book goes beyond pure mathematics to present a series of engrossing biographies of the great mathematicians -- an extraordinary number of whom lived bizarre or unusual lives. Finally, Men of Mathematics is also a history of ideas, tracing the majestic development of mathematical thought from ancient times to the twentieth century. This enduring work's clear, often humorous way of dealing with complex ideas makes it an ideal book for the non-mathematician.
No Little People
Francis A. Schaeffer - 1974
Francis A. Schaeffer says that the biblical emphasis is quite different. With God there are no little people!This book contains sixteen sermons that explore the weakness and significance of humanity in relationship to the infinite and personal God. Each was preached by Schaeffer at L'Abri Fellowship in Switzerland to the community that gathered there to work, learn, and worship together. The focus of this collection is the lasting truth of the Bible, the faithfulness of God, the sufficiency of the work of Christ, and the reality of God's Spirit in history. The sermons represent a variety of styles-some are topical, some expound Old Testament passages, and still others delve into New Testament texts. No Little People includes theological sermons and messages that focus specifically on daily life and Christian practice. Each sermon is a single unit, and all are valuable for family devotions or other group study and worship. Readers will be encouraged by the value that God places on each person made in His image.
Now Panic and Freak Out
Various - 2010
Let's own up and face facts: we're getting older, the politicians are not getting any wiser, and the world's going to hell in a handbasket.It's time to panic.Here's a book packed with quotations proving that keeping calm is simply not an option.
The Future Is The Beginning: The Words and Wisdom of Bob Marley
Bob Marley - 2011
He would go on to be inducted into the Rock and Roll Hall of Fame, and he also received a Grammy Lifetime Achievement Award and a United Nations Medal of Peace. Marley’s compilation album Legend is one of the bestselling recordings of all time, going platinum ten times in the United States and selling twenty million copies worldwide.Bob Marley’s wisdom came not only through his songs but also from his poetic, spoken words. The short selections in this book, which are compiled from interviews he gave over the years, will give readers a true sense of who Bob Marley really was and are bound to inspire them with his timeless message of faith, unity, and love.“It’s Bob, as he was, as he is, as he will always be, talking personally to you.”—Gerald Hausman,from the editor’s note“My father spoke plain and simple words, the least tricky of all. These came from Proverbs in the Bible and also the folk sayings of the people of Jamaica. . . . He was wise beyond education, beyond information.”—Cedella Marley,from the introduction
God's Glory Alone---The Majestic Heart of Christian Faith and Life: What the Reformers Taught...and Why It Still Matters
David VanDrunen - 2015
God's Glory Alone is a beautiful reflection on how commitment to God's glory alone fortifies us to live godly lives in this present age.Reinvigorating one of the five great declarations of the Reformation—soli Deo gloria—VanDrunen:Examines the development of this theme in the Reformation, in subsequent Reformed theology and confessions, and in contemporary theologians who continue to be inspired by the conviction that all glory belongs to God.Turns to the biblical story of God's glory, beginning with the pillar of cloud and fire revealed to Israel, continuing through the incarnation, death, and exaltation of the Lord Jesus Christ, and culminating in Christ's Second Coming and the glorification of his people.Addresses several of today's great cultural challenges and temptations that attempt to draw us away from a God-centered instead of self-centered way of life.This book leads you into a renewed sense of awe and adoration for our Creator and Redeemer as it mines deeply into the biblical and theological truths about God's glory that stand at the center of the Christian faith.—THE FIVE SOLAS—Historians and theologians have long recognized that at the heart of the sixteenth-century Protestant Reformation were five declarations, often referred to as the "solas." These five statements summarize much of what the Reformation was about, and they distinguish Protestantism from other expressions of the Christian faith: that they place ultimate and final authority in the Scriptures, acknowledge the work of Christ alone as sufficient for redemption, recognize that salvation is by grace alone through faith alone, and seek to do all things for God’s glory.The Five Solas Series is more than a simple rehashing of these statements, but instead expounds upon the biblical reasoning behind them, leading to a more profound theological vision of our lives and callings as Christians and churches.
Saint Thomas Aquinas
G.K. Chesterton - 1933
Chesterton's brilliant sketch of the life and thought of Thomas Aquinas is as relevant today as when it was published in 1933. Then it earned the praise of such distinguished writers as Etienne Gilson, Jacques Martain, and Anton Pegis as the best book ever written on the great thirteenth-century Dominican. Today Chesterton's classic stands poised to reveal Thomas to a new generation. Chesterton's Aquinas is a man of mystery. Born into a noble Neapolitan family, Thomas chose the life of a mendicant friar. Lumbering and shy -- his classmates dubbed him "the Dumb Ox" -- he led a revolution in Christian thought. Possessed of the rarest brilliance, he found the highest truth in the humblest object. Having spent his life amid the vast intricacies of reason, he asked on his deathbed to have read aloud the Song of Songs, the most passionate book in the Bible.As Albert the Great, Thomas's teacher, predicted, the Dumb Ox has bellowed down the ages to our own day. Chesterton's book will enlighten those who would consign Thomas to the obscurity of medieval times. It will confound those who would use Thomas to bolster arid schemes of Christian rationalism. Rather, it will introduce the wondrous mystery of the man who, after a life of unparalleled genius, was seized by a vision of the Unknown and said, "I can write no more. I have seen things which make all my writings like straw."
Cliffs Notes on Fitzgerald's the Great Gatsby
Kate Maurer - 2000
The latest generation of titles in this series also features glossaries and visual elements that complement the familiar format.CliffsNotes on The Great Gatsby explores F. Scott Fitzgerald's novel of triumph, tragedy, and a classic love triangle in the 1920s.Following the story of a young Midwesterner who's fascinated by the mysterious past and opulent lifestyle of his landlord, this study guide provides summaries and critical commentaries for each chapter within the novel. Other features that help you figure out this important work includePersonal background on the authorIntroduction to and synopsis of the bookIn-depth character analysesCritical essays on topics of interestReview section that features interactive questions and suggested essay topics and practice projectsResource Center with books, videos, and websites that can help round out your knowledgeClassic literature or modern-day treasure—you'll understand it all with expert information and insight from CliffsNotes study guides.
How To Be A Philosopher: or How to Be Almost Certain that Almost Nothing is Certain
Gary Cox - 2010
A humorous but informed instruction manual to questions philosophers have been asking and attempting to answer for centuries, How to Be A Philosopher will help you:- Think, talk, argue and persuade like a philosopher.- Win every agument by tying people in philosophical knots.- Ask questions and raise doubts about things most people take for granted.- Realise that almost nothing is certain.- Get the absolute final word on that question about a falling tree.A practical guide to philosophising, the book explains philosophical ideas with examples drawn from such great works as Family Guy, Monty Python's Flying Circus, The Matrix and Red Dwarf. The book also argues that learning to philosophise will help you think more clearly and honestly about your own life. The book even gives practical advice on how to make a living from philosophy!
Routing TCP/IP, Volume 1
Jeff Doyle - 1998
Routing TCP/IP, Volume 1, Second Edition, includes protocol changes and Cisco features that enhance routing integrity, secure routers from attacks initiated through routing protocols, and provide greater control over the propagation of routing information for all the IP interior routing protocols. Routing TCP/IP, Volume 1, Second Edition, provides a detailed analysis of each of the IP interior gateway protocols (IGPs). Its structure remains the same as the best-selling first edition, though information within each section is enhanced and modified to include the new developments in routing protocols and Cisco implementations. What's New In This Edition? The first edition covers routing protocols as they existed in 1998. The new book updates all covered routing protocols and discusses new features integrated in the latest version of Cisco IOS Software. IPv6, its use with interior routing protocols, and its interoperability and integration with IPv4 are also integrated into this book. Approximately 200 pages of new information are added to the main text, with some old text removed. Additional exercise and solutions are also included.
The Art of Mathematics
Jerry P. King - 1992
Jerry King is no exception. His informal, nontechnical book, as its title implies, is organized around what Bertrand Russell called the 'supreme beauty' of mathematics--a beauty 'capable of a stern perfection such as only the greatest art can show.'NATUREIn this clear, concise, and superbly written volume, mathematics professor and poet Jerry P. King reveals the beauty that is at the heart of mathematics--and he makes that beauty accessible to all readers. Darting wittily from Euclid to Yeats, from Poincare to Rembrandt, from axioms to symphonies, THE ART OF MATHEMATICS explores the difference between real, rational, and complex numbers; analyzes the intellectual underpinnings of pure and applied mathematics; and reveals the fundamental connection between aesthetics and mathematics. King also sheds light on how mathematicians pursue their research and how our educational system perpetuates the damaging divisions between the two cultures.
The Equation That Couldn't Be Solved: How Mathematical Genius Discovered the Language of Symmetry
Mario Livio - 2005
Yet the mathematical language of symmetry-known as group theory-did not emerge from the study of symmetry at all, but from an equation that couldn't be solved. For thousands of years mathematicians solved progressively more difficult algebraic equations, until they encountered the quintic equation, which resisted solution for three centuries. Working independently, two great prodigies ultimately proved that the quintic cannot be solved by a simple formula. These geniuses, a Norwegian named Niels Henrik Abel and a romantic Frenchman named Évariste Galois, both died tragically young. Their incredible labor, however, produced the origins of group theory. The first extensive, popular account of the mathematics of symmetry and order, The Equation That Couldn't Be Solved is told not through abstract formulas but in a beautifully written and dramatic account of the lives and work of some of the greatest and most intriguing mathematicians in history.
Life Sentence
Christie Blatchford - 2013
When Christie Blatchford wandered into a Toronto courtroom in 1978 for the start of the first criminal trial she would cover as a newspaper reporter, little did she know she was also at the start of a self-imposed life sentence. In this book, Christie Blatchford revisits trials from throughout her career and asks the hard questions--about judges playing with the truth--through editing of criminal records, whitewashing of criminal records, pre-trial rulings that kick out evidence the jury can't hear. She discusses bad or troubled judges--how and why they get picked, and what can be done about them. And shows how judges are handmaidens to the state, as in the Bernardo trial when a small-town lawyer and an intellectual writer were pursued with more vigor than Karla Homolka. For anyone interested in the political and judicial fabric of this country, Life Sentence is a remarkable, argumentative, insightful and hugely important book.
Introducing Artificial Intelligence: A Graphic Guide
Henry Brighton - 2007
But can machines really think? Is the mind just a complicated computer program? Introducing Artificial Intelligence focuses on the issues behind one of science's most difficult problems.
Just for Fun: The Story of an Accidental Revolutionary
Linus Torvalds - 2001
Then he wrote a groundbreaking operating system and distributed it via the Internet -- for free. Today Torvalds is an international folk hero. And his creation LINUX is used by over 12 million people as well as by companies such as IBM.Now, in a narrative that zips along with the speed of e-mail, Torvalds gives a history of his renegade software while candidly revealing the quirky mind of a genius. The result is an engrossing portrayal of a man with a revolutionary vision, who challenges our values and may change our world.