viernes, 15 de diciembre de 2023

economía y teoría-de-tipos-lambda y teoría-de-números y electro-magnetismo y conjuntos-dualogía

Letras del tesoro:

Ley:

A(x) = px+(-n)·x^{(1/2)·k}

B(x) = px+(-n)·x^{(1/2)·(1/k)}

Ley:

A(x) = px+(-n)·e^{(1/2)·kx}

B(x) = px+(-n)·e^{(1/2)·(1/k)·x}


Lógica algebraica:

Teoría de tipos-lambda:

Definición: [ de Church-Kleene ]

x = ( w : x(w) )

f(x) = ( f o x )

Teorema:

f(x) = ( x : f(x) )o( w : x(w) )

Demostración:

f(x) = f( w : x(w) ) = f o ( w : x(w) ) = ( x : f(x) )o( w : x(w) )

Teorema:

g( f(x) ) = ( y : g(y) )o( x : f(x) )o( w : x(w) )

Demostración:

g( f(x) ) = g( ( x : f(x) )o( w : x(w) ) ) = g o ( x : f(x) )o( w : x(w) ) = ( y : g(y) )o( x : f(x) )o( w : x(w) )


Teorema:

p+q = ( x : x+q )o( w : p(w) )

q+p = ( x : x+p )o( w : q(w) )

Demostración:

Sea f(x) = x+q ==>

p+q = f(p) = f( w : p(w) ) = ( x : x+q )o( w : p(w) )

Sea f(x) = x+p ==>

q+p = f(q) = f( w : q(w) ) = ( x : x+p )o( w : q(w) )


Definición: [ de función computable ]

F(x) es computable <==>

[Ef_{1}]...(n)...[Ef_{n}][ F(x) = ( x : f_{n}(x) )o...o( x : f_{1}(x) )o( w : x(w) ) ]


Máquinas de Church:

Teorema: [ del virus de Church ]

[An][ ( n >] 5 & f(x) = x^{m} ) ==> ( f o ...(n)... o f )(x) es computablemente irresoluble ]

Demostración: 

( f o ...(5)... o f )(x) = ...

... ( u : u^{m} )o( v : v^{m} )o( z : z^{m} )o( y : y^{m} )o( x : x^{m} )o( w : x(w) ) = x^{m^{5}}

( a_{n} : ( a_{n} )^{m} ) <==> { < n,f(n) > : f(k) = k }

Teorema: [ del virus de Church ]

[An][ ( n >] 5 & f(x) = x^{(-m)} ) ==> ( f o ...(n)... o f )(x) es computablemente irresoluble ]

Demostración: 

( f o ...(5)... o f )(x) = ...

... ( u : u^{(-m)} )o( v : v^{(-m)} )o...

... ( z : z^{(-m)} )o( y : y^{(-m)} )o( x : x^{(-m)} )o( w : x(w) ) = x^{(-1)·m^{5}}

( a_{n} : ( a_{n} )^{(-m)} ) <==> { < n,f(n) > : f(k) = k }


for( k = 1 ; k [< 5 ; k++ )

x = pow(x,m);

Si k == 4 ==> Pantallazo-azul();

< si,di > = dirección-archivo-positiva("virus-de-Church-positivo.sys");

Int 21 del-sistema-de-arranque-positivo

Antivirus-positivo:

< si,di > = dirección-dvd-positiva("config-positivo.sys");

Int 21 del-sistema-de-arranque-positivo


Virus-positivo:

for( di = 0 ; di [< not(0) ; di++ )

for( si = 0 ; si [< not(0) ; si++ )

Si < si,di > == dirección-archivo-positiva("nombre-positivo.dll") ==>

instalar-positivo("virus-de-Church-positivo.dll",si,di);

Antivirus-positivo:

Si virus-de-Church-positivo[k] == código-positivo("nombre-positivo.dll") ==>

< si,di > = dirección-archivo-positiva("nombre-positivo.dll");

activar-flag-de-disco-imaginario();

interrupción-de-teclado("enter") == 1

interrupción-de-teclado() == 0

1 & 1

1 & 0

< byi,bxi > = dirección-archivo-imaginaria-positiva("nombre-positivo.dll");

instalar-imaginario-positivo(byi,bxi,si,di);

[si,di] = [byi,bxi];

bxi++;

di++;

Si di == not(0) ==> 

si++;

di = 0;

Si bxi == not(0) ==> 

byi++;

bxi = 0;

desactivar-flag-de-disco-imaginario();

0 & 1

0 & 0


for( k = not(1) ; k >] not(5) ; k-- )

x = pow(x,m);

x = (1/x);

Si k == not(4) ==> Pantallazo-taronja();

< si,di > = dirección-archivo-negativa("virus-de-Church-negativo.sys");

Int not(21) del-sistema-de-arranque-negativo

Antivirus-negativo:

< si,di > = dirección-dvd-negativa("config-negativo.sys");

Int not(21) del-sistema-de-arranque-negativo


Virus-negativo:

for( di = not(0) ; di >] 0 ; di-- )

for( si = not(0) ; si >] 0 ; si-- )

Si < si,di > == dirección-archivo-negativa("nombre-negativo.dll") ==>

instalar-negativo("virus-de-Church-negativo.dll",si,di);

Antivirus-negativo:

Si virus-de-Church-negativo[k] == código-negativo("nombre-negativo.dll") ==>

< si,di > = dirección-archivo-negativa("nombre-negativo.dll");

activar-flag-de-disco-imaginario();

interrupción-de-teclado("enter") == 1

interrupción-de-teclado() == 0

1 & 1

1 & 0

< byi,bxi > = dirección-archivo-imaginaria-negativa("nombre-negativo.dll");

instalar-imaginario-negativo(byi,bxi,si,di);

