Kevin Hartnett – författare
Visar alla böcker från författaren Kevin Hartnett. Handla med fri frakt och snabb leverans.
3 produkter
Proof in the Code
How a Truth Machine Is Transforming Math and AI
Inbunden, 2026
293 kr
Lägg i varukorg
It began as an obscure bug-checking program at Microsoft Research developed by a lone computer engineer named Leo de Moura. Then an unlikely crew of mathematical misfits caught wind of it and began to adopt it with messianic zeal. Their goal was to create a truth machine that could provide the …
Proof in the Code
How a Truth Machine Is Transforming Math and AI
E-bok, 2026
270 kr
Lägg i varukorg
"e;The most interesting book I've ever read about math."e; -Kevin Roose, New York Times tech columnist and co-host of the Hard Fork podcastThe Proof in the Code tells the inside story of Lean, a computer program that answers the age-old question: How do you know if something is true? It …
Heavens
Intimate Moments with Your Majestic God
E-bok, 2011
102 kr
Lägg i varukorg
Sovereign in purpose, infinitely powerful, and transcendent over all He has made, God is equally infinite in grace and mercy. He knows and cares about your every need. The Heavens provides a unique and extraordinary opportunity to soar above the distractions and burdens of life as one meets with, …
