Introducing Nullable Reference Types in C#. Is there hope for D, too?

[codephantom]

On Thursday, 23 November 2017 at 00:15:56 UTC, Ola Fosheim 
Grostad wrote:
> By what proof? And what do you mean by mathematics?

A mathematical claim, that cannot be proven or disproven, is 
neither true or false.

What you are left with, is just a possibility.

Thus, it will always remain an open question as to whether the 
conjecture is true, or not.