[FoRK] The quantum-logical theory of truth and irony

Jeff Bone jbone at place.org
Sat Jan 23 09:58:15 PST 2010


On Jan 22, 2010, at 11:00 AM, Jeff Bone wrote:

> On Jan 22, 2010, at 10:02 AM, Jeff Bone wrote:
>
>> One small lemma in the theory, worthy of note:  anti-anti-irony is  
>> not +1 irony, but rather -4/3 irony.  Anti-anti-anti-irony = -2  
>> irony.  However, anti-anti-meta-anti-irony = +2 irony, yet quasi- 
>> meta-anti-meta-anti-meta-anti-irony (or any of its well-formed  
>> tangles) = negative infinity +/- 2/3.  (Dimensional analysis  
>> reveals this number, intriguingly, to be unitless.)
>
> ...
>
> However, when the number of such applications has been "lifted"  
> transfinitely via the application of e.g. meta or other operators,  
> the sign becomes unknowable.  Only the linear subsequences of such  
> applications have deterministic sign.

"Aha!"  you say.  "Caught you!  This is all, obviously, complete  
bullshit.  If, as you say, that applications of meta cause the sign- 
twist of an anti-modified truson to become unknowable, then your  
earlier claim:

	anti-anti-meta-anti-irony = +2 irony

..must CLEARLY be false!  You just said the sign of that was  
unknowable, yet here you are putting a sign on it!  You're just making  
this shit up, it's total nonsense!"

--

Well, that's a good catch.  Allow me to explain.  Using the point-free  
strict-applicative notation of the so-called "D3" (Dirac, Derrida,  
Dali) combinator calculus and its universally-understood combinatoric  
precedence conventions, we've got


	_' <-- - - ^ - _


Breaking that down, it's clear that this is equal to


	(-) (-) (` -) _


or,


	(- -) (` -)  _


that is


	(()()) `()_


Now, applying transubstantiation, we have


	(- -) _ ~`~ ^^ | __  _


which is to say (by means of translation via i(Z)-elliptical semiotic  
hyper-encabulation)


	(- -) _ .. ()()()()((())__(())_(()())) _ (`(())) e ^ i (()()) ^^ | __  
pi


(N.b., NOTE THE NULLARY SPLICE TERM (`(())) --- IT IS ESSENTIAL!)

Here we've got some choices to make in order to realize the implicit  
psi-terms.  We could try (remote) intransitory convolution, but hen  
we'd have to drag in Dirac's equation and solve for the non-nullary  
adjoint spinor factors of the previous expression.  This generates  
some notational confusion as we have to distinctly identify the  
functional fix-points, and is thus somewhat aesthetically unpleasing  
for hopefully obvious reasons**:


	((@?@??@???^^()()).??,
		???(+)@-_?@@_>@@@)
		//,  ,$_?@_?@@__?!@_!!?

		=

	_i !__ d,,$_ at _@@/d_@@
		x  ()()()()((())__(())_(()()) _)
		`` e ^ i (()()) ^^ | __ pi


So substitutiary locomotion it must be!  Thus:


	(- -) _ .. (()()) _ (^) (-) e ^ i (()()) ^^ | __ pi


N.b., note the +/- negative infinity term.  Also, see note below.  Since


	(()()) ^^ | __ = ^^ | __


...we can drop the minus sign on that.  By Seinfeld's Law we know that


	%.|[-]+| // ((()())(()())) = 0 --> |(()()) _| > 0


