Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

PROOF IN THE CODE

Taal EngelsEngels
Boek Gebonden (harde band)
Boek PROOF IN THE CODE HARTNETT KEVIN
Libristo-code: 50209825
Uitgeverij QUANTA, juni 2026
It began as an obscure bug-checking program at Microsoft Research developed by a lone computer engin... Volledige beschrijving
? points 59 b TOP TOP Nieuw Nieuw
24.22 €
In extern magazijn Wordt binnen 7-12 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

TOP
The Infinity Machine Sebastian Mallaby / Boek Gebonden (paperback)
common.buy 16.58 €
TOP
Counterexamples in Analysis Bernard R Gelbaum / Boek Gebonden (paperback)
common.buy 19.10 €
TOP
Can't Hurt Me David Goggins / Boek Gebonden (paperback)
common.buy 25.23 €
TOP
Game Theory: A Very Short Introduction Ken Binmore / Boek Gebonden (paperback)
common.buy 10.35 €
TOP
Quantum History Slavoj Žižek / Boek Gebonden (harde band)
common.buy 20.80 €
L'exil vaut le voyage Dany Laferrière de l'Académie française Boek Gebonden (paperback)
common.buy 42.42 €
Schwungübungen Ab 4 Jahren: Das große Übungsheft für den Kindergarten und Vorschule zur Förderung der Konzentration und Feinmotorik - Inkl. Links- Schulkonig / Boek Gebonden (paperback)
common.buy 9.34 €
Migraciones : una puerta abierta al desarrollo : 10 herramientas para el codesarrollo / Boek Gebonden (paperback)
common.buy 24.32 €
TOP
Puzzle 1000 High Quality Collection Tour Eiffel Clementoni / Spel/speelgoed Puzzel
common.buy 7.63 €
Compte Administratif Au Conseil General Du Departement, Session de 1828 Conseil général de Gironde / Boek Gebonden (paperback)
common.buy 17.29 €
Les initiations et l'initiation maçonnique Irène Mainguy / Boek Gebonden (paperback)
common.buy 24.12 €
TOP Nieuw
Coloriages Mystères - Winx Club Alicia Dombrofsky / Boek Gebonden (paperback)
common.buy 18.69 €
TOP Nieuw
Principio, Medio, Fin Valeria Luiselli / Boek Gebonden (paperback)
common.buy 20.00 €
TOP
Grammatik aktiv - Deutsch als Fremdsprache - 2. aktualisierte Ausgabe - A1-B1 Friederike Jin / Boek Gebonden (paperback)
common.buy 22.92 €
6 filarów poczucia własnej wartości Branden Nathaniel / Boek Gebonden (paperback)
common.buy 12.56 €
TOP Wordt verwacht
Murdoku Manuel Garand / Boek Gebonden (paperback)
common.buy 11.75 €
TOP
Short Stories in Spanish for Beginners Olly Richards / Boek Gebonden (paperback)
common.buy 9.94 €
TOP
Kolory natury. Kolorowanka antystresowa Disney. Zagadkowe rysunki William Bal / Boek Gebonden (paperback)
common.buy 8.03 €
Grand bloc - Grands classiques mystères / Boek Boek
common.buy 15.68 €
Konyadan Esnaf Manzaralari Rasit Aker / Boek Gebonden (paperback)
common.buy 14.07 €

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 rarest of all commodities in life: a complete, 100 percent guarantee that something is true. Its name: Lean. As the movement grew and strengthened the program’s capabilities, it drew in two of the world’s most prominent mathematicians: Peter Scholze and Terence Tao. Google DeepMind, Meta AI, and other tech firms started using the program to supercharge computer reasoning. Now it’s remaking the multi-thousand-year history of how mathematicians work, collaborate, and assess truth, while charting a new path in the march toward machine intelligence. In The Proof in the Code, Kevin Hartnett tells the definitive story of the birth and rise of Lean, and how a growing movement is transforming the enterprise of mathematics and ushering in a new era of human–computer collaboration. An engrossing, character-driven narrative filled with insights about the future of math, computers, and AI, this brilliant work of journalism from one of the world’s leading math writers offers a profound answer to the question: Can computers reveal universal truths?

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam PROOF IN THE CODE
Auteur HARTNETT KEVIN
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 2026
Aantal pagina's 288
EAN 9780374620059
Libristo-code 50209825
Uitgeverij QUANTA
Gewicht 453

Categorieën

Wiskunde en wetenschap > Wiskunde
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Nieuw
Proof in the Code Kevin Hartnett / E-book Adobe ePub DRM
common.buy 24.02 €
TOP
Faerie Queene Edmund Spenser / Boek Gebonden (paperback)
common.buy 17.18 €
The Outward Path PURCELL SEBASTIAN / Boek Gebonden (harde band)
common.buy 23.02 €
TOP
Essential Calculus Skills Practice Workbook with Full Solutions Chris McMullen / Boek Gebonden (paperback)
common.buy 12.96 €
Road to Heaven Bill Porter / Boek Gebonden (paperback)
common.buy 13.46 €
TOP
Bullshit Jobs David Graeber / Boek Gebonden (paperback)
common.buy 12.16 €
TOP
Witch Hat Atelier: Grimoire Edition 1 Kamome Shirahama / Boek Gebonden (harde band)
common.buy 36.79 €
Analysis I Terence Tao / Boek Gebonden (harde band)
common.buy 73.09 €
TOP
After Virtue Alasdair MacIntyre / Boek Gebonden (paperback)
common.buy 25.53 €
The Books of Ezra and Nehemiah; Critical Edition of The Hebrew Text Printed in Colors Exhibiting The B W Bacon / Boek Gebonden (harde band)
common.buy 29.55 €
TOP
The Collected Works of Jim Morrison Jim Morrison / Boek Gebonden (harde band)
common.buy 37.60 €
TOP
Culture and Imperialism Edward W Said / Boek Gebonden (paperback)
common.buy 14.07 €
TOP
Deep Utopia Nick Bostrom / Boek Gebonden (harde band)
common.buy 25.13 €
The Fates Rosie Garland / Boek Gebonden (paperback)
common.buy 13.67 €
Eliza Parsons' The Castle of Wolfenbach Elizabeth Lee / Boek Gebonden (paperback)
common.buy 18.29 €
TOP
Court of Thorns and Roses Paperback Box Set Sarah J. Maas / Boek Gebonden (paperback)
common.buy 59.82 €
TOP
The Essential Lenormand (Second Edition) GEORGE RANA / Drukwerk Speelkaarten
common.buy 23.02 €
Nieuw
An Odyssey of Dingbats! Vol. 2 Omar King / Boek Gebonden (paperback)
common.buy 22.51 €
Sisters in Yellow Mieko Kawakami / Boek Gebonden (harde band)
common.buy 19.10 €
TOP
Kadesh 1274 BC Marco Capparoni / Boek Gebonden (paperback)
common.buy 19.10 €
Starfinder Alien Core Dustin Knight / Boek Gebonden (paperback)
common.buy 23.62 €
TOP Nieuw
The Nerd Reich DURAN GIL / Boek Gebonden (harde band)
common.buy 23.02 €
TOP Wordt verwacht Nieuw
Traumatized Catherine Liu / Boek Gebonden (harde band)
common.buy 19.10 €
Mr. Emotionally Unstable Alina Jacobs / Boek Gebonden (paperback)
common.buy 22.92 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?