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

Marc Erickson marcerickson at gmail.com
Sat Jan 23 18:42:39 PST 2010


Can someone help me pick up the pieces of my exploded head?  ;-)


Marc

On Sat, Jan 23, 2010 at 9:58 AM, Jeff Bone <jbone at place.org> wrote:

>
> 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 ;-)
>
>
> _______________________________________________
> FoRK mailing list
> http://xent.com/mailman/listinfo/fork
>



-- 
Vancouver Computers Examiner
http://www.examiner.com/x-34009-Vancouver-Computers-Examiner
A Canadian Geek
http://www.lockergnome.com/nexus/marcerickson


More information about the FoRK mailing list