what do you think of this ternary Kleene logic?

https://github.com/paulp/psp-view/blob/master/core/src/main/scala/ThreeValue.scala

иллюстрация

turing complete halting test

"А может ли товарищ Левенчук (?) вообразить программу, которая застрелится со словами " я не поэт, а говно"?