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

geege schuman geege4 at gmail.com
Fri Oct 25 06:47:45 PDT 2013


This could be a "bug" in my neurofibrilary ganglia or its particular
implementation in wetware.

tl;dr  I retract my last email.




On Thu, Oct 24, 2013 at 7:40 PM, Joseph S. Barrera III <joe at barrera.org>wrote:

> 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/**<http://www.gamervescent.com/**wp-content/uploads/2012/11/**>
>>>> CreepersGonnaCreep.png<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>
>>>> <http://xent.com/**mailman/listinfo/fork<http://xent.com/mailman/listinfo/fork>
>>>> >
>>>>
>>>>
>>>  ______________________________**_________________
>> FoRK mailing list
>> http://xent.com/mailman/**listinfo/fork<http://xent.com/mailman/listinfo/fork>
>>
>>
> ______________________________**_________________
> FoRK mailing list
> http://xent.com/mailman/**listinfo/fork<http://xent.com/mailman/listinfo/fork>
>


More information about the FoRK mailing list