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

Joseph S. Barrera III joe at barrera.org
Thu Oct 24 16:40:50 PDT 2013


It's OK, we know.

On 10/24/2013 04:17 PM, geege schuman wrote:
> 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>
>>>
>>
> _______________________________________________
> FoRK mailing list
> http://xent.com/mailman/listinfo/fork
>



More information about the FoRK mailing list