3 ms·
>In some symbolic logic classes, that character "bottom" represents "false" That's unfortunate, because in the study of computer programming languages, it mean
by hollerith 2y ago
>In some symbolic logic classes, that character "bottom" represents "false"
That's unfortunate, because in the study of computer programming languages, it means "undefined" (raise an error).
- tsss 2y agoNot always. It is also the uninhabited bottom type.
- hollerith 2y agoMy point is that there is a difference between a Python function's returning false and the function's raising an error, and sometimes the difference really matters, so it would be regrettable if logic teachers actually did use ⊥ to mean false because programming-language theorists use it to mean something whose only reasonable translation in the domain of practical programming is to raise an error. I have no idea what your point is.
- deleted 2y ago[deleted]