Thierry Crouzet

Je lis comme toi le dernier Chaitin: il dit qu’il a fait du travail alimentaire a IBM pour faire en hobby sa metamath fondamentale @crouzet Source…