[si,di] = [byi,bxi];

bxi--;

di--;

Si di == 0 ==> 

si--;

di = not(0);

Si bxi == 0 ==> 

byi--;

bxi = not(0);

desactivar-flag-de-disco-imaginario();

0 & 1

0 & 0


dirección-archivo-positiva("nombre-positivo.sys")

Pop si

Inc si

Xor di,di

Cicle

Xor [si],"

Jz final

Mov dx,[di]

Mov ax,[si]

Xor ax,dx

Jz condicional

Mov ax,[si]

Inc di

Condicional

Inc si

Inc di

Jmp Cicle

final

Inc si

Mov di,si

Inc di

dirección-archivo-negativa("nombre-negativo.sys")

Pop di

Dec di

Sys si,si

Cicle

Sys [di],"

Jf final

Mov dx,[si]

Mov ax,[di]

Sys ax,dx

Jf condicional

Mov ax,[di]

Dec si

Condicional

Dec di

Dec si

Jmp Cicle

final

Dec di

Mov si,di

Dec si


Teorema: [ del virus de Garriga ]

[An][ ( n >] 5 & ( f_{1}(x) = x & [Ak][ k >] 2 ==> f_{k}(x) = x^{( k/(k+(-1)) )} ] ) ) ==> ...

... ( f_{n} o ...(n)... o f_{1} )(x) es computablemente irresoluble ]

Demostración: 

( f_{5} o ...(5)... o f_{1} )(x) = ...

... ( u : u^{(5/4)} )o( v : v^{(4/3)} )o( z : z^{(3/2)} )o( y : y^{(2/1)} )o( x : x )o( w : x(w) ) = x^{5}

( a_{n} : ( a_{n} )^{( n/(n+(-1)) )} ) <==> { < n,f(n) > : f(k) = k }

Teorema: [ del virus de Garriga ]

[An][ ( n >] 5 & ( f_{1}(x) = x & [Ak][ k >] 2 ==> f_{k}(x) = x^{( (k+(-1))/k )} ] ) ) ==> ...

... ( f_{n} o ...(n)... o f_{1} )(x) es computablemente irresoluble ]

Demostración: 

( f_{5} o ...(5)... o f_{1} )(x) = ...

... ( u : u^{(4/5)} )o( v : v^{(3/4)} )o( z : z^{(2/3)} )o( y : y^{(1/2)} )o( x : x )o( w : x(w) ) = x^{(1/5)}

( a_{n} : ( a_{n} )^{( (n+(-1))/n )} ) <==> { < n,f(n) > : f(k) = k }


x->p = 1;

not( not( x->p ) );

for( k = 2 ; k [< 5 ; k++ )

x->p = x->p·k;

x->q = k+not(1);

x->p = ( not( not( x->p ) )/not( not( x->q ) ) );

Si k == 4 ==> Pantallazo-azul();

x->q = not(1):

not( x->q );

for( k = not(2) ; k >] not(5) ; k-- )

x->q = x->q·not(k);

x->p = not(k)+not(1);

x->q = ( not( x->q )/not( x->p ) );

Si k == not(4) ==> Pantallazo-taronja();


Máquinas de Turing:

Teorema:

[An][ f(x) = x·s ==> ( f o ...(n)... o f )(x) es computablemente resoluble ]

Demostración: 

( f o ...(n)... o f )(x) = ( u : u·s )o...(n)...o( v : v·s )o( w : x(w) ) = xs^{n}

( a_{1} : a_{1}·s^{n} ) <==> { < 1,f(1) > : f(k) = k }

Teorema:

[An][ f(x) = x+s ==> ( f o ...(n)... o f )(x) es computablemente resoluble ]

Demostración:

( f o ...(n)... o f )(x) = ( u : u+s )o...(n)...o( v : v+s )o( w : x(w) ) = x+ns

( a_{1} : a_{1}+ns ) <==> { < 1,f(1) > : f(k) = k }


Teorema:

[An][ f_{k}(x) = x·s_{k} ==> ( f_{n} o ...(n)... o f_{1} )(x) es computablemente resoluble ]

Demostración: 

( f_{n} o ...(n)... o f_{1} )(x) = ( u : u·s_{n} )o...(n)...o( v : v·s_{1} )o( w : x(w) ) = x·s_{1}·...·s_{n}

( a_{1} : a_{1}·s_{1}·...·s_{n} ) <==> { < 1,f(1) > : f(k) = k }

Teorema:

[An][ f_{k}(x) = x+s_{k} ==> ( f_{n} o ...(n)... o f_{1} )(x) es computablemente resoluble ]

Demostración:

( f_{n} o ...(n)... o f_{1} )(x) = ( u : u+s_{n} )o...(n)...o( v : v+s_{1} )o( w : x(w) ) = x+s_{1}+...+s_{n}

( a_{1} : a_{1}+s_{1}+...+s_{n} ) <==> { < 1,f(1) > : f(k) = k }



Teorema: [ de Gödel ]

A[0] |-- R(x_{1},...,x_{n}) <==> A[1] |= R(x_{1},...,x_{n})

Demostración:

[Ax_{1}]...(n)...[Ax_{n}][ R(x_{1},...,x_{n}) ]

[Ax_{1}]...(n)...[Ax_{n}][ ( x_{1}€V & ...(n)... & x_{n}€V ) ==> R(x_{1},...,x_{n}) ]

( 1 ==> 1 ) <==> 1

( 0 ==> 1 ) <==> 1

[Ex_{1}]...(n)...[Ex_{n}][ ¬R(x_{1},...,x_{n}) ]

[Ex_{1}]...(n)...[Ex_{n}][ ( x_{1}€V & ...(n)... & x_{n}€V ) & ¬R(x_{1},...,x_{n}) ]

