Books for Jewish American Heritage Month
In celebration of Jewish American Heritage Month in May, we are sharing books by authors who share their individual stories, experiences, and lives. Find our full collection of books here.
Read more
MacKenzie argues that our culture now contains two ideals of proof: proof as traditionally conducted by human mathematicians, and formal, mechanized proof. He describes the systems constructed by those committed to the latter ideal and the many questions those systems raise about the nature of proof. He looks at the primary social influence on the development of automated proof—the need to predict the behavior of the computer systems upon which human life and security depend—and explores the involvement of powerful organizations such as the National Security Agency. He concludes that in mechanizing proof, and in pursuing dependable computer systems, we do not obviate the need for trust in our collective human judgment.
MacKenzie argues that our culture now contains two ideals of proof: proof as traditionally conducted by human mathematicians, and formal, mechanized proof. He describes the systems constructed by those committed to the latter ideal and the many questions those systems raise about the nature of proof. He looks at the primary social influence on the development of automated proof—the need to predict the behavior of the computer systems upon which human life and security depend—and explores the involvement of powerful organizations such as the National Security Agency. He concludes that in mechanizing proof, and in pursuing dependable computer systems, we do not obviate the need for trust in our collective human judgment.
In celebration of Jewish American Heritage Month in May, we are sharing books by authors who share their individual stories, experiences, and lives. Find our full collection of books here.
For Mental Health Awareness Month in May, we are sharing books to educate and raise awareness about mental health and the various factors that may affect it, and to provide tools and resources for student wellness. Find our full collection of titles here.
Each May, we honor the stories, histories, and cultures of Asian Americans, Native Hawaiians, and Pacific Islanders. Below is a selection of acclaimed fiction and nonfiction books by AANHPI creators to share with your students this month and throughout the year. Find our full collection of titles for Higher Education here.
