Computation, Proof, Machine

Datorberäkning, bevis, maskin. Datorberäkning revolutionerar vår värld, även den inre världen hos den "rena" matematikern. Matematiska metoder - särskilt idén om bevis - som har sina rötter i antiken har genomgått en radikal transformation sedan 1970-talet när successiva framsteg har utmanat prioriteringen av resonemanget över datorberäkningen. Liksom många revolutioner kommer denna inifrån. Datorberäkning, beräkning, algoritmer - alla har spelat en viktig roll för matematiskt framsteg från början - men deras bidrag var förr dolda i den bestående matematiska litteraturen. För att förstå framtiden för matematiken återvänder denna fascinerande bok till dess historia och spårar den gömda historien som följer tråden av beräkningar. På vägen bjuds vi också in att ompröva dialogen mellan matematik och naturvetenskaperna samt relationen mellan matematik och datavetenskap. Den kastar även nytt ljus över filosofiska begrepp som analytiskt och syntetiskt omdöme. Slutligen tar det oss till gränserna för den nya tidsåldern där maskininlärning erbjuder nya sätt att lösa tidigare otillgängliga matematiska problem.

Denna bok är vinnaren av Grand Prix de Philosophie de l'Académie Française 2007.