/sci/ - Science & Math

>>15213550
>>15213559
I've got some bad news for you guys. Jech never defines "proof". Jech is proof that everything that I've been saying about Gödel is correct. And moreover, I have a hypothesis: German math practice is to assume a higher order logic context where certain rigid and non-evolving relationships hold between language and truth. English isn't like this. In English, we have the benefit of the pragmatic philosophy of William James, Charles Pierce, John Dewey and others.
https://en.wikipedia.org/wiki/Pragmatism
In English, we benefit from a theory of truth that is flexible. Drawing political parallels is too easy; I'll refrain from doing it here. The link between the intellectual and the biological is clear: this theory of truth depends on Darwin's discoveries. With no biological theory of evolution, there can be no intellectual theory of evolving truth.