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

Ken Ganshirt @ Yahoo ken_ganshirt at yahoo.ca
Sat Jan 23 19:31:47 PST 2010


The twins keeping you up after your bedtime, Jeff?? A little sleep deprived are we???

          ...ken...


--- On Sat, 1/23/10, Jeff Bone <jbone at place.org> wrote:

> From: Jeff Bone <jbone at place.org>
> Subject: Re: [FoRK] The quantum-logical theory of truth and irony
> To: "Friends of Rohit Khare" <fork at xent.com>
> Received: Saturday, January 23, 2010, 11:58 AM
> 
> 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 ;-)
> 
> 


      __________________________________________________________________
Yahoo! Canada Toolbar: Search from anywhere on the web, and bookmark your favourite sites. Download it now
http://ca.toolbar.yahoo.com.



More information about the FoRK mailing list