|
|
yuyang08@xxxxxxxxx wrote:
> Hello, everyone,
>
> May be this is another silly question. Please don't laugh. I am
> really an igorant in logic. I found some documents that describe
> high-order logic with type systems. Is it nesscessary for us to
> desribe higher-order logic with types? How shall we describe
> them without types?
>
> Thanks a lot!
>
> -Andrew
I was intriguing with that introduction, higher-order, but if you look
in logic way, is the growing way not a higher-order?, or school, are
not steps in a specific order?.
>From school to master degree or higher is not a H-O.
I don't know what documents you hold, but logic.... is just become
sense.
May be this answer don't make sense to you, but you have call my
attention.
|
|