home bbs files messages ]

Forums before death by AOL, social media and spammers... "We can't have nice things"

   sci.logic      Logic -- math, philosophy & computationa      262,912 messages   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]

   Message 261,996 of 262,912   
   WM to All   
   Re: Dark Points   
   18 Dec 25 12:53:40   
   
   From: wolfgang.mueckenheim@tha.de   
      
   Am 18.12.2025 um 10:04 schrieb Julio Di Egidio:   
   > On 17/12/2025 19:22, wm wrote:   
   >   
   >> Dark points are existing but cannot be identified by their co-   
   >> ordinates. The existence of such points is clearly proven by the first   
   >> and and the last point of an open interval.   
   >   
   >   
   > The *existence* is "clearly proven" by the *non-existence* of the first   
   > and last point of an open interval...   
      
   If all points are existing, then these points are existing too.   
   For every point x < 1 you can find a point between x and 1. These points   
   are all existing in actual infinity. They are not generated by the   
   attempt to find them.   
      
      
   Regards, WM   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]


(c) 1994,  bbs@darkrealms.ca