Pastāsti draugiem par šo preci:
The Proof in the Code: How a Truth Machine Is Transforming Math and AI Kevin Hartnett
The Proof in the Code: How a Truth Machine Is Transforming Math and AI
Kevin Hartnett
The inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2026. gada 20. jūlijs |
| ISBN13 | 9780374620059 |
| Izdevēji | Farrar, Straus & Giroux Inc |
| Lapas | 288 |
| Izmēri | 152 × 229 × 25 mm · 454 g |