Proving History

Proving History
Author: Richard C. Carrier
Publisher: Prometheus Books
Total Pages: 361
Release: 2012-04-03
Genre: History
ISBN: 1616145609

This in-depth discussion of New Testament scholarship and the challenges of history as a whole proposes Bayes’s Theorem, which deals with probabilities under conditions of uncertainty, as a solution to the problem of establishing reliable historical criteria. The author demonstrates that valid historical methods—not only in the study of Christian origins but in any historical study—can be described by, and reduced to, the logic of Bayes’s Theorem. Conversely, he argues that any method that cannot be reduced to this theorem is invalid and should be abandoned. Writing with thoroughness and clarity, the author explains Bayes’s Theorem in terms that are easily understandable to professional historians and laypeople alike, employing nothing more than well-known primary school math. He then explores precisely how the theorem can be applied to history and addresses numerous challenges to and criticisms of its use in testing or justifying the conclusions that historians make about the important persons and events of the past. The traditional and established methods of historians are analyzed using the theorem, as well as all the major "historicity criteria" employed in the latest quest to establish the historicity of Jesus. The author demonstrates not only the deficiencies of these approaches but also ways to rehabilitate them using Bayes’s Theorem. Anyone with an interest in historical methods, how historical knowledge can be justified, new applications of Bayes’s Theorem, or the study of the historical Jesus will find this book to be essential reading.

Proving Ground

Proving Ground
Author: Kathy Kleiman
Publisher: Hurst Publishers
Total Pages: 360
Release: 2022-08-11
Genre: Biography & Autobiography
ISBN: 1787389200

As the Cold War began, America’s race for tech supremacy was taking off. Experts rushed to complete the top-secret computing research started during World War II, among them six gifted mathematicians: a patriotic Quaker, a Jewish bookworm, a Yugoslav genius, a native Gaelic speaker, a sophomore from the Bronx, and a farmer’s daughter from Missouri. Their mission? Programming the world’s first and only supercomputer—before any code or programming languages existed. These pioneers triumphed against sexist attitudes and huge technical challenges to invent computer programming, yet their monumental contribution has never been recognised—until now. Over a decade, Kathy Kleiman met with four of the original six ENIAC Programmers and recorded their stories. Here, with a light touch and a serious mind, she exposes the deliberate erasure of their achievements and restores the women to their rightful place as revolutionaries, bringing to life their camaraderie, their determination, and their rapidly changing world. As big tech struggles with gender inequality and momentum builds in restoring women to history, the time has come for this engrossing story to be uncovered and celebrated.

Did Jesus Exist?

Did Jesus Exist?
Author: Bart D. Ehrman
Publisher: Harper Collins
Total Pages: 449
Release: 2012-03-20
Genre: Religion
ISBN: 0062089943

In Did Jesus Exist? historian and Bible expert Bart Ehrman confronts the question, "Did Jesus exist at all?" Ehrman vigorously defends the historical Jesus, identifies the most historically reliable sources for best understanding Jesus’ mission and message, and offers a compelling portrait of the person at the heart of the Christian tradition. Known as a master explainer with deep knowledge of the field, Bart Ehrman methodically demolishes both the scholarly and popular “mythicist” arguments against the existence of Jesus. Marshaling evidence from within the Bible and the wider historical record of the ancient world, Ehrman tackles the key issues that surround the mythologies associated with Jesus and the early Christian movement. In Did Jesus Exist?: The Historical Argument for Jesus of Nazareth, Ehrman establishes the criterion for any genuine historical investigation and provides a robust defense of the methods required to discover the Jesus of history.

Theorem Proving with Analytic Tableaux and Related Methods

Theorem Proving with Analytic Tableaux and Related Methods
Author: P. Miglioli
Publisher: Springer Science & Business Media
Total Pages: 348
Release: 1996-04-24
Genre: Computers
ISBN: 9783540612087

This books presents the refereed proceedings of the Fifth International Workshop on Analytic Tableaux and Related Methods, TABLEAUX '96, held in Terrasini near Palermo, Italy, in May 1996. The 18 full revised papers included together with two invited papers present state-of-the-art results in this dynamic area of research. Besides more traditional aspects of tableaux reasoning, the collection also contains several papers dealing with other approaches to automated reasoning. The spectrum of logics dealt with covers several nonclassical logics, including modal, intuitionistic, many-valued, temporal and linear logic.

Proof and Proving in Mathematics Education

Proof and Proving in Mathematics Education
Author: Gila Hanna
Publisher: Springer Science & Business Media
Total Pages: 468
Release: 2012-06-14
Genre: Education
ISBN: 9400721293

