2 ms·
>However, that doesn't make Null a logical thing, but just the representation of this choice for a computer. In that sense, "True" as encoded in programming la
by mjburgess 9y ago
>However, that doesn't make Null a logical thing, but just the representation of this choice for a computer.
In that sense, "True" as encoded in programming languages isn't a "logical thing" either.
Programming languages are their own domain of syntax/semantics, which can encode other domains (eg. mathematics).
The type, Trivalent = { True, False, Null } is a perfectly reasonable encoding of a system of logic.
- Y_Y 9y agoenum Bool { True, False, FileNotFound };