[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
;-)

```