Post #2920361

But since these questions are 'embarrassing' in the current mathematical culture, they have not explored these questions publicly. So, all of this is to say that the 'crisis' mathematics faces in the future HEAVILY depends on whether or not it is actually the case that the human mind is a computer or not. If it isn't then there is a very simple solution that will almost certainly begin to happen naturally in the long term: we will simply stop relying on computationalism to do mathematics. We will begin emphasizing the aspects of our minds that are not computational. And we do not have much to worry about in the long term. However, we may still have much to worry about in the short term. To mitigate the short term damage, what we would then need to ask (and prove, somehow, either through mathematical logic, or through neuroscience/biology) is what parts of our minds might not be computational? To this end, I think the easiest place to look is the alignment problem. This problem is provably not computationally solvable, so, theoretically, even if our minds are computers, we still have a place to look here. As a result of this, I think this is our best bet in the short term. I think the following are not replicable by a computer because of the alignment problem: 1 Question generation 2 Definitions 3 Philosophical curiosity (4/n)