Re: A simple paradox in Godels incompleteness theorem that invalidat

Herman Jurjus wrote:
But is an intuitionist interested in the kinds of formalisms to which
G's theorem applies?

Yes -- the incompleteness theorems apply to Heyting arithmetic,
intuitionistic analysis and so on.

--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)

"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus

.

Quantcast