No applied logic is useful, but you need computers because the proof is big. https://en.wikipedia.org/wiki/Automath gets started just around the time he dies, so Russel still made the right call, but lets not sacrifice a good idea "cause Gödel" for all eternity to prop him back up.