![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Dec. 25th, 2012
Михаил Идов
Dec. 25th, 2012 02:36 pmКак человек, подсевший на "Кофемолке" (о какое глубокое произведение, о!), и услыхавший, что Идов присутствует тут в жж, умоляю, сами мы не местные, подскажите его жж!
funny math
Dec. 25th, 2012 05:56 pm"No explicit example of a nonprincipal ultrafilter can be given, since their existence implies a weak form of the axiom of choice."
Since actually it is known that codensity monad is actually the ultrafilter monad, and codensity monad is somehow related to continuation monad (or is it the same? probably not), we are supposed to use the weak AC in our Haskell code to prove properties of object which by their nature cannot be demonstrated.
OMFG.
Since actually it is known that codensity monad is actually the ultrafilter monad, and codensity monad is somehow related to continuation monad (or is it the same? probably not), we are supposed to use the weak AC in our Haskell code to prove properties of object which by their nature cannot be demonstrated.
OMFG.
funny math
Dec. 25th, 2012 05:56 pm"No explicit example of a nonprincipal ultrafilter can be given, since their existence implies a weak form of the axiom of choice."
Since actually it is known that codensity monad is actually the ultrafilter monad, and codensity monad is somehow related to continuation monad (or is it the same? probably not), we are supposed to use the weak AC in our Haskell code to prove properties of object which by their nature cannot be demonstrated.
OMFG.
Since actually it is known that codensity monad is actually the ultrafilter monad, and codensity monad is somehow related to continuation monad (or is it the same? probably not), we are supposed to use the weak AC in our Haskell code to prove properties of object which by their nature cannot be demonstrated.
OMFG.