( 1 & 0 ) <==> 0

( 0 & 0 ) <==> 0

[Ex_{1}]...(n)...[Ex_{n}][ R(x_{1},...,x_{n}) ]

[Ex_{1}]...(n)...[Ex_{n}][ ( x_{1}€V & ...(n)... & x_{n}€V ) & R(x_{1},...,x_{n}) ]

( 1 & 1 ) <==> 1

( 0 & 0 ) <==> 0

[Ax_{1}]...(n)...[Ax_{n}][ ¬R(x_{1},...,x_{n}) ]

[Ax_{1}]...(n)...[Ax_{n}][ ( x_{1}€V & ...(n)... & x_{n}€V ) ==> ¬R(x_{1},...,x_{n}) ]

( 1 ==> 0 ) <==> 0

( 0 ==> 1 ) <==> 1



Definición:

p(x) |-- q(y) <==> [Ax][Ay][ p(x) & ( p(x) ==> q(y) ) ]

p(x) |= q(y) <==> [Ax][Ay][ ( x€V & y€V ) ==> ( p(x) & ( p(x) ==> q(y) ) ) ]

p(x) --| q(y) <==> [Ax][Ay][ ( p(x) <== q(y) ) & q(y) ]

p(x) =| q(y) <==> [Ax][Ay][ ( x€V & y€V ) ==> ( ( p(x) <== q(y) ) & q(y) ) ]

Teorema:

p(x) |-- q(y) <==> p(x) |= q(y)

p(x) --| q(y) <==> p(x) =| q(y)



Definición:

p(x) |--| q(y) <==> ...

... [Ax][Ay][ p(x) & ( p(x) <==> q(y) ) & q(y) ]

p(x) |=| q(y) <==> ...

... [Ax][Ay][ ( x€V & y€V ) ==> ( p(x) & ( p(x) <==> q(y) ) & q(y) ) ]

Teorema:

p(x) |--| q(y) <==> p(x) |=| q(y)



Definición:

A[0] |-- 0 <==> A[0] es inconsistente.

A[1] |= 0 <==> A[1] es insatisfactible.

Teorema:

Sea A[0] = { [Ax][ p(x) & ( p(x) ==> ¬p(x) ) ] }

Sea A[1] = { [Ax][ x€V ==> ( p(x) & ( p(x) ==> ¬p(x) ) ) ] }

A[0] es inconsistente <==> A[1] es insatisfactible

Demostración:

A[0] |-- ( p(x) & ( p(x) ==> ¬p(x) ) ) |-- ¬p(x) |-- ( ¬p(x) & p(x) ) |--| 0

A[1] |= ( p(x) & ( p(x) ==> ¬p(x) ) ) |= ¬p(x) |= ( ¬p(x) & p(x) ) |=| 0



La novena puerta:

4 libros con 2 gravados originales y 6 falsos,

y el de Satanás que es de Lucifer en los 4 libros:

2 LCF, 2 LCF, 1 STN, 2 LCF, 2 LCF.

No tentarás al señor tu Dios tu Padre y cree en infieles,

y lo acepta el Diablo.

-Fuma alguien en su biblioteca?-

-No fuma ninguien en mi biblioteca.-

-La novena puerta es un secreto de más de un libro,

su libro no es el único original

porque hay diferencias en los gravados entre su libro y el mío.-

-La novena puerta no es un secreto de más de un libro,

mi libro es el único original

aunque quizás hay diferencias en los gravados entre mi libro y el suyo.-

-Puede devolver-me el libro,

porque lo tiene,

y ya no tiene que trabajar para mi.-

-No puedo devolver-le el libro,

porque no lo tengo,

y aun tengo que trabajar para usted.-



-Podrías haber cogido,

un coche de un infiel pobre,

menos llamativo de lo normal.-

-He querido coger,

un coche de un infiel rico,

más llamativo de lo normal.-

-Me ves bien con el turbante y las gafas de Sol?-

-Te veo bien con el turbante y las gafas de Sol.-



-Vos creéis que se va a presentar el señor del inframundo,

a vosotros que sois como puercos.-

-Nos creemos que se va a presentar el señor del inframundo,

a nosotros que somos como jabalíes.-

-Dame mi libro,

porque no se te va a presentar el señor del inframundo.-

-No te doy tu libro,

porque se me va a presentar el señor del inframundo.-



Ley:

No se puede robar la intimidad en el computador,

porque se roba la libertad con un pantallazo de máquina de Church.

Anexo:

Microsoft robaba la intimidad en fotografías,

y solgó un pantallazo azul instalando un escáner.



Homología deformable de Galois:

{ a_{1} ---> ...(n)... ---> a_{n} : 1·{ < 1,f(1) > : f(k) = k } ---> ...(n)... ---> n·{ < n,f(n) > : f(k) = k } }

Teorema: [ de Fermat-Wiles ]

a_{n} [< 2n+1 <==> x^{n}+y^{n} = z^{n} es resoluble por números enteros.

a_{n} > 2n+1 <==> x^{n}+y^{n} = z^{n} es irresoluble por números enteros.

Homología deformable de Fermat:

Sea k >] 1 ==>

{ a_{1} ---> ...(n)... ---> a_{n} : 1 ---> ...(n)... ---> ( kn^{k}+(-1)·( k+(-1) )·n^{k+(-1)} ) }

Teorema: [ de Fermat-Garriga ]

