Re: Undecidability based on epistemological antinomies V2 --H(D,D)--

On 2024-04-26 16:21:21 +0000, olcott said:

That is like saying we cannot know that 2 + 3 = 5 because people
simply do not "believe in" numbers or arithmetic.

There really are that kind of people. They usually don't believe
that 2 + 3 = 5 because they learned it before they learned that
one can disbelieve. But people often disbelieve logical proofs
because they learned about proofs only when they already had
learned to disbelieve, and even then not very much about proofs,
just enough to disbelieve. Consequently, there are people posting
in various newgroups that they have found a solution to a problem
that is proven unsolvable.
--
Mikko