tcrouzet.com
@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…