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

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


I'M NOT WELL!
On Oct 24, 2013 7:16 PM, geege4 at gmail.com wrote:

> 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