From: Mike Schilling on


"Lew" <noone(a)lewscanon.com> wrote in message
news:hv6hgc$i5v$1(a)news.albasani.net...
> On 06/14/2010 11:21 AM,
>> "Lew" <noone(a)lewscanon.com> wrote in message
>> news:hv41j1$i8s$1(a)news.albasani.net...
>>> If you guys are going to argue, at least pick theses that contradict
>>> each other. For example, pick different numbers for how many angels
>>> can dance on the head of a pin.
>
> Mike Schilling wrote:
>> Angles have the attribute of position but not the attribute of
>> extension, so the answer is "all of them".
>
> That was a typo, right? You intended "angels" for "angles", I'm assuming.

It was the worst kind of typo, one introduced by a spellchecker.

>
> My point was that the discussion of what constitutes a "reasonable"
> program in this thread had devolved to the level at which theologians of a
> few centuries ago stood when they debated how many angels could dance on
> the head of a pin.

I think it's the wrong word entirely. "Normal" would do fine.


From: ilan on
Lew <noone(a)lewscanon.com> writes:

> Lew writes:
>>> When I took mathematical logic at university way back when, they
>>> taught me two aspects of logical system - the formal, mechanical part
>>> to which you refer, and the interpretation. The interpretation is a
>>> very important part of the use of the system, and likewise therefore
>>> with software.
>>>
>>> There is meaning, and it's the meaning we apply when we translate the
>>> formal symbols back to the world of human experience.
>
> ilan wrote:
>> Yes.. except a computer language has very specific unambiguous
>> effects. Its not like speaking English or Klingon - its like casting a
>> spell that invokes a genie in the machine.
>
> "Except"? Are you implying that formal logic has non-specific or
> ambiguous effects?

No.

But it seems that maybe I don't have a clear understanding of what you
mean by the "interpretation" of the "formal" part.

What do you mean?

--
ilAn
From: Tom Anderson on
On Mon, 14 Jun 2010, Joshua Cranmer wrote:

> On 06/14/2010 07:40 AM, Tom Anderson wrote:
>> On Sun, 13 Jun 2010, Joshua Cranmer wrote:
>>
>>> On 06/13/2010 04:58 PM, Tom Anderson wrote:
>>>> On Sat, 12 Jun 2010, Joshua Cranmer wrote:
>>>>
>>>>> 6. Most other errors: miscoded server providers. I'm not entirely sure
>>>>> why these are errors, but I'm guessing its to force them to be
>>>>> propagated to the top-level so that people can fix them.
>>>>
>>>> Sorry, i have no idea what errors you're talking about here. What do you
>>>> mean by 'server'? Could you give a couple of examples?
>>>
>>> Typo. It's supposed to be "service" providers.
>>
>> Okay, cool. I still don't get it, though - what errors are thrown by
>> misconfigured service providers? Do you mean things like LinkageError
>> and so on thrown when some service provider jar doesn't match up with
>> the rest of the environment?
>
> java.xml.parsers.FactoryConfigurationError:
> Thrown when a problem with configuration with the Parser Factories exists.
> This error will typically be thrown when the class of a parser factory
> specified in the system properties cannot be found or instantiated.

Okay, got it, thanks.

I had no idea those were actually Errors. That seems completely mad.

tom

--
It is a laborious madness, and an impoverishing one, the madness of
composing vast books. -- Jorge Luis Borges
From: Lew on
ilan wrote:
>>> Yes.. except a computer language has very specific unambiguous
>>> effects. Its not like speaking English or Klingon - its like casting a
>>> spell that invokes a genie in the machine.

Lew writes:
>> "Except"? Are you implying that formal logic has non-specific or
>> ambiguous effects?

ilan wrote:
> No.
>
> But it seems that maybe I don't have a clear understanding of what you
> mean by the "interpretation" of the "formal" part.
>
> What do you mean?

Pretty much the same thing we mean when we interpret the results of a computer
program in terms of the human world.

--
Lew
From: ilan on
Lew <noone(a)lewscanon.com> writes:

> ilan wrote:
>>>> Yes.. except a computer language has very specific unambiguous
>>>> effects. Its not like speaking English or Klingon - its like casting a
>>>> spell that invokes a genie in the machine.
>
> Lew writes:
>>> "Except"? Are you implying that formal logic has non-specific or
>>> ambiguous effects?
>
> ilan wrote:
>> No.
>>
>> But it seems that maybe I don't have a clear understanding of what you
>> mean by the "interpretation" of the "formal" part.
>>
>> What do you mean?
>
> Pretty much the same thing we mean when we interpret the results of a
> computer program in terms of the human world.

Is this interpretation "in terms of the real world" specified by formal
logic? Because I was refering to this interpretation - and I had no idea
you had intended this interpretation was formally defined. I am still
not sure you meant that. Did you?