{
localUrl: '../page/bayes_rule_proof_math1.html',
arbitalUrl: 'https://arbital.com/p/bayes_rule_proof_math1',
rawJsonUrl: '../raw/1yd.json',
likeableId: 'FlynSequeira',
likeableType: 'page',
myLikeValue: '0',
likeCount: '1',
dislikeCount: '0',
likeScore: '1',
individualLikes: [
'thejkiran'
],
pageId: 'bayes_rule_proof_math1',
edit: '7',
editSummary: 'Orphaning this page, because it's not sufficiently different (nor sufficiently easy to read) from the main lens. It should probably be deleted.',
prevEdit: '6',
currentEdit: '7',
wasPublished: 'true',
type: 'wiki',
title: 'Proof of Bayes' rule: Intro',
clickbait: 'Proof of Bayes' rule, assuming you know the rule itself, and the notations for the quantities involved.',
textLength: '2636',
alias: 'bayes_rule_proof_math1',
externalUrl: '',
sortChildrenBy: 'likes',
hasVote: 'false',
voteType: '',
votesAnonymous: 'false',
editCreatorId: 'NateSoares',
editCreatedAt: '2016-07-10 21:25:37',
pageCreatorId: 'EliezerYudkowsky',
pageCreatedAt: '2016-02-11 04:09:01',
seeDomainId: '0',
editDomainId: '123',
submitToDomainId: '0',
isAutosave: 'false',
isSnapshot: 'false',
isLiveEdit: 'true',
isMinorEdit: 'false',
indirectTeacher: 'false',
todoCount: '1',
isEditorComment: 'false',
isApprovedComment: 'true',
isResolved: 'false',
snapshotText: '',
anchorContext: '',
anchorText: '',
anchorOffset: '0',
mergedInto: '',
isDeleted: 'false',
viewCount: '624',
text: '[todo: This page has been orphaned, for being insufficiently different from /p/1xr (and not much easier to read). It should probably be deleted.]\n\nIn what follows, $H_i$ and $H_j$ are two competing hypotheses, and $e$ is the evidence. Bayes' rule (in the [1x5 odds form]) says:\n\n$$\n\\dfrac{\\mathbb P(H_i)}{\\mathbb P(H_j)}\n\\cdot \n\\dfrac{\\mathbb P(e\\mid H_i)}{\\mathbb P(e\\mid H_j)} = \n\\dfrac{\\mathbb P(H_i\\mid e)}{\\mathbb P(H_j\\mid e)}\n$$\n\nThe quantity $\\frac{\\mathbb P(H_i)}{\\mathbb P(H_j)}$ is the [1rm prior] odds. E.g., in the Diseasitis problem, dividing 20% by 80% gives us 1/4, which represents [-1rb] of (1 : 4).\n\nThe quantity $\\frac{\\mathbb P(e\\mid H_i)}{\\mathbb P(e\\mid H_j)}$ is the [56t likelihood ratio]. For example, in the [22w diseasitis problem], we'd divide $\\frac{\\mathbb P({positive}\\mid {sick})}{\\mathbb P({positive}\\mid \\neg {sick})}$ to get the number 3, indicating "Sick patients are three times as likely as healthy patients to turn the tongue depressor black."\n\nThe quantity $\\frac{\\mathbb P(H_i\\mid e)}{\\mathbb P(H_j\\mid e)}$ is the [1rp posterior] odds ratio. E.g., in the Diseasitis problem, $\\frac{\\mathbb P({sick}\\mid {positive})}{\\mathbb P(\\neg {sick}\\mid {positive})}$ works out to an odds ratio of 3/4, which are odds of (3 : 4). We indeed have that 1/4 * 3 = 3/4, so the rule is numerically true in this case.\n\nThe proof of Bayes's Rule in its general form proceeds by repeatedly applying the definition of conditional probability, $\\mathbb P(X\\mid Y) = \\frac{\\mathbb P(X \\wedge Y)}{\\mathbb P(Y)}.$\n\n$$\n\\dfrac{\\mathbb P(H_i)}{\\mathbb P(H_j)} \\times \\dfrac{\\mathbb P(e\\mid H_i)}{\\mathbb P(e\\mid H_j)}\n= \\dfrac{\\mathbb P(e \\wedge H_i)}{\\mathbb P(e \\wedge H_j)}\n= \\dfrac{\\mathbb P(e \\wedge H_i) / \\mathbb P(e)}{\\mathbb P(e \\wedge H_j) / \\mathbb P(e)}\n= \\dfrac{\\mathbb P(H_i\\mid e)}{\\mathbb P(H_j\\mid e)}\n$$\n\nIn the Diseasitis problem, the corresponding quantities would be:\n\n$$\\dfrac{20\\%}{80\\%} \\times \\dfrac{90\\%}{30\\%} = \\dfrac{18\\%}{24\\%} = \\dfrac{0.18 / 0.42}{0.24 / 0.42} = \\dfrac{43\\%}{57\\%}$$\n\nVisualizing the proof graphically:\n\n\n\nWhich can be read as saying: The ratio of the initial sick population (red) to the initial healthy population (blue), times the ratio of positive results (+) in the sick population to positive results in the blue population, equals the ratio of the positive-and-red population to positive-and-blue population. Thus we can divide both into the proportion of the whole population (grey) which got positive results, yielding the posterior odds of sick (red) vs healthy (blue) among only those with positive results.\n',
metaText: '',
isTextLoaded: 'true',
isSubscribedToDiscussion: 'false',
isSubscribedToUser: 'false',
isSubscribedAsMaintainer: 'false',
discussionSubscriberCount: '2',
maintainerCount: '2',
userSubscriberCount: '0',
lastVisit: '2016-02-21 13:17:06',
hasDraft: 'false',
votes: [],
voteSummary: 'null',
muVoteSummary: '0',
voteScaling: '0',
currentUserVote: '-2',
voteCount: '0',
lockedVoteType: '',
maxEditEver: '0',
redLinkCount: '0',
lockedBy: '',
lockedUntil: '',
nextPageId: '',
prevPageId: '',
usedAsMastery: 'false',
proposalEditNum: '0',
permissions: {
edit: {
has: 'false',
reason: 'You don't have domain permission to edit this page'
},
proposeEdit: {
has: 'true',
reason: ''
},
delete: {
has: 'false',
reason: 'You don't have domain permission to delete this page'
},
comment: {
has: 'false',
reason: 'You can't comment in this domain because you are not a member'
},
proposeComment: {
has: 'true',
reason: ''
}
},
summaries: {},
creatorIds: [
'NateSoares',
'EliezerYudkowsky',
'JaimeSevillaMolina'
],
childIds: [],
parentIds: [],
commentIds: [
'2h3'
],
questionIds: [],
tagIds: [],
relatedIds: [],
markIds: [],
explanations: [],
learnMore: [],
requirements: [
{
id: '2141',
parentId: 'math1',
childId: 'bayes_rule_proof_math1',
type: 'requirement',
creatorId: 'AlexeiAndreev',
createdAt: '2016-06-17 21:58:56',
level: '1',
isStrong: 'false',
everPublished: 'true'
},
{
id: '2308',
parentId: 'diseasitis',
childId: 'bayes_rule_proof_math1',
type: 'requirement',
creatorId: 'AlexeiAndreev',
createdAt: '2016-06-17 21:58:56',
level: '1',
isStrong: 'false',
everPublished: 'true'
},
{
id: '2309',
parentId: 'bayes_rule',
childId: 'bayes_rule_proof_math1',
type: 'requirement',
creatorId: 'AlexeiAndreev',
createdAt: '2016-06-17 21:58:56',
level: '1',
isStrong: 'false',
everPublished: 'true'
},
{
id: '5117',
parentId: 'conditional_probability',
childId: 'bayes_rule_proof_math1',
type: 'requirement',
creatorId: 'NateSoares',
createdAt: '2016-07-10 21:10:22',
level: '1',
isStrong: 'false',
everPublished: 'true'
}
],
subjects: [
{
id: '5115',
parentId: 'bayes_rule',
childId: 'bayes_rule_proof_math1',
type: 'subject',
creatorId: 'NateSoares',
createdAt: '2016-07-10 21:05:08',
level: '3',
isStrong: 'false',
everPublished: 'true'
},
{
id: '5116',
parentId: 'bayes_rule_odds',
childId: 'bayes_rule_proof_math1',
type: 'subject',
creatorId: 'NateSoares',
createdAt: '2016-07-10 21:05:20',
level: '3',
isStrong: 'false',
everPublished: 'true'
}
],
lenses: [],
lensParentId: '',
pathPages: [],
learnMoreTaughtMap: {},
learnMoreCoveredMap: {
'1lz': [
'1x5',
'1zg',
'1zj',
'554'
],
'1x5': [
'1zg'
]
},
learnMoreRequiredMap: {},
editHistory: {},
domainSubmissions: {},
answers: [],
answerCount: '0',
commentCount: '0',
newCommentCount: '0',
linkedMarkCount: '0',
changeLogs: [
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '16401',
pageId: 'bayes_rule_proof_math1',
userId: 'NateSoares',
edit: '7',
type: 'newEdit',
createdAt: '2016-07-10 21:25:37',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: 'Orphaning this page, because it's not sufficiently different (nor sufficiently easy to read) from the main lens. It should probably be deleted.'
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '16400',
pageId: 'bayes_rule_proof_math1',
userId: 'NateSoares',
edit: '0',
type: 'deleteParent',
createdAt: '2016-07-10 21:24:22',
auxPageId: 'bayes_rule_proof',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '16390',
pageId: 'bayes_rule_proof_math1',
userId: 'NateSoares',
edit: '6',
type: 'newEdit',
createdAt: '2016-07-10 21:12:55',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '16389',
pageId: 'bayes_rule_proof_math1',
userId: 'NateSoares',
edit: '0',
type: 'newRequirement',
createdAt: '2016-07-10 21:10:22',
auxPageId: 'conditional_probability',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '16388',
pageId: 'bayes_rule_proof_math1',
userId: 'NateSoares',
edit: '0',
type: 'deleteRequirement',
createdAt: '2016-07-10 21:10:17',
auxPageId: 'bayes_probability_notation',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '16385',
pageId: 'bayes_rule_proof_math1',
userId: 'NateSoares',
edit: '0',
type: 'newSubject',
createdAt: '2016-07-10 21:05:21',
auxPageId: 'bayes_rule_odds',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '16383',
pageId: 'bayes_rule_proof_math1',
userId: 'NateSoares',
edit: '0',
type: 'newSubject',
createdAt: '2016-07-10 21:05:09',
auxPageId: 'bayes_rule',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '16381',
pageId: 'bayes_rule_proof_math1',
userId: 'NateSoares',
edit: '0',
type: 'deleteSubject',
createdAt: '2016-07-10 21:05:01',
auxPageId: 'bayes_rule_proof',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '15896',
pageId: 'bayes_rule_proof_math1',
userId: 'NateSoares',
edit: '5',
type: 'newEdit',
createdAt: '2016-07-07 01:46:49',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '15092',
pageId: 'bayes_rule_proof_math1',
userId: 'NateSoares',
edit: '4',
type: 'newEdit',
createdAt: '2016-07-02 00:00:39',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '13028',
pageId: 'bayes_rule_proof_math1',
userId: 'JaimeSevillaMolina',
edit: '3',
type: 'newEdit',
createdAt: '2016-06-15 11:51:18',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '8106',
pageId: 'bayes_rule_proof_math1',
userId: 'NateSoares',
edit: '2',
type: 'newEdit',
createdAt: '2016-03-03 03:16:50',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '7592',
pageId: 'bayes_rule_proof_math1',
userId: 'EliezerYudkowsky',
edit: '1',
type: 'newRequirement',
createdAt: '2016-02-22 21:21:26',
auxPageId: 'bayes_rule',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '7590',
pageId: 'bayes_rule_proof_math1',
userId: 'EliezerYudkowsky',
edit: '1',
type: 'newRequirement',
createdAt: '2016-02-22 21:21:23',
auxPageId: 'diseasitis',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '7588',
pageId: 'bayes_rule_proof_math1',
userId: 'EliezerYudkowsky',
edit: '0',
type: 'deleteRequirement',
createdAt: '2016-02-22 21:21:15',
auxPageId: 'bayes_rule',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '7586',
pageId: 'bayes_rule_proof_math1',
userId: 'EliezerYudkowsky',
edit: '0',
type: 'deleteRequirement',
createdAt: '2016-02-22 21:21:13',
auxPageId: 'conditional_probability',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '6867',
pageId: 'bayes_rule_proof_math1',
userId: 'EliezerYudkowsky',
edit: '1',
type: 'newEdit',
createdAt: '2016-02-11 04:09:01',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '6866',
pageId: 'bayes_rule_proof_math1',
userId: 'EliezerYudkowsky',
edit: '0',
type: 'newRequirement',
createdAt: '2016-02-11 04:08:51',
auxPageId: 'math1',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '6862',
pageId: 'bayes_rule_proof_math1',
userId: 'EliezerYudkowsky',
edit: '0',
type: 'newRequirement',
createdAt: '2016-02-11 04:08:07',
auxPageId: 'bayes_rule',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '6860',
pageId: 'bayes_rule_proof_math1',
userId: 'EliezerYudkowsky',
edit: '0',
type: 'newSubject',
createdAt: '2016-02-11 04:03:41',
auxPageId: 'bayes_rule_proof',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '6858',
pageId: 'bayes_rule_proof_math1',
userId: 'EliezerYudkowsky',
edit: '0',
type: 'newRequirement',
createdAt: '2016-02-11 04:03:32',
auxPageId: 'bayes_probability_notation',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '6856',
pageId: 'bayes_rule_proof_math1',
userId: 'EliezerYudkowsky',
edit: '0',
type: 'newRequirement',
createdAt: '2016-02-11 04:03:26',
auxPageId: 'conditional_probability',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '6854',
pageId: 'bayes_rule_proof_math1',
userId: 'EliezerYudkowsky',
edit: '0',
type: 'newParent',
createdAt: '2016-02-11 04:02:43',
auxPageId: 'bayes_rule_proof',
oldSettingsValue: '',
newSettingsValue: ''
}
],
feedSubmissions: [],
searchStrings: {},
hasChildren: 'false',
hasParents: 'false',
redAliases: {},
improvementTagIds: [],
nonMetaTagIds: [],
todos: [],
slowDownMap: 'null',
speedUpMap: 'null',
arcPageIds: 'null',
contentRequests: {}
}