De nombreuses preuves mathématiques modernes sont une combinaison d'arguments conceptuels et de calculs techniques. Il y a une sorte de compromis entre les deux : on peut ajouter plus d'arguments conceptuels pour essayer de réduire les calculs techniques, ou inversement. (Parmi autres choses, cela conduit à un phénomène de paradoxe de Berkson semblable dans lequel une corrélation négative peut être […]