[Haskell-cafe] Functional progr., infinity, and the Universe

[jerzy.karczmarczuk at info.unicaen.fr]

Brian Hulley wrote: 


> Couldn't an infinite list just be regarded as the maximum element of the 
> (infinite) set of all finite lists?
 

Brian, I will say something you might find acrimonious and impolite, but
it is serious, you might find this in some philosophical works. 

If you are right, then YOU JUST PROVED THE EXISTENCE OF GOD. 

========================================= 

More seriously...
Perhaps you (and possibly Piotr Kalinowski) would look up some materials
on intuitionism in mathematics, on the constructive theory of sets, etc. 

 


Jerzy Karczmarczuk