Chris, (01)
I just realized that my notation could be misleading: (02)
> Define various functions over integers, such as
>
> isaFormula(i) -> integer i is an encoding of a PM formula (03)
I should have said (04)
Define various relations over integers, such as (05)
isaFormula(i) means integer i is an encoding of PM formula (06)
John (07)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (08)
|