Beauty And Mathematics | Professor Alexander Pruss
The Thomistic Institute
00:00
The Relationship Between Mathematical Truth and Theology
I'm inclined to think that all the sigma zero one sentences have truth value, because those are sentences that are basically about what is provable for more. But I don't know how much mathematics there is. It might be that not everything that is formulable in the language of arithmetic has a truth value. That wouldn't surprise me. There's an objective truth value about first order logic formula validity, basically, that much minimally. And that is enough, I think, to not have logicism. If anyone has any questions,. Go ahead and ask. Thank you.
Transcript
Play full episode
