3 ms·Gilles Dowek: at the crossroads of computer science, logic and philosophy2 points by homarp 1y ago