Second Thoughts about Church's Thesis and Mathematical Proofs