Gentzen oder: Betrunken aufräumen

Un roman palpitant qui couvre un siècle et propulse le lecteur dans le futur.

Le logicien allemand Gerhard Gentzen faisait partie des plus brillants de son domaine. Mais qui se souvient de lui ? Dietmar Dath se lance dans cette quête étonnante et captivante avec Laura et Jan à la recherche de quelqu'un dont ils ne se souviennent plus. Le lecteur pénètre dans un espace de réflexion où non seulement Gerhard Gentzen apparaît, mais aussi d'autres figures : Dietmar, qui écrit depuis dix ans un roman sur un logicien célèbre, mais aussi Frank Schirrmacher, qui se casse la tête sur Internet, Jeff Bezos, Ruth Garrett Millikan, une tante décalée et une créature mystérieuse qui mettra considérablement en danger la vie sur Terre. Tout le personnel de ce grand roman se met au service de la recherche des fondements de notre vie actuelle : les capacités de calcul apparemment infinies des ordinateurs. Elles permettent de réserver des vols, de distribuer des vaccins ou des aides, de contrôler les arsenaux d'armes nucléaires ou de représenter de manière détaillée une vie à travers des likes et des commentaires sur les réseaux sociaux, qui n'existeraient pas si les programmes ne pouvaient pas vérifier le fonctionnement des programmes. Que cela soit possible est également lié à Gerhard Gentzen. Avec habileté et rythme, humoristique et toujours surprenant, ces nombreux fils narratifs écrivent eux-mêmes un programme - If Then GoTo - qui nous permet de vivre les opportunités et les possibilités de la technologie de calcul actuelle et de produire des résultats inattendus : de la science-fiction, tout simplement.