数学における《計算可能性》の厳密化、抽象化、そして発展