Re: Honoring Raymond Smullyan

Hi,
You want definitions, here you got definitions.
In your case the Tool that makes you a Fool
is simply Coq. You don't know what you are doing!
Idiot = Julio the new Fool with Tool
Although I admit its interesting to see
that outside simply typed self application
exists. Even in System F.
But in System F it can make for example
∀F.F inhabitated. So it becomes logically
useless because anything can be proved.
Maybe you should use more your Brain and less Coq?
But I understand its your new medium. But please
do not forget that a simpler medium like
Prolog can also give you some insight.
Bye
Julio Di Egidio schrieb:

On 08/01/2025 19:21, Mild Shock wrote:

Julio wrote:
>
 > Why do you care so much about simply-typed?
>
What makes you think I care about simply-typed?
It was part of the MSE question you moron:

 

Can't you stay on topic?

 Define topic.
 -Julio