Ergebnis für "Google" in Mathematik
-
-
The Proof in the Code
- How a Truth Machine Is Transforming Math and AI
- Von: Kevin Hartnett
- Spieldauer: 8 Std. und 24 Min.
- Ungekürztes
-
Gesamt0
-
Sprecher0
-
Geschichte0
The inside story of Lean, a computer program that answers the age-old question: How do you know if something is true? 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...
-
The Proof in the Code
- How a Truth Machine Is Transforming Math and AI
- Spieldauer: 8 Std. und 24 Min.
- Erscheinungsdatum: 09.06.2026
- Sprache: Englisch
Artikel konnten nicht hinzugefügt werden
Leider können wir den Artikel nicht hinzufügen, da Ihr Warenkorb bereits seine Kapazität erreicht hat.Der Titel konnte nicht zum Warenkorb hinzugefügt werden.
Bitte versuchen Sie es später noch einmalDer Titel konnte nicht zum Merkzettel hinzugefügt werden.
Bitte versuchen Sie es später noch einmal„Von Wunschzettel entfernen“ fehlgeschlagen.
Bitte versuchen Sie es später noch einmal„Podcast folgen“ fehlgeschlagen
„Podcast nicht mehr folgen“ fehlgeschlagen
19,95 € oder kostenlos mit einem Probeabo. Verlängert sich automatisch für 9,95 €/Monat nach Ablauf des Probeabos. Bedingungen gelten.
-