Des idées sur la compléxité et l'aléatoire suggérées à l'origine par Leibniz en 1686, combinées avec la théorie moderne de l'information, montrent qu'il ne peut exister une "théorie du tout" pour l'ensemble des mathématiques.