But your brain is, presumably, doing finitely many cognitive steps, so it seems that a proof you can understand can also be expressed finitely?
Of course, this is not an argument that our brains are absolutely finite and classical. Perhaps analog computations is required for an appreciation of beauty, or quantum physics is necessary for us to fall in love. But we seem to be able to check math proofs without them.