自我探索:数学家戴德金