This is awesome! I am definitely going to read some Leibniz after this. Would you recommend his Monadology?
To say "only God can understand the future" is an unnecessary personification of our incompleteness.
I think the future of declarative functions is pretty clear.
Today foo(x) = 2x, tomorrow foo(x) = 2x. Anything we can't say is simply a dearth of information. How useful is it to say we've a dearth of "future information"?
Anyway, we give names to sets of propositions, and that's a neat trick.
To say "only God can understand the future" is an unnecessary personification of our incompleteness. I think the future of declarative functions is pretty clear. Today foo(x) = 2x, tomorrow foo(x) = 2x. Anything we can't say is simply a dearth of information. How useful is it to say we've a dearth of "future information"?
Anyway, we give names to sets of propositions, and that's a neat trick.