From: "Osher Doctorow" <osher@ix.netcom.com>
To: <categories@mta.ca>
Subject: Cross-category "conversions" of some interest
Date: Sat, 8 Jul 2000 10:05:44 -0700 [thread overview]
Message-ID: <000a01bfe8fe$f2328e80$847979a5@osherphd> (raw)
[-- Attachment #1: Type: text/plain, Size: 3148 bytes --]
From: Osher Doctorow, Ph.D. osher@ix.netcom.com, Sat. July 7, 2000, 9:46AM
Dear Colleagues:
I have been studying the "conversion" from x/y to 1 - x + y and the conversion from x/y to x + y - xy, where x and y are elements of any category (although in practice I have been restricting attention to probability-statistics (x = Pr(A), y = Pr(AB) where AB is the intersection of sets/events A and B) and (fuzzy) multivalued logics such as Goguen/Product (G) and Lukaciewicz (L) and Godel (Go) (in the case of G, x/y is the non-trivial implication x --> y and in the case of L, 1 - x + y is the non-trivial implication x --> y) and the Jacobson radical in ring theory (which is based on the circle composition product x*y = x + y - xy for x and y elements of the ring) and Fermat's Last Theorem in number theory (x and y are integers and a super-super short proof seems to depend on generalizing x*y to n dimensions and using the conjugate which will be described below). The conjugate ^ of 1 - x + y is (1 - x + y)^ = 1 + x - y, and the conjugate of x + y - xy is x + y + xy. An n dimensional generalization would involve x^^n + y^^n where ^^ is exponentiation (unrelated to ^) since the product of 1 - x + y and its conjugate can be shown to involve x^^2 + y^^2 - x^^2 y^^2 = x^^2 * y^^2 and so on. The expression "conversion" is used above instead of function because y/x --> 1 - x + y is not a function but a conversion of the division operation (for x non-zero) to subtraction and the addition of 1.
The probability-statistics reader may recognize x/y and (Bayesian) conditional probability (BCP for short) written Pr(B/A) for Pr(A) non-zero, and it turns out that 1 - x + y for probability-statistics is Pr(A-->B) = Pr(A' U B) = Pr(A' ) + Pr(B) - Pr(A' B) = Pr(A' ) + Pr(AB) = 1 - Pr(A) + P(AB), which latter expression is maximized for very rare events and lower dimensional events when probability distributions are continuous on a volume of space containing A and B (Pr(A) = 0 for those cases) and also when A is a subset of B. Pr(A-->B) is abbreviated LBP for logic-based probability, which I have been developing since 1980. BCP applies to frequent/common and independent-like or low influence events (including Markov processes which have many similarities to independent events although they are "slightly" dependent) and LBP applies to rare events or rare-like events (Pr(A) less than epsilon for epsilon small positive) and to n-k dimensional subset events of n-dimensional Euclidean space for k = 0 to n and to highly dependent or highly one or two-way influencing events.
As for Goguen/Product logic (G) and Lukaciewicz logic, their union or "join" G U L, similarly to the union or join of either of them with Godel logic G, equals BL2, the basic (fuzzy) multi-valued logic which generalizes Boolean logic with the deduction Theorem and the plausible axiom p V ~p (p or ~p) for each proposition p. Thus, G and L constitute all of the universe of logic in this sense, and they partition it into disjoint "roughly equal" parts.
Osher Doctorow
Doctorow Consultants
Culver City, California USA
[-- Attachment #2: Type: text/html, Size: 4330 bytes --]
next reply other threads:[~2000-07-08 17:05 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-07-08 17:05 Osher Doctorow [this message]
2000-07-11 18:27 Osher Doctorow
2000-07-12 15:47 S.J.Vickers
2000-07-14 16:02 Cross-Category " Osher Doctorow
2000-07-20 2:15 Osher Doctorow
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='000a01bfe8fe$f2328e80$847979a5@osherphd' \
--to=osher@ix.netcom.com \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).