⬇️⬇️⬇️ The "Math" of Fear
As it is Thursday, I have a post for you today in anticipation of Gov. DeWine's new Maps of Fear which he has tried to phase in. I have previously discussed both the new red and blue maps and their issues -
The first is a hyper-simplistic (and unrealistic) but illustrative example of the calculations that the new blue map goes through to arrive at its numbers.
But that's not how Gov. DeWine would present this situation to us. Instead of looking at the total available beds, they look only at the beds in use.
By manipulating the numbers, they have increased the real percentage by a third.
More from Maths
OK, I may be guilty of a DoS attack attempt on mathematicians' brains here, so lest anyone waste too much precious brain time decoding this deliberately cryptic statement, let me do it for you. •1/15
First, as some asked, it is to be parenthesized as: “∀x.∀y.((∀z.((z∈x) ⇒ (((∀t.((t∈x) ⇒ ((t∈z) ⇒ (t∈y))))) ⇒ (z∈y)))) ⇒ (∀z.((z∈x) ⇒ (z∈y))))” (the convention is that ‘⇒’ is right-associative: “P⇒Q⇒R” means “P⇒(Q⇒R)”), but this doesn't clarify much. •2/15
Maybe we can make it a tad less abstruse by using guarded quantifiers (“∀u∈x.(…)” stands for “∀u.((u∈x)⇒(…))”): it is then “∀x.∀y.((∀z∈x.(((∀t∈x.((t∈z) ⇒ (t∈y)))) ⇒ (z∈y))) ⇒ (∀z∈x.(z∈y)))”. •3/15
Maybe a tad clearer again by writing “P(u)” for “u∈y” and leaving out the quantifier on y, viꝫ: “∀x.((∀z∈x.(((∀t∈x.((t∈z) ⇒ P(t)))) ⇒ P(z))) ⇒ (∀z∈x.P(z)))” [✯]. Now it appears as an induction principle: namely, … •4/15
… “in order to prove P(z) for all z∈x, we can assume, when proving P(z), that P(t) is already known for all t∈z∩x” (n.b.: “(∀z.(Q(z)⇒P(z)))⇒(∀z.P(z))” can be read “in order to prove P(z) for all z, we can assume Q(z) known when proving P(z)”). •5/15
\u2200x.\u2200y.((\u2200z.((z\u2208x) \u21d2 ((\u2200t.((t\u2208x) \u21d2 (t\u2208z) \u21d2 (t\u2208y)))) \u21d2 (z\u2208y))) \u21d2 (\u2200z.((z\u2208x) \u21d2 (z\u2208y))))
— Gro-Tsen (@gro_tsen) February 12, 2021
First, as some asked, it is to be parenthesized as: “∀x.∀y.((∀z.((z∈x) ⇒ (((∀t.((t∈x) ⇒ ((t∈z) ⇒ (t∈y))))) ⇒ (z∈y)))) ⇒ (∀z.((z∈x) ⇒ (z∈y))))” (the convention is that ‘⇒’ is right-associative: “P⇒Q⇒R” means “P⇒(Q⇒R)”), but this doesn't clarify much. •2/15
Maybe we can make it a tad less abstruse by using guarded quantifiers (“∀u∈x.(…)” stands for “∀u.((u∈x)⇒(…))”): it is then “∀x.∀y.((∀z∈x.(((∀t∈x.((t∈z) ⇒ (t∈y)))) ⇒ (z∈y))) ⇒ (∀z∈x.(z∈y)))”. •3/15
Maybe a tad clearer again by writing “P(u)” for “u∈y” and leaving out the quantifier on y, viꝫ: “∀x.((∀z∈x.(((∀t∈x.((t∈z) ⇒ P(t)))) ⇒ P(z))) ⇒ (∀z∈x.P(z)))” [✯]. Now it appears as an induction principle: namely, … •4/15
… “in order to prove P(z) for all z∈x, we can assume, when proving P(z), that P(t) is already known for all t∈z∩x” (n.b.: “(∀z.(Q(z)⇒P(z)))⇒(∀z.P(z))” can be read “in order to prove P(z) for all z, we can assume Q(z) known when proving P(z)”). •5/15
Loops and their multiplication groups
A thread in 15 parts
(0/15)
Recall that a quasigroup (Q,*) is a set Q with a binary operation * such that for each a,b in Q, the equations a*x=b and y*a=b have unique solutions x,y. Groups are quasigroups and this property is usually one of the first things proved in elementary group theory.
(1/15)
Note that we don't assume associativity of *!
A loop is a quasigroup with an identity element. The story of why they are called loops is an interesting one and may even be true, but I will save it for another day. I am going to focus on loops in this thread.
(2/15)
Natural examples of nonassociative loops:
- The nonzero octonions under multiplication
- The sphere S^7 under octonion multiplication
- I have discussed other examples
For each x in a loop Q, define the left & right translations L_x, R_x : Q->Q by L_x(y)=xy and R_x(y)=yx. These mappings are permutations of Q. The composition L_x L_y of two left translations is not necessarily a left translation because Q is not necessarily associative.
(4/15)
A thread in 15 parts
(0/15)
Recall that a quasigroup (Q,*) is a set Q with a binary operation * such that for each a,b in Q, the equations a*x=b and y*a=b have unique solutions x,y. Groups are quasigroups and this property is usually one of the first things proved in elementary group theory.
(1/15)
Note that we don't assume associativity of *!
A loop is a quasigroup with an identity element. The story of why they are called loops is an interesting one and may even be true, but I will save it for another day. I am going to focus on loops in this thread.
(2/15)
Natural examples of nonassociative loops:
- The nonzero octonions under multiplication
- The sphere S^7 under octonion multiplication
- I have discussed other examples
Rethinking Vector Addition
— Michael Kinyon (@ProfKinyon) December 1, 2020
or
How I Learned to Stop Worrying and Love Nonassociativity
A thread in 29 tweets
(0/28)
For each x in a loop Q, define the left & right translations L_x, R_x : Q->Q by L_x(y)=xy and R_x(y)=yx. These mappings are permutations of Q. The composition L_x L_y of two left translations is not necessarily a left translation because Q is not necessarily associative.
(4/15)
You May Also Like
1. Project 1742 (EcoHealth/DTRA)
Risks of bat-borne zoonotic diseases in Western Asia
Duration: 24/10/2018-23 /10/2019
Funding: $71,500
@dgaytandzhieva
https://t.co/680CdD8uug
2. Bat Virus Database
Access to the database is limited only to those scientists participating in our ‘Bats and Coronaviruses’ project
Our intention is to eventually open up this database to the larger scientific community
https://t.co/mPn7b9HM48
3. EcoHealth Alliance & DTRA Asking for Trouble
One Health research project focused on characterizing bat diversity, bat coronavirus diversity and the risk of bat-borne zoonotic disease emergence in the region.
https://t.co/u6aUeWBGEN
4. Phelps, Olival, Epstein, Karesh - EcoHealth/DTRA
5, Methods and Expected Outcomes
(Unexpected Outcome = New Coronavirus Pandemic)
Risks of bat-borne zoonotic diseases in Western Asia
Duration: 24/10/2018-23 /10/2019
Funding: $71,500
@dgaytandzhieva
https://t.co/680CdD8uug
2. Bat Virus Database
Access to the database is limited only to those scientists participating in our ‘Bats and Coronaviruses’ project
Our intention is to eventually open up this database to the larger scientific community
https://t.co/mPn7b9HM48
3. EcoHealth Alliance & DTRA Asking for Trouble
One Health research project focused on characterizing bat diversity, bat coronavirus diversity and the risk of bat-borne zoonotic disease emergence in the region.
https://t.co/u6aUeWBGEN
4. Phelps, Olival, Epstein, Karesh - EcoHealth/DTRA
5, Methods and Expected Outcomes
(Unexpected Outcome = New Coronavirus Pandemic)