At this point, according to standard convention, we have "normalized"  
by assuming perfectly spherical chickens, and poof!   The +/-  
(negative) infinity disappears as it is merely a linear component of  
the imaginary part of the complex exponent of the expression whose  
base is epsilon in real Lorentz-Boole space.  The geometric  
justification of this "normalization" is controversial, but generally  
it is understood to be a fractional twist-tangle of 2/3-rotation  
occurring --- *solely* --- in imaginary Lorentz-Boole-space.  More  
simply and formally, all other relevant parts of that subexpression  
reduce to one as the negation of Euler's identity, leaving us merely  
with the cardinal scalar.  This can therefore leave us with no doubt  
that


	| ()()_()()_ `,(()_) | _, --> ((()())(()()))


.:  anti-anti-meta-anti-irony = +2 irony.  QED.


Now, had the number of linear applications of meta been even, or had  
they been nested, or if chickens aren't spherical, we would have  
another result entirely.  As homework for the reader:  prove that it  
is impossible to reduce any such D3-clause of any number of truson- 
variables > 1 with meta-order > 5 to 1st-order normal form with  
certain sign-twist.  (This is the impossibility theorem I eluded to  
earlier;  its implications should be clear.  Hint to the studious:   
don't bother with the diagonalization hack, that won't work in this  
case.)


Now pedantry, OTOOOH....



jb



(No, IANA(Befunge programmer).  And no, none of this is serious. It  
is, obviously, complete bullshit.  ;-)  That said, it is actually some  
well-formed and lovingly-crafted complete bullshit, as I actually ---  
sadly, maybe tragically --- put some real time and thought into the  
construction of those expressions and their manipulation.  No,  
really.  That *is* Dirac's equation, sort of, in some unbearable (but  
internally more-or-less consistent) notation that I concocted on-the- 
fly.  Ugh.  WTF, really.  Talk about taking a joke and running it into  
the ground.)


**  For no apparent reason, taking the Hermitian conjugate here with  
respect to the second-order psi-term, when represented in ASCII, gives  
us:

                    .+~                :xx++::
                    :`. -          .!!X!~"?!`~!~!. :-:.
                   <             .!!!H":.~ ::+!~~!!!~ `%X.
                   '             ~~!M!!>!!X?!!!!!!!!!!...!~.
                               <!:!MM!~:XM!!!!!!.:!..~ !.  `<
                   <: `   :~ .:<~!!M!XXHM!!!X!XXHtMMHHHX!  ~ ~
                 ~~~~<' ~!!!:!!!!!XM!!M!!!XHMMMRMSXXX!!!!!!:  <`
                   `<  <::!!!!!X!X?M!!M!!XMMMMXXMMMM??!!!!!?!:~<
                : '~~~<!!!XMMH!!XMXMXHHXXXXM!!!!MMMMSXXXX!!!!!!!~
             :    ::`~!!!MMMMXXXtMMMMMMMMMMMHX!!!!!!HMMMMMX!!!!!: ~
                '~:~!!!!!MMMMMMMMMMMMMMMMMMMMMMXXX!!!M??MMMM!!X!!i:
                <~<!!!!!XMMMMMMMMMMMM8M8MMMMM8MMMMMXX!!!!!!!!X!?t?!:
                ~:~~!!!!?MMMMMM at M@RMRRR$@@MMRMRMMMMMMXSX!!!XMMMX<?X!
              :XX <!!XHMMMM88MM88BR$M$$$$8 at 8RN88MMMMMMMMHXX?MMMMMX!!!
            .:X! <XMSM8M@@$$$$$$$$$$$$$$$$$$$B8R$8MMMMMMMMMMMMMMMMX!X
           :!?! !?XMMMMM8$$$$8$$$$$$$$$$$$$$BBR$$MMM at MMMMMMMMMMMMMM!!X
         ~<!!~ <!!XMMMB$$$$$$$$$$$$$$$$$$$$$$$$MMR$8MR$MMMMMMMMMMMMM!?!:
         :~~~ !:X!XMM8$$$$$$$$$$$$$$$$$$$$$$$RR$$MMMMR8NMMMMMMMMMMMMM<! 
`-
     ~:<!:~`~':!:HMM8N$$$$$$$$$$$$$$$$$$$$$$$$$8MRMM8R$MRMMMMMMMMRMMMX!
   !X!``~~   :~XM?SMM$B$$$$$$$$$$$$$$$$$$$$$$BR$$MMM$@R$M$MMMMMM$MMMMX?L
  X~.      : `!!!MM#$RR$$$$$$$$$$$$$$$$$R$$$$$R$M$MMRRRM8MMMMMMM$ 
$MMMM!?:
  ! ~ <~  !! !!~`` :!!MR$$$$$$$$$$RMM!?!??RR?#R8$M$MMMRM$RMMMM8MM$MMM! 
M!:>
: ' >!~ '!!  !   .!XMM8$$$$$@$$$R888HMM!!XXHWX$8$RM$MR5$8MMMMR$$@MMM!!! 
< ~
!  ' !  ~!! :!:XXHXMMMR$$$$$$$$$$$$$$$$8$$$$8$$$MMR$M$$$MMMMMM$$$MMM!!!!
  ~<!!!  !!! !!HMMMMMMMM$$$$$$$$$$$$$$$$$$$$$$$$$$MMM$M$$MM8MMMR$ 
$MMXX!!!!/:`
   ~!!!  !!! !XMMMMMMMMMMR$$$$$$$$$$$$R$RRR$$$$$$$MMMM$RM$MM8MM$$ 
$M8MMMX!!!!:
   !~ ~  !!~ XMMM%!!!XMMX?M$$$$$$$$B$MMSXXXH?MR$$8MMMM$$@$8$M$B$$$$B 
$MMMX!!!!
   ~!    !! 'XMM?~~!!!MMMX!M$$$$$$MRMMM?!%MMMH!R$MMMMMM$$$MM$8$$$$$ 
$MR at M!!!!!
   <>    !!  !Mf x@#"~!t?M~!$$$$$RMMM?Xb@!~`??MS$M at MMM@RMRMMM$$$$$ 
