Thierry Crouzet

@Ba_Reda

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…