20% rabatt med Storytel
Du handlar alltid fysiska böcker till specialpriser om du har eller startar ett abonnemang.
Frakt från 0 kr
Snabb leverans med CityMail, Early Bird, Instabox, Budbee, PostNord eller DSV. Du ser alla fraktalternativ och priser i kassan.
Fria returer
Lämna tillbaka din bok kostnadsfritt med 14 dagars ångerrätt.
20% rabatt med Storytel
Du handlar alltid fysiska böcker till specialpriser om du har eller startar ett abonnemang.
Frakt från 0 kr
Snabb leverans med CityMail, Early Bird, Instabox, Budbee, PostNord eller DSV. Du ser alla fraktalternativ och priser i kassan.
Fria returer
Lämna tillbaka din bok kostnadsfritt med 14 dagars ångerrätt.
20% rabatt med Storytel
Du handlar alltid fysiska böcker till specialpriser om du har eller startar ett abonnemang.
Frakt från 0 kr
Snabb leverans med CityMail, Early Bird, Instabox, Budbee, PostNord eller DSV. Du ser alla fraktalternativ och priser i kassan.
Fria returer
Lämna tillbaka din bok kostnadsfritt med 14 dagars ångerrätt.
299 kr
I lager, skickas inom 5 till 6 vardagar
20% rabatt med Storytel
Du handlar alltid fysiska böcker till specialpriser om du har eller startar ett abonnemang.
Frakt från 0 kr
Snabb leverans med CityMail, Early Bird, Instabox, Budbee, PostNord eller DSV. Du ser alla fraktalternativ och priser i kassan.
Fria returer
Lämna tillbaka din bok kostnadsfritt med 14 dagars ångerrätt.
20% rabatt med Storytel
Du handlar alltid fysiska böcker till specialpriser om du har eller startar ett abonnemang.
Frakt från 0 kr
Snabb leverans med CityMail, Early Bird, Instabox, Budbee, PostNord eller DSV. Du ser alla fraktalternativ och priser i kassan.
Fria returer
Lämna tillbaka din bok kostnadsfritt med 14 dagars ångerrätt.
Utforska miljontals ljud- och e-böcker och upptäck stories i alla format. Med ett abonnemang får du 20% rabatt på fysiska böcker!
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?
299 kr
I lager, skickas inom 5 till 6 vardagar
Alex Davies
Jay Ingram
Hilary Hamnett
Nicola Twilley
Thomas Commerford Martin
Dr Maggie Aderin-Pocock
John O'Donoghue
Jonathan Silvertown
Kazuhiro Fujitaki
Trisha Muro
Helena Hughes
David Z Albert
Hawksmoor Publishing
Arthur Ord-Hume
Laura Tobin
Priya Hemenway
Patrick G. Andre, Kenneth Wyatt
Elliot Williams
Water Environment Federation
Matthew Sands, Richard Feynman, Robert Leighton
Nathalie A. Cabrol
The Open Group
Michael S Russell
Sarah Easter Collins
Frida Skybäck
Liz Moore
Colleen Hoover
Kristin Fägerskjöld
Armando Lucas Correa
Sharon Bolton
Ruth Lillegraven
Santa Montefiore
Kelly Rimmer
Martha Hall Kelly
Svenja O'Donnell
Nathan Harris
Holly Jackson
Louise Boije af Gennäs
Tina Norin
Kristin Fägerskjöld
Pernilla Lindroos
Anna Lönnqvist
Jessie Burton
Malin Nordström
Marc Levy
Emma Donoghue
Snezana Lindskog, Andie Lindskog
Tony Samuelsson
Andrev Walden
Tina Harnesk
Kathrine Nedrejord
Anthony Doerr
Marieke Lucas Rijneveld
Lauren Groff
Claire Messud
Claire Lynch
Sebastian Barry
Ray Celestin
Simon Stranger
Alice Munro
Linda Boström Knausgård
Marit Kapla
Ulf Stark
Sarah Easter Collins
Liz Moore
Ursula Scavenius
Colleen Hoover
Michel Jean
