News for hackers. Stuff that matters.

A comment on I am often asked if I will “return to cryptocurrency”. Parent comment

Re:I am often asked if I will “return to cryptocurrency” by randomswede on Sunday July 18, 2021 @01:14PM (#27874613)
If facts are time-constrained, then a statement that was at one point factual may stop being factual. I would still consider that to be an existence proof that "facts change".

You may want to put some temporal logic spin on it, if that makes you happier (technically, it makes me happier, but I am content with saying "facts can change"), but the question I was trying to answer was "do facts change". I think I demonstrated that what once was factual may stop being factual.

[ Parent | on HN ]
Re:I am often asked if I will “return to cryptocurrency” by ric2b on Monday July 19, 2021 @08:26AM (#27881845)
Not really. "As of 1981, there is a country in Europe named Yugoslavia" is a fact that never stops being factual.

At least this is the view that many functional programmers like to use and I find it useful.

In that model, a statement that can vary in time isn't a fact.

[ Parent | on HN ]
Re:I am often asked if I will “return to cryptocurrency” by randomswede on Tuesday July 20, 2021 @02:14AM (#27890598)
That is a statement that requires you to reason within a temporal logic. And it is a statement that is not equivalent to "There is a country in Europe named Yugoslavia".
[ Parent | on HN ]