Comment

Comment by frotaur

The answer is no. There are statements for which knowing if they are decidable is undecidable.
parent frotaur 1 year ago

Discussion

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton