Hacker News
new
past
comments
ask
show
jobs
points
by
thaumasiotes
14 hours ago
|
comments
by
rramadass
14 hours ago
|
[-]
True. But even in Mathematical Logic, a Term is a syntactical construct. You need to apply a "interpretation function" (mapping to a specific domain) to get a Value.
In Computation this is just made explicit and clear using a "eval function".
reply