*THIS BOOK IS AVAILABLE AS OPEN ACCESS BOOK ON SPRINGERLINK* One of the most significant tasks facing mathematics educators is to understand the role of mathematical reasoning and proving in mathematics teaching, so that its presence in instruction can be enhanced. This challenge has been given even greater importance by the assignment to proof of a more prominent place in the mathematics curriculum at all levels. Along with this renewed emphasis, there has been an upsurge in research on the teaching and learning of proof at all grade levels, leading to a re-examination of the role of proof in the curriculum and of its relation to other forms of explanation, illustration and justification. This book, resulting from the 19th ICMI Study, brings together a variety of viewpoints on issues such as: The potential role of reasoning and proof in deepening mathematical understanding in the classroom as it does in mathematical practice. The developmental nature of mathematical reasoning and proof in teaching and learning from the earliest grades. The development of suitable curriculum materials and teacher education programs to support the teaching of proof and proving. The book considers proof and proving as complex but foundational in mathematics. Through the systematic examination of recent research this volume offers new ideas aimed at enhancing the place of proof and proving in our classrooms.

The Methods and Skills of History

The Methods and Skills of History
Author: Michael J. Salevouris
Publisher: John Wiley & Sons
Total Pages: 328
Release: 2016-09-21
Genre: History
ISBN: 1118745345

Widely acclaimed for its accessibility and engaging approach to the subject, the fourth edition of The Methods and Skills of History combines theory and instruction with hands-on practice, making it a comprehensive guide to historical research and writing. Combines theory with hands-on practice in its introduction to historical methods Includes a series of field-tested exercises designed to make the research and writing of history more meaningful and accessible to readers Features expanded coverage of writing history and up-to-date coverage of online research Designed to strengthen students’ critical thinking and communication skills

The History of Mathematical Proof in Ancient Traditions

The History of Mathematical Proof in Ancient Traditions
Author: Karine Chemla
Publisher: Cambridge University Press
Total Pages: 522
Release: 2012-07-05
Genre: Philosophy
ISBN: 1139510584

This radical, profoundly scholarly book explores the purposes and nature of proof in a range of historical settings. It overturns the view that the first mathematical proofs were in Greek geometry and rested on the logical insights of Aristotle by showing how much of that view is an artefact of nineteenth-century historical scholarship. It documents the existence of proofs in ancient mathematical writings about numbers and shows that practitioners of mathematics in Mesopotamian, Chinese and Indian cultures knew how to prove the correctness of algorithms, which are much more prominent outside the limited range of surviving classical Greek texts that historians have taken as the paradigm of ancient mathematics. It opens the way to providing the first comprehensive, textually based history of proof.

Evidence Explained

Evidence Explained
Author: Elizabeth S Mills
Publisher: Genealogical Publishing Company
Total Pages: 0
Release: 2024-05-17
Genre: Computers
ISBN: 9780806321370

Citation style manual for every type of source record and media.

Computing in Euclidean Geometry

Computing in Euclidean Geometry
Author: Dingzhu Du
Publisher: World Scientific
Total Pages: 414
Release: 1992
Genre: Mathematics
ISBN: 9789810209667

This book is a collection of surveys and exploratory articles about recent developments in the field of computational Euclidean geometry. The topics covered are: a history of Euclidean geometry, Voronoi diagrams, randomized geometric algorithms, computational algebra; triangulations, machine proofs, topological designs, finite-element mesh, computer-aided geometric designs and steiner trees. Each chapter is written by a leading expert in the field and together they provide a clear and authoritative picture of what computational Euclidean geometry is and the direction in which research is going.

The Case for Jesus

The Case for Jesus
Author: Brant Pitre
Publisher: Image
Total Pages: 258
Release: 2016-02-02
Genre: Religion
ISBN: 0770435491

“This book will prove to be a most effective weapon… against the debunking and skeptical attitudes toward the Gospels that are so prevalent, not only in academe, but also on the street, among young people who, sadly, are leaving the Churches in droves.” – Robert Barron, author of Catholicism For well over a hundred years now, many scholars have questioned the historical truth of the Gospels, claiming that they were originally anonymous. Others have even argued that Jesus of Nazareth did not think he was God and never claimed to be divine. In The Case for Jesus, Dr. Brant Pitre, the bestselling author of Jesus and the Jewish Roots of the Eucharist, goes back to the sources—the biblical and historical evidence for Christ—in order to answer several key questions, including: • Were the four Gospels really anonymous? • Are the Gospels folklore? Or are they biographies? • Were the four Gospels written too late to be reliable? • What about the so-called “Lost Gospels,” such as “Q” and the Gospel of Thomas? • Did Jesus claim to be God? • Is Jesus divine in all four Gospels? Or only in John? • Did Jesus fulfill the Jewish prophecies of the Messiah? • Why was Jesus crucified? • What is the evidence for the Resurrection? As The Case for Jesus will show, recent discoveries in New Testament scholarship, as well as neglected evidence from ancient manuscripts and the early church fathers, together have the potential to pull the rug out from under a century of skepticism toward the traditional Gospels. Above all, Pitre shows how the divine claims of Jesus of Nazareth can only be understood by putting them in their ancient Jewish context.