SUO: Re: Enhancing Data Interoperability with Ontologies...
> The concept of a transformation definition may
> be more general than that of logic here. I think
> there may be some exceptions that some transformation
> definition can not be expressed with some kind logic.
That might be possible, but any transformation that
can be implemented on any digital computer can be
defined in first-order logic. For practical purposes,
we can ignore transformations that cannot be implementd
on our current computers.
Perhaps someday somebody might actually get a quantum
computer or a biological computer to do something
that cannot be specified in FOL. But so far, they
are addressing a different problem: speed up certain
kinds of operations that are done slowly on
a digital computer.