"35" Result
Sort By:
« Brian Hayes wants to convince us that mathematics is too important and too much fun to be left to the mathematicians. Foolproof, and Other Mathematical Meditations is his entertaining and accessible exploration of mathematical terrain both far-flung and nearby, bringing reader…
Kirk's fire investigation
by Icove, David J., DeHaan, John D., (John David), Kirk, Paul Leland
fromBrady fire
0
Type: Book
Mechanizing proof: computing, risk and trust
0
Type: Book
Most aspects of our private and social lives now depend on computing. But how can we know that this computing is trustworthy? In 'Mechanizing Proof', Donald MacKenzie addresses this key issue by investigating the interrelations of computing, risk, and mathematical proof.
« Emblazoned on many advertisements for the wildly popular game of Sudoku are the reassuring words, "no mathematical knowledge required." Anxiety about math plagues many of us, and school memories can still summon intense loathing. In A Brief History of Mathematical Thought, Luk…
Hyperproof
by Barwise, Jon, Etchemendy, John, Allwein, Gerard, Bush, Alan
fromLecture notes
0
Type: Book
Hyperproof
by Barwise, Jon, Etchemendy, John, Allwein, Gerard, Bush, Alan
fromLecture notes
0
Type: Book