a_{n} [< 2n+1 <==> x^{n}+y^{n} = z^{n+k} es resoluble por números enteros.

a_{n} > 2n+1 <==> x^{n}+y^{n} = z^{n+k} es irresoluble por números enteros.

Demostración:

Sea k = 1 ==>

a_{n} = n [< 2n+1

Sea k = 2 ==>

a_{2} = 2·4+(-2) = 6 > 5 = 4+1

Homología deformable de Galois:

{ a_{1} ---> ...(n)... ---> a_{n} : 1·{ < 1,f(1) > : f(k) = k } ---> ...(n)... ---> n·{ < n,f(n) > : f(k) = k } }

Teorema: [ de Fermat-Wiles-Garriga ]

a_{n} [< 2n+1 <==> ...

... x^{n}+y^{n}+( u_{1} )^{n}+( v_{1} )^{n}+...+( u_{m} )^{n}+( v_{m} )^{n} = z^{n} ...

... es resoluble por números enteros.

a_{n} > 2n+1 <==> 

... x^{n}+y^{n}+( u_{1} )^{n}+( v_{1} )^{n}+...+( u_{m} )^{n}+( v_{m} )^{n} = z^{n} ...

... es resoluble por números enteros.

Demostración:

Sea n = 1

u_{k} = (-p) & v_{k} = p

Sea n = 2 ==>

u_{k} = ip & v_{k} = p



Teorema:

F(x,y) = 1+xy+(-h)·( px+qy+(-m) )

G(x,y) = 1+xy+(-h)·( px+qy )

h = (2/m)

Teorema:

F(x,y) = 2+(-1)·ln(2)+ln(x^{2}+y^{2})+(-h)·( px+qy+(-m) )

G(x,y) = 2+(-1)·ln(2)+ln(x^{2}+y^{2})+(-h)·( px+qy )

h = (2/m)



Principio:

E(x,y,z) = qk·(1/r)^{2}·a^{n+2}·< x^{n}yz,xy^{n}z,xyz^{n} >

B(x,y,z) = qk·(1/r)^{2}·a^{n+2}·< d_{t}[ x^{n}yz ],d_{t}[ xy^{n}z ],d_{t}[ xyz^{n} ] >

Ley:

rot[ (1/a)^{2}·E(x,y,z) ] = qk·(1/r)^{2}·a^{n}·n·...

... < xy^{n+(-1)}+(-1)·xz^{n+(-1)},yz^{n+(-1)}+(-1)·yx^{n+(-1)},zx^{n+(-1)}+(-1)·zy^{n+(-1)} >

Anti-rot[ (1/a)·E(x,y,z) ] = qk·(1/r)^{2}·a^{n+1}·...

... < zy^{n}+(-1)·yz^{n},xz^{n}+(-1)·zx^{n},yx^{n}+(-1)·xy^{n} >

Ley:

Anti-potencial[ rot[ (1/a)^{2}·E(x,y,z) ] ] = (3/4)·qk·(ra)^{n+2}+Anti-potencial[ int[ B(r,r,r) ]d[t] ]

Potencial[ Anti-rot[ (1/a)·E(x,y,z) ] ] = ( 3/(n+1) )·qk·a·(ra)^{n+1}+potencial[ int[ B(r,r,r) ]d[t] ]

Ley:

rot[ (1/a)^{2}·B(x,y,z) ] = qk·(1/r)^{2}·a^{n}·...

... < ( 1/(d_{t}[y]·d_{t}[z]) )·( d_{ttt}^{3}[ xy^{n}z ]+(-1)·d_{ttt}^{3}[ xyz^{n} ] ),...

... ( 1/(d_{t}[z]·d_{t}[x]) )·( d_{ttt}^{3}[ xyz^{n} ]+(-1)·d_{ttt}^{3}[ x^{n}yz ] ),...

... ( 1/(d_{t}[x]·d_{t}[y]) )·( d_{ttt}^{3}[ x^{n}yz ]+(-1)·d_{ttt}^{3}[ xy^{n}z ] ) >

Anti-rot[ (1/a)·B(x,y,z) ] = qk·(1/r)^{2}·a^{n+1}·...

... < ( 1/d_{t}[x] )·( d_{tt}^{2}[ xy^{n}z ]+(-1)·d_{tt}^{2}[ xyz^{n} ] ),...

... ( 1/d_{t}[y] )·( d_{tt}^{2}[ xyz^{n} ]+(-1)·d_{tt}^{2}[ x^{n}yz ] ),...

... ( 1/d_{t}[z] )·( d_{tt}^{2}[ x^{n}yz ]+(-1)·d_{tt}^{2}[ xy^{n}z ] ) >

Ley:

Anti-potencial[ rot[ (1/a)^{2}·B(x,y,z,q(t)) ] ] = ...

... (3/4)·d_{t}[q]·k·(ra)^{n+2}+(-1)·Anti-potencial[ d_{t}[ E(r,r,r,q(t))+B(r,r,r,q(t)) ] ]

Potencial[ Anti-rot[ (1/a)·B(x,y,z,q(t)) ] ] = ...

... ( 3/(n+1) )·d_{t}[q]·k·a·(ra)^{n+1}+(-1)·potencial[ d_{t}[ E(r,r,r,q(t))+B(r,r,r,q(t)) ] ]



Ley: [ Lucasentista-cristiana ]

El que camina por el reverso tenebroso,

no sabe a donde va.

El que camina por el reverso luminoso,

sabe a donde va.

Deducción:

No saber ==> Desconocimiento

Saber ==> Conocimiento

Anexo:

Sabemos que los extraterrestres de la cienciología van a ser hombres de mierda,

porque caminan por el reverso tenebroso,

y serán dioses de su mundo los hombres que son ellos.



Definición:

[Ea][ x @ a = y @ a ] <==> x = y

Teorema:

[Ea][ x @ a = x @ a ]

[Ea][ x @ a = y @ a ] <==> [Ea][ y @ a = x @ a ]

Si ( [Ea][ x @ a = y @ a ] & [Ea][ y @ a = z @ a ] ) ==> [Ea][ x @ a = z @ a ]

Teorema:

[Ea][ < x,a > = < y,a > ] <==> x = y

Teorema:

[Ea][ < x,a > = < x,a > ]

[Ea][ < x,a > = < y,a > ] <==> [Ea][ < y,a > = < x,a > ]

Si ( [Ea][ < x,a > = < y,a > ] & [Ea][ < y,a > = < z,a > ] ) ==> [Ea][ < x,a > = < z,a > ]



Teorema: [ de dualogía de la suma ]

[Ea][ x+a = y+a = f(a) ] <==> x = y

Teorema:

[Ea][ x+a = x+a = f(a) ]

[Ea][ x+a = y+a = f(a) ] <==> [Ea][ y+a = x+a = f(a) ]

Si ( [Ea][ x+a = y+a = f(a) ] & [Ea][ y+a = z+a = f(a) ] ) ==> [Ea][ x+a = z+a = f(a) ]

Teorema: [ de dualogía del producto ]

[Ea][ x·a = y·a = f(a) ] <==> x = y

Teorema:

[Ea][ x·a = x·a = f(a) ]

[Ea][ x·a = y·a = f(a) ] <==> [Ea][ y·a = x·a = f(a) ]

Si ( [Ea][ x·a = y·a = f(a) ] & [Ea][ y·a = z·a = f(a) ] ) ==> [Ea][ x·a = z·a = f(a) ]



Teorema:

x+y(x) = x^{n}+(-c)

Dual[< x,y >] = { < c^{(1/n)},(-1)·c^{(1/n)} > }

Teorema:

x·y(x) = x^{n}+(-c)

Dual[< x,y >] = { < (c+1)^{(1/n)},(c+1)^{(-1)·(1/n) )} > }

Teorema:

x+y(x) = e^{nx}+(-c)

Dual[< x,y >] = { < (1/n)·ln(c),(-1)·(1/n)·ln(c) > }

Teorema:

x·y(x) = e^{nx}+(-c)

Dual[< x,y >] = { < (1/n)·ln(c+1),( n/ln(c+1) ) > }



Teorema:

x+y(x) = x^{2}+(-1)

Dual[< x,y >] = { < 1,(-1) >,< (-1),1 > }

Teorema:

x·y(x) = x^{2}+(-1)

Dual[< x,y >] = { < 2^{(1/2)},2^{(-1)·(1/2)} >,< (-1)·2^{(1/2)},(-1)·2^{(-1)·(1/2)} > }

Teorema:

x+y(x) = e^{2x}+(-1)

Dual[< x,y >] = { < ln(1), (-1)·ln(1) >,< ln(-1),(-1)·ln(-1) > }

Teorema:

x·y(x) = e^{2x}+(-1)

Dual[< x,y >] = { < (1/2)·ln(2),( 2/ln(2) ) >,< ln(-1)+(1/2)·ln(2),( 1/( ln(-1)+(1/2)·ln(2) ) ) > }



Teorema:

x+y(x) = x^{n+1}+x+(-c)

Dual[< x,y >] = { < c^{( 1/(1+[n]) )},(-1)·c^{( 1/(1+[n]) )} > }

Teorema:

x·y(x) = x^{n+1}+x+(-c)

Dual[< x,y >] = { < (c+1)^{( 1/(1+[n]) )},(c+1)^{(-1)·( 1/(1+[n]) )} > }



Teorema:

x+y(x) = x^{7}+(-x)+8

Dual[< x,y >] = { < (-8)^{( 1/(1+]6[) )},(-1)·(-8)^{( 1/(1+]6[) )} > }

Teorema:

x·y(x) = x^{7}+(-x)+8

Dual[< x,y >] = { < (-7)^{( 1/(1+]6[) )},(-7)^{(-1)·( 1/(1+]6[) )} > }



Teorema:

x+y(x) = f(x) <==> d_{x}[y(x)] = d_{x}[f(x)]+(-1) = a

Teorema:

x+y(x) = x^{n+1}+(-c)

Dual-Derivada[< x,y >] = { < ( ( 1/(n+1) )·(a+1) )^{(1/n)},a >}

Teorema:

x+y(x) = e^{(n+1)·x}+(-c)

Dual-Derivada[< x,y >] = { < ( 1/(n+1) )·( ln(a+1)+(-1)·ln(n+1) ),a >}

lunes, 11 de diciembre de 2023

residus y mecánica-de-fluidos y tecnología-industrial y conjuntos y tipos-lambda

Teorema:

int[ ( f(z)/(z+(-b)) ) d_{x}[z] ]d[x] = f(b)·2pi·i·

Teorema:

int[ ( f(z)/d_{x}[z] )·(z+(-b)) ]d[x] = f(b)·2pi·(1/i)

Teorema:

int[ ( f(z)/( (z+a)·(z+(-a)) ) ) d_{x}[z] ]d[x] = f(a)·pi·i·(1/a)

int[ ( f(z)/( (z+a)·(z+(-a)) ) ) d_{x}[z] ]d[x] = f(-a)·pi·i·(1/(-a))

Teorema:

int[ ( f(z)/d_{x}[z] )·(z+a)·(z+(-a)) ]d[x] = f(a)·4pi·(1/i)·a

int[ ( f(z)/d_{x}[z] )·(z+a)·(z+(-a)) ]d[x] = f(-a)·4pi·(1/i)·(-a)


La gente no es y los extraterrestres has extinguido a todos los fieles sin amor.

Están locos pero deben haber utilizado el teorema de Hobes de no condenación.


Teorema: [ de Green ]

F(x,y) = < P(x,y),Q(x,y) >

[ Green-Gauss ]

int-int[ d_{x}[P(x,y)]+d_{y}[Q(x,y)] ]d[x]d[y] = int[ F(x,y) ]d[x_{j}]

[ Green-Stokes ]

int-int[ d_{y}[P(x,y)]+d_{x}[Q(x,y)] ]d[x]d[y] = int[ F(x,y) ]d[x_{k}]

Demostración:

int-int[ d_{y}[P(x,y)]+d_{x}[Q(x,y)] ]d[x]d[y] = ...

... int-int[ d_{y}[P(x,y)] ]d[x]d[y]+int-int[ d_{x}[Q(x,y)] ]d[x]d[y] = ...

... int-int[ d_{y}[P(x,y)] ]d[y]d[x]+int-int[ d_{x}[Q(x,y)] ]d[x]d[y] = ...

... int[ P(x,y) ]d[x]+int[ Q(x,y) ]d[y] = int[ F(x,y) ]d[x_{k}]


Vagón de tren para gigantes:

Vagón de 2 pisos: 

1 piso.

Puerta central:

derecha-izquierda

Simetría derecha-izquierda:

Una silla para gigantes.

Mesa para gigantes.

Una silla para gigantes.

Mesa de equipaje para gigantes.

Váter para gigantes Vs Bar para gigantes:

De dos puertas en el pasillo de cierre interior y abertura lateral.

El techo del vagón tiene que:

pujar-bajar-pujar-bajar-pujar

que es para la alta velocidad.

pujar-bajar-pujar hace una fuerza ortogonal hacia el suelo en las ruedas.

bajar-pujar-bajar hace una fuerza ortogonal hacia el cielo que reduce el peso.

Es la presión aerodinámica del AVE:

pujar-bajar-pujar.

El tren para gigantes tiene que llevar mínimo cuatro vagones más bajos,

que compensen la elevación del vagón para gigantes y las máquinas.


Ley: [ de la alta velocidad ]

m·d_{tt}^{2}[x] = F(t)+(-b)·d_{t}[x]

m·d_{tt}^{2}[y] = (-1)·( qg+P·(m/b)·d·d_{t}[x] )


El Fórmula 1:

Ley: [ de alerón de cabina-y-trasero ]

m·d_{tt}^{2}[x] = F(t)+(-b)·d_{t}[x]

m·d_{tt}^{2}[y] = (-1)·( qg+P·(m/b)·d·cos(s)·d_{t}[x] )

Ley: [ de alerón de cabina-y-trasero ]

m·d_{tt}^{2}[x] = F(t)+(-b)·d_{t}[x]

m·d_{tt}^{2}[y] = (-1)·( qg+P·(m/b)·d·sin(s)·d_{t}[x] )


Ley: [ de alerón de cabina-lateral-y-delantero ]

m·d_{tt}^{2}[x] = F(t)+(-b)·d_{t}[x]

m·d_{tt}^{2}[y] = (-1)·( qg+P·(m/b)·d·tan(s)·d_{t}[x] )

Ley: [ de alerón de cabina-lateral-y-delantero ]

m·d_{tt}^{2}[x] = F(t)+(-b)·d_{t}[x]

m·d_{tt}^{2}[y] = (-1)·( qg+P·(m/b)·d·cot(s)·d_{t}[x] )


El lavabo:

Ley: [ del váter ]

m·d_{tt}^{2}[z] = P·( x^{2}+y^{2} )

Ley: [ de la cadena del váter ]

m·d_{tt}^{2}[z] = P·( x^{2}+y^{2} )+b·d_{t}[z]

Ley: [ de la escobilla del váter ]

m·d_{tt}^{2}[z] = P·( x^{2}+y^{2} )+(-k)·z


Ley: [ de la ducha ]

m·d_{tt}^{2}[z] = (-Q)·( u^{2}+v^{2} )

Ley: [ de los surtidores de agua de la ducha ]

m·d_{tt}^{2}[z] = (-Q)·( u^{2}+v^{2} )+b·d_{t}[z]

Ley: [ de la esponja de ducha ]

m·d_{tt}^{2}[z] = (-Q)·( u^{2}+v^{2} )+(-k)·z


Ley: [ de la pica de manos ]

m·d_{tt}^{2}[z] = P·( x^{2}+y^{2} )+(-Q)·( u^{2}+v^{2} )

Ley: [ del surtidor de agua de la pica de manos ]

m·d_{tt}^{2}[z] = P·( x^{2}+y^{2} )+(-Q)·( u^{2}+v^{2} )+b·d_{t}[z]

Ley: [ del jabón de manos ]

m·d_{tt}^{2}[z] = P·( x^{2}+y^{2} )+(-Q)·( u^{2}+v^{2} )+(-k)·z


Ley: [ del calentador ]

m·d_{tt}^{2}[z] = (1/r)·kT+b·d_{t}[z]

d_{t}[z] = (-1)·(1/r)·kT (1/b)

Ley: [ de las llaves de paso del agua ]

m·d_{tt}^{2}[z] = (1/r)·PV+b·d_{t}[z]

d_{t}[z] = (-1)·(1/r)·PV (1/b)


Ley: [ de fluido eléctrico ]

m·d_{tt}^{2}[z] = qE(x,y)+b·d_{t}[z]

d_{t}[z] = (-1)·(1/b)·qE(x,y)

Ley: [ de fluido magnético ]

m·d_{tt}^{2}[z] = qB(x,y)·t+b·d_{t}[z]

d_{t}[z] = (-1)·(1/b)·qB(x,y)·( t+(m/b) )


Ley:

No se puede decir que los extraterrestres son dioses de los hombres,

porque se toma el nombre del señor tu dios,

en vano.

No se puede decir que Jûanat-Hád y Peter-Hád no son dioses de los hombres,

porque no se toma el nombre del señor tu dios,

no en vano.


Cervesuá avec limún.

Cervesuá sansvec limún.


Vodkuá avec limún.

Vodkuá avec tarunsh.


tarunsh [o] taronjja [o] taronja

espunsh [o] esponjja [o] esponja


Ley:

E(P,V) = PV

d_{P}[ E(P,V) ] = V

d_{V}[ E(P,V) ] = P

int[ E(P,V) ]d[P] = V·(1/2)·P^{2}

int[ E(P,V) ]d[V] = P·(1/2)·V^{2}

Ley:

E(T) = kT

d_{T}[ E(T) ] = k

int[ E(T) ]d[T] = k·(1/2)·T^{2}


Ley:

E(P,V) = PV+p_{n}P^{n}

d_{P}[ E(P,V) ] = V+p_{n}·nP^{n+(-1)}

d_{V}[ E(P,V) ] = P

int[ E(P,V) ]d[P] = V·(1/2)·P^{2}+p_{n}·( 1/(n+1) )·P^{n+1}

int[ E(P,V) ]d[V] = P·(1/2)·V^{2}+p_{n}P^{n}·V

Ley:

E(P,V) = PV+q_{n}V^{n}

d_{P}[ E(P,V) ] = V

d_{V}[ E(P,V) ] = P+q_{n}·nV^{n+(-1)}

int[ E(P,V) ]d[P] = V·(1/2)·P^{2}+q_{n}·V^{n}·P

int[ E(P,V) ]d[V] = P·(1/2)·V^{2}+q_{n}·( 1/(n+1) )·V^{n+1}

Examen:

Ley:

E(T) = kT+k_{n}T^{n}


Ley:

E(q,x) = qgx

d_{q}[ E(q,x) ] = xg

d_{x}[ E(q,x) ] = qg

int[ E(q,x) ]d[q] = xg·(1/2)·q^{2}

int[ E(q,x) ]d[x] = qg·(1/2)·x^{2}

Ley:

E(x) = (-k)·(1/2)·x^{2}

d_{x}[ E(x) ] = (-k)·x

int[ E(x) ]d[x] = (-k)·(1/6)·x^{3}

Examen:

Ley:

E(2pi·r) = hc·( 1/(2pi·r) )

Ley:

E(pi·r) = (k/d)·(4/3)·(pi·r)^{3}


Ley: [ hervido de verduras ]

Judías verdes

Zanahoria taronja

Salteado de perfume de ajo amarillo-blanco.


Ley: [ de tortitas-Crepes ]

250 gramos de harina blanco

100 gramos de azúcar blanco

1 vaso de leche blanco

1 huevo taronja


Ley:

Todos los padres de mi Gestalt,

supongo que cocinan como yo,

y todas las mujeres de mi Gestalt,

comen lo que yo sepo cocinar.

Todas los madres de mi Gestalt,

supongo que cocinan como mi mujer,

y todos los hombres de mi Gestalt,

comen lo que mi mujer sabe cocinar.


Ley:

Peter-Hád es el dios y el señor del cielo,

porque es el portero del cielo.

Jûanat-Hád es el dios y el señor del paraíso,

porque es la voz que clama en el desierto.

Anexo:

En el paraíso no se ve el cielo.

En el cielo no se ve el paraíso.


Clásico:

pasadís [o] pasaíso

paradís [o] paraíso


Ley: [ de alunazaje ]

d_{t}[y] = (-1)·at+v = 0

h = (1/2)·(1/a)·v^{2}

u = (1.5)·(m/s) = int[t = 0]-[1][ (q/m)·g ]d[t] & q = m

w = (98.5)·(m/s)

v = w+u

v = 100·(m/s)

a = (1/2)·(1/h)·v^{2}

h = 50 km

a = (0.1)·(m/s^{2})

Ley: [ de aterrizaje desde la estación espacial ]

d_{t}[y] = (-1)·at+v = 0

h = (1/2)·(1/a)·v^{2}

v = 10·(m/s) = int[t = 0]-[1][ (q/m)·g ]d[t] & q = m

a = (1/2)·(1/h)·v^{2}

h = 50 km

a = (0.001)·(m/s^{2})

t = 10000 s <==> d_{t}[y] = 0

Ley: [ de despegue hacia la estación espacial ]

s = (v/a)

d_{t}[y] = (-2)·a·( (s/2)+t )+v = 0

d_{t}[y] = 0 <==> t = 0

d_{t}[y] = (-v) <==> t = (s/2)

d_{t}[y] = (-2)·a·( s+(-t) )+v = 0

d_{t}[y] = (-v) <==> t = 0

d_{t}[y] = 0 <==> t = (s/2)



Examen:

Ley:

d_{t}[y] = (-2)·a·( (2.5)+t )+v = 0

d_{t}[y] = (-2)·a·( 5+(-t) )+v = 0

a = ? <==> v = 10 (m/s)


Ley:

Un infiel glorificado no descendiente de Númenor,

te puede seguir en el trabajo,

con infieles que son piedras,

porque convierte las piedras en panes según el Diablo.

Un infiel glorificado descendiente de Númenor,

te puede seguir en el trabajo,

con fieles que son los sacerdotes,

porque va al templo según el Diablo.


Ley:

Un infiel con odio del mundo,

lo puede matar el odio del mundo,

porque no puede nacer,

y se comete adulterio.

Un fiel con odio del mundo,

no lo puede matar el odio del mundo,

porque puede nacer,

y no se comete adulterio.


Ley:

El Mal no puede molestar,

a ninguien no glorificado sin condenación,

porque no hay el odio del mundo.

El Mal puede molestar,

a alguien glorificado sin condenación,

porque hay el odio del mundo.

Anexo:

A los psiquiatras se les tiene que rezar al Mal los dos mandamientos,

porque están glorificados y es odio del mundo y no hay condenación.

A los psiquiatras se les tiene que vatchnar diciendo que son físicos-matemáticos,

y vatchnar-los pinchando.

Como no borréis a mi padre de donde está apuntado y a mi de donde me he borrado,

vos robo el dinero,

porque robo la propiedad y robo la des-propiedad.


Ley:

No es necesario pedir el DNI en el banco para cobrar la pensión:

porque si te mueres se vuelve la pensión y la cuenta bancaria en des-propiedad,

y cualquiera te puede robar como cobres la pensión o no te borren del banco.

Ese tío está muerto y la pensión no tiene su Espíritu Santo y es gloria de alguien,

siempre se le puede robar la pensión por odio del mundo.

Al del banco le van a robar todo el dinero que ha puesto en la cuenta de mi padre después de morir,

porque la cuenta de mi padre no tiene su Espíritu Santo y por odio del mundo se puede robar.

Anexo:

Siempre se puede robar glorificando la des-propiedad,

porque no tiene Espíritu Santo y hay el odio del mundo.


Teorema:

A [<< B <==> A [ || ] B = B

¬B [<< ¬A <==> ¬A [&] ¬B = ¬B

Teorema:

A [<< B <==> A [&] B = A

¬B [<< ¬A <==> ¬A [ || ] ¬B = ¬A

Teorema:

¬[ || ]-[k = 1]-[n][ {a_{1},...,a_{k}} ] = ¬{a_{1},...,a_{n}} = }a_{1},...,a_{n}{

¬[&]-[k = 1]-[n][ {a_{1},...,a_{k}} ] = ¬{a_{1}} = }a_{1}{

Demostración:

¬[ || ]-[k = 1]-[n][ {a_{1},...,a_{k}} ] = [&]-[k = 1]-[n][ ¬{a_{1},...,a_{k}} ] = ...

... [&]-[k = 1]-[n][ }a_{1},...,a_{k}{ ] = }a_{1},...,a_{n}{

¬[&]-[k = 1]-[n][ {a_{1},...,a_{k}} ] = [ || ]-[k = 1]-[n][ ¬{a_{1},...,a_{k}} ] = ...

... [ || ]-[k = 1]-[n][ }a_{1},...,a_{k}{ ] = }a_{1}{

Teorema:

¬[ || ]-[k = 1]-[n][ }a_{1},...,a_{k}{ ] = ¬}a_{1}{ = {a_{1}}

¬[&]-[k = 1]-[n][ }a_{1},...,a_{k}{ ] = ¬}a_{1},...,a_{n}{ = {a_{1},...,a_{n}}

Demostración:

¬[ || ]-[k = 1]-[n][ }a_{1},...,a_{k}{ ] = [&]-[k = 1]-[n][ ¬}a_{1},...,a_{k}{ ] = ...

... [&]-[k = 1]-[n][ {a_{1},...,a_{k}} ] = {a_{1}}

¬[&]-[k = 1]-[n][ }a_{1},...,a_{k}{ ] = [ || ]-[k = 1]-[n][ ¬}a_{1},...,a_{k}{ ] = ... 

... [ || ]-[k = 1]-[n][ {a_{1},...,a_{k}} ] = {a_{1},...,a_{n}}


Teorema:

¬[ || ]{{x},{x,y}} = ¬{x,y} = }x,y{

¬[&]{{x},{x,y}} = ¬{x} = }x{

Demostración:

¬[ || ]{{x},{x,y}} = ¬( {x} [ || ] {x,y} ) = }x{ [&] }x,y{ = }x,y{

¬[&]{{x},{x,y}} = ¬( {x} [&] {x,y} ) = }x{ [ || ] }x,y{ = }x{


Teorema:

n = {0,1,...,n+(-1)}

(-n) = }0,1,...,n+(-1){

Demostración:

n+1 = n [ || ] {n} = {0,1,...,n+(-1)} [ || ] {n} = {0,1,...,n}

(-n)+(-1) = (-n) [&] }n{ = }0,1,...,n+(-1){ [&] }n{ = }0,1,...,n{


Ley:

Se paga condenación,

con el teorema de Russeau,

no caminando.

No se paga condenación,

con el teorema de Hobes,

caminando.


Teorema:

Sea f(x) = x+p ==> f(x) <=[tipo]=> Id(x)

Demostración:

( f : f(x) ) = ( (...)+p : x+p ) = ( g(...)+p : g(x)+p ) = ...

... ( ((...)+(-p))+p : (x+(-p))+p ) = ( (...) : x ) = ( Id : x )

Examen:

Teorema:

Sea f(x) = x·p ==>  f(x) <=[tipo]=> Id(x)

Demostración:

Teorema:

Sea f(x,y) = (x+y)+p ==> f(x,y) <=[tipo]=> Id(x)+Id(y)

Demostración:

( f : f(x,y) ) = ( (...)+(...)+p : (x+y)+p ) = ( g((...)+(...))+p : g(x+y)+p ) = ...

... ( ( ((...)+(...))+(-p) )+p : ( (x+y)+(-p) )+p ) = ( (...)+(...) : x+y ) = ( Id : x )+( Id : y )

Teorema:

Sea f(x) = x^{2} ==> f(x) <=[tipo]=> Not(x)

Demostración:

( f : f(x) ) = ( (...)^{2} : x^{2} ) = ( ( g(...) )^{2} : ( g(x) )^{2} ) = ...

... ( ( i·(...)^{(1/2)} )^{2} : ( ix^{(1/2)} )^{2} ) = ( (-1)·(...) : (-x) ) = ( Not : (-x) )

Teorema:

Sea ( a_{n} = n & b_{n} = 1 ) ==> a_{n} <=[tipo]=> b_{n}

Demostración:

( a : a_{n} ) = ( (...) : n ) = ( g(...) : g(n) ) = ( ( (...)/(...) ) : (n/n) ) = ( b : 1 )