Discovering Dennis Ritchie's Lost Dissertation (2020)
5 points by theanonymousone
by pmdulaney
1 subcomments
The author (David C. Brock) uses and defines the word "decidable". There exist, it has been proven, mathematical statements whose truth or falsity cannot be determined. That is, they are non-decidable.
What a useful notion to bear in mind, beyond the scope of mathematics! I think the next time I find myself in a dispute over a fine point of politics I shall say: "Perhaps we can agree that the matter is non-decidable".