As I said, a sort of topological intuition arise from the modes p & p (p sigma_1), and quantum topologies appears there too, but also in p & <>t & p ( = Gödel’s bewesibar, <> = ~~). Bruno > > > > [code from paper] > type Cantor = N -> Bit > foreveryC :: (Cantor -> Bool) -> Bool > equalC :: (Cantor -> N) -> (Cantor -> N) -> Bool > equalC f g = foreveryC(\a -> f a == g a) > > f,g,h :: Cantor -> N > f a = a(10*a(3ˆ80)+100*a(4ˆ80)+1000*a(5ˆ80)) > g a = a(10*a(3ˆ80)+100*a(4ˆ80)+1000*a(6ˆ80)) > h a = if a(4ˆ80) == 0 then a j else a(100+j) > where i = if a(5ˆ80) == 0 then 0 else 1000 > j = if a(3ˆ80) == 1 then 10+i else i > > > The queries “equalC f g” and “equalC f h” answer > False and True respectively, in less than 3s > > > > > - pt > > -- > You received this message because you are subscribed to the Google Groups > "Everything List" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to everything-list+unsubscr...@googlegroups.com > <mailto:everything-list+unsubscr...@googlegroups.com>. > To post to this group, send email to email@example.com > <mailto:firstname.lastname@example.org>. > Visit this group at https://groups.google.com/group/everything-list > <https://groups.google.com/group/everything-list>. > For more options, visit https://groups.google.com/d/optout > <https://groups.google.com/d/optout>. -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to everything-list+unsubscr...@googlegroups.com. To post to this group, send email to email@example.com. Visit this group at https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.