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 262,003 of 262,912   
   Julio Di Egidio to All   
   Re: Dark Points   
   18 Dec 25 15:59:34   
   
   From: julio@diegidio.name   
      
   On 18/12/2025 12:53, WM wrote:   
   > 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... Impeccable logic as usual. [RESTORED]   
   >   
   > If all points are existing, then these points are existing too.   
      
   No, only the points that exist do exist, and you still haven't given   
   a single valid argument for the existence of "extraordinary" points,   
   not to mention an actually correct proof.   
      
   > 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.   
      
   Sure *those* point are all existing, what does not exist still is   
   a first and a last one...   
      
   I won't keep replying if you just come back with more of that,   
   which even includes some mangling of quotes.   
      
   Julio   
      
   --- 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