[FoRK] Well... was Re: Uh oh. Retraction.

geege schuman geege4 at gmail.com
Thu Oct 24 16:16:30 PDT 2013


Fuckers gonna ...
On Oct 24, 2013 4:46 PM, "Gregory Alan Bolcer" <greg at bolcer.org> wrote:

> http://www.gamervescent.com/**wp-content/uploads/2012/11/**
> CreepersGonnaCreep.png<http://www.gamervescent.com/wp-content/uploads/2012/11/CreepersGonnaCreep.png>
>
> Gawd, I have to update my email filters.
>
> On 10/24/2013 8:30 AM, Jeff Bone wrote:
>
>>
>> This could be a "bug" in Hindley-Milner itself or its particular
>> implementation in Haskell.  Depending on which formulations of set theory
>> and term unification are used, the Axiom of Choice may indeed be axiomatic
>> or derived.  Martin-Löf type theory does not entail that AoC --> LEM, but
>> depending on details, this could have crept in...
>>
>> Tl;dr:  retraction tentative, more investigation needed but I'm not going
>> to do it now,  too busy fiddling with delimited continuations. ;-)
>>
>> Chilly here in Stockholm but was warmer here at 20:00 last night than NY
>> or Seattle at the same time.
>>
>> :-)
>>
>> j
>>
>>
>>
> --
> greg at bolcer.org, http://bolcer.org, c: +1.714.928.5476
> ______________________________**_________________
> FoRK mailing list
> http://xent.com/mailman/**listinfo/fork<http://xent.com/mailman/listinfo/fork>
>


More information about the FoRK mailing list