It is not the case that Kreisel's squeezing argument shows that provability in formal systems and truth in intended models can come apart, so model existence from consistency does not vindicate the claim about actual computational totality.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.