Re: i disagree
- From: Phil Carmody <thefatphil_demunged@xxxxxxxxxxx>
- Date: 26 Jan 2007 18:39:48 +0200
"¬a\\/b" <al@xxx> writes:
On 23 Jan 2007 23:37:57 +0200, Phil Carmody
<thefatphil_demunged@xxxxxxxxxxx> wrote:
"¬a\\/b" <al@xxx> writes:
On 22 Jan 2007 09:42:08 -0800, "randyhyde@xxxxxxxxxxxxx"
<randyhyde@xxxxxxxxxxxxx> wrote:
¬a\/b wrote:
i disagree with Randy Hyde because assembly has to dealSo you claim, but the language you've created doesn't do this.
in the first with low stuff, and there should be 1-1 assembly
instruction cpu-operation
for example "<a,b,c;" is pure assembly 1-1 cpu
its nasm traslation
" push eax
push ebx
push ecx "
is 1-1 because
Oh FFS. You evidently don't know what 1-1 means.
So what it means?
1-1 means injective.
Ax,y f(x)=f(y)->x=y /\ x=y->f(x)=f(y)
(The second part of that and being part of the definition of
a function anyway.)
If x and y assemble to the same thing, then x and y are themselves
identical. If two things can produce the same output, you don't
have a 1-1 mapping.
It's not a particularly useful thing to strive for at all.
But heck, I wasn't the one who brought it up. The only thing
I can imagine having it is having a hexdump as the source from
which you create DOS .COM files, or similar.
The concept for complete control is that of surjectivity.
Ay Ex : f(x)=y
i.e. for anything you might want as output, there exists
something, not necessarily unique, which will generate that
output.
Phil
--
"Home taping is killing big business profits. We left this side blank
so you can help." -- Dead Kennedys, written upon the B-side of tapes of
/In God We Trust, Inc./.
.
- References:
- i disagree
- From: ¬a\\/b
- Re: i disagree
- From: randyhyde@xxxxxxxxxxxxx
- Re: i disagree
- From: ¬a\\/b
- Re: i disagree
- From: Phil Carmody
- Re: i disagree
- From: ¬a\\/b
- i disagree
- Prev by Date: Re: why my internet news server not show all today message in this ng? who has made it so buggy?
- Next by Date: Re: i disagree
- Previous by thread: Re: i disagree
- Next by thread: Re: i disagree
- Index(es):
Relevant Pages
|