Jean-Louis Krivine, Professor Emeritus at IRIF, has published a book entitled ‘Les décompilateurs - L'Univers en tête’. In it you will find, among other things, a reflection on the origin of mathematics and the link between logic and theoretical computing, as well as some paradoxes in quantum mechanics.