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

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.