The Proof in the Code: How a Truth Machine Is Transforming Math and AI - Kevin Hartnett - Books - Farrar, Straus & Giroux Inc - 9780374620059 - July 20, 2026
In case cover and title do not match, the title is correct

Kevin Hartnett
The Proof in the Code: How a Truth Machine Is Transforming Math and AI

Price
$ 28.49
excl. VAT
Expected delivery Jul 28 - 31

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

The inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?

Media Books     Hardcover Book   (Book with hard spine and cover)
To be released July 20, 2026
ISBN13 9780374620059
Publishers Farrar, Straus & Giroux Inc
Pages 288
Dimensions 152 × 229 × 25 mm   ·   454 g

Mere med samme udgiver

See all of Kevin Hartnett ( e.g. Hardcover Book and CD )