Bertrand Arthur William Russell fue un filósofo, matemático, lógico y escritor británico, ganador del Premio Nobel de Literatura. Como tercer conde de Russell, pertenecía a una de las familias aristocráticas más prominentes del Reino Unido. Era hijo del vizconde de Amberley, John Russell, y ahijado del filósofo utilitarista John Stuart Mill, cuyos escritos tuvieron una gran influencia en su vida. Contrajo matrimonio cuatro veces y tuvo tres hijos.
Los objetos de demostración y los errores de solidez en los asistentes de pruebas
Un reciente intento de refutar la conjetura de Collatz, cuya presunta refutación fue verificada en el asistente de pruebas Lean y contrastada con el comprobador independiente Nanoda, resultó ser erróneo: la demostración aprovechaba un fallo en el núcleo de Lean y Nanoda tampoco detectó el problema.
