On 11 Jun., 12:19, Aatu Koskensilta <aatu.koskensi...@uta.fi> wrote: > WM <mueck...@rz.fh-augsburg.de> writes: > > Briefly: The set of all natural numbers that exists has always a last > > element, but potentially infinite sets are not static. They can grow > > (and they can shrink). > > Do you have an opinion on the (intuitionistic) theory of choice > sequences? Admittedly they do not shrink but perhaps otherwise they're > to your liking.
Most (of the few) mathematicians who share my standpoint do not talk about vanishing information. But consider any lawless choice sequence that has been fixed to a certain n (by writing it in a memory). If this memory is destroyed, the due information has disappeared.