Prev: encrypted javamail MimeMultipart
Next: Urgent DIRECT CLIENT Openings: 1.Websphere Portal - Developer, 2.ITIM-TAM Analyst, 3. IT Project Coordinator / Project Analyst
From: Mike Schilling on 14 Jun 2010 22:30 "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 15 Jun 2010 02:52 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 15 Jun 2010 07:43 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 15 Jun 2010 08:30 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 15 Jun 2010 08:40
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? |