Related Books

Mathematical Reasoning: The History and Impact of the DReaM Group
Language: en
Pages: 173
Authors: Gregory Michaelson
Categories: Computers
Type: BOOK - Published: 2021-11-20 - Publisher: Springer Nature

DOWNLOAD EBOOK

This collection of essays examines the key achievements and likely developments in the area of automated reasoning. In keeping with the group ethos, Automated R
Mechanizing Mathematical Reasoning
Language: en
Pages: 573
Authors: Dieter Hutter
Categories: Computers
Type: BOOK - Published: 2011-03-29 - Publisher: Springer

DOWNLOAD EBOOK

By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemor
Descartes' Dream
Language: en
Pages: 354
Authors: Philip J. Davis
Categories: Mathematics
Type: BOOK - Published: 2005-01-01 - Publisher: Courier Corporation

DOWNLOAD EBOOK

These provocative essays take a modern look at the 17th-century thinker's dream, examining the influences of mathematics on society, particularly in light of te
The Mathematical Imagination
Language: en
Pages: 287
Authors: Matthew Handelman
Categories: Philosophy
Type: BOOK - Published: 2019-03-05 - Publisher: Fordham Univ Press

DOWNLOAD EBOOK

This book offers an archeology of the undeveloped potential of mathematics for critical theory. As Max Horkheimer and Theodor W. Adorno first conceived of the c
Mathematical Reviews
Language: en
Pages: 1596
Authors:
Categories: Mathematics
Type: BOOK - Published: 2003 - Publisher:

DOWNLOAD EBOOK