It seems a bit like the question behind the question might be “I’d like to help, but I don’t know formal logic, when will that stop being a barrier”. In which case it’s worth saying that I’m attending a MIRI decision theory workshop at the moment, and I don’t really know formal logic, but it isn’t proving too much of a barrier; I can think about the assertion “Suppose PA proves that A implies B” without really understanding exactly what PA is.
It seems a bit like the question behind the question might be “I’d like to help, but I don’t know formal logic, when will that stop being a barrier”. In which case it’s worth saying that I’m attending a MIRI decision theory workshop at the moment, and I don’t really know formal logic, but it isn’t proving too much of a barrier; I can think about the assertion “Suppose PA proves that A implies B” without really understanding exactly what PA is.