$RMMMMM!!!!
   !    '!~ <!!:!?M   !@!M<XM$$R5M$8MMM$! -XXXMMRMBMMM$RMMM@$R$BR 
$MMMMX??!X!!
   !    '!  !!X!!!?::xH!HM:MM$RM8M$RHMMMX...XMMMMM 
$RMMRRMMMMMMM8MMMMMMMMX!!X!
   !     ~  !!?:::!!!MXMR~!MMMRMM8MMMMMS!!M?XXMMMMM$$M$M 
$RMMMM8$RMMMMMMMM%X!!
   ~     ~  !~~X!!XHMMM?~ XM$MMMMRMMMMMM at MMMMMMMMMM$8 at MMMMMMMMRMMMMM?! 
MMM%HX!
            !!!!XSMMXXMM .MMMMMMMM$$$BB8MMM at MMMMMMMR 
$RMMMMMMMMMMMMMMMXX!?H!XX
            XHXMMMMMMMM!.XMMMMMMMMMR$$$8M$$$$$M at 88MMMMMMMMMMMMMMM! 
XMMMXX!!!XM
       ~   <!MMMMMMMMRM:XMMMMMMMMMM8R$$$$$$$$$$$$$$$NMMMMMMMM?!MM! 
M8MXX!!/t!M
       '   ~HMMMMMMMMM~!MM8 at 8MMM!MM$$8$$$$$$$$$$$$$$8MMMMMMM!!XMMMM 
$8MR!MX!MM
           'MMMMMMMMMM'MM$$$$$MMXMXM$$$$$$$$$$$$$$$$RMMMMMMM!!MMM$$$ 
$MMMMM<!M
           'MMMMMMMMM!'MM$$$$$RMMMMMM$$$$$$$$$$$$$$$MMM!MMMX!!MM$$$$$M$ 
$M$M!M
            !MMMMMM$M! !MR$$$RMM8$8MXM8$$$$$$$$$$$$NMMM!MMM!!!?MRR$$RXM 
$$MR!M
            !M?XMM$$M.< !MMMMMMSUSRMXM$8R$$$$$$$$$$#$MM!MMM!X!t8$M 
$MMMHMRMMX$
     ,-,   '!!!MM$RMSMX:.?!XMHRR$RM88$$$8M$$$$$R$$$$8MM!MMXMH!M$ 
$RMMMMRNMMX!$
    -'`    '!!!MMMMMMMMMM8$RMM8MBMRRMR8RMMM$$$$8$8$$$MMXMMMMM!MR$MM!M? 
MMMMMM$
           'XX!MMMMMMM at RMM$MM@$$BM$$$M8MMMMR$$$$@$$$$MM!MMMMXX$MRM! 
XH!!??XMMM
           `!!!M?MHMMM$RMMMR@$$$$MR at MMMM8MMMM$$$$$$$WMM!MMMM!M 
$RMM!!.MM!%M?~!
            !!!!!!MMMMBMM$$RRMMMR8MMMMMRMMMMM8$$$$$$$MM?MMMM!f#RM~     
`~!!!~!
            ~!!HX!!~!?MM?MMM??MM?MMMMMMMMMRMMMM$$$$$MMM!MMMM!!
            '!!!MX!:`~~`~~!~~!!!!XM!!!?!?MMMM8$$$$$MMMMXMMM!!
             !!~M at MX.. <!!X!!!!XHMHX!!``!XMMMB$MM$$B$M!MMM!!
             !!!?MRMM!:!XHMHMMMMMMMM!  X!SMMX$$MM$$$RMXMMM~
              !M!MMMM>!XMMMMMMMMXMM!!:!MM$MMMBRM$$$$8MMMM~
              `?H!M$R>'MMMM?MMM!MM6!X!XM$$$MM$MM$$$$MX$f
               `MXM$8X MMMMMMM!!MM!!!!XM$$$MM$MM$$$RX@"
                ~M?$MM !MMMMXM!!MM!!!XMMM$$$8$XM$$RM!`
                 !XMMM !MMMMXX!XM!!!HMMMM$$$$RH$$M!~
                 'M?MM `?MMXMM!XM!XMMMMM$$$$$RM$$#
                  `>MMk ~MMHM!XM!XMMM$$$$$$BRM$M"
                   ~`?M. !M?MXM!X$$@M$$$$$$RMM#
                     `!M  !!MM!X8$$$RM$$$$MM#`
                       !% `~~~X8$$$$8M$$RR#`
                        !!x:xH$$$$$$$R$R*`
                         ~!?MMMMRRRM at M#`       -Sushil-
                          `~???MMM?M"`
                              ``~~

(credit where credit is due:  http://www.chris.com/ASCII/art/html/einstein.html 
  ;-)



More information about the FoRK mailing list