I was taught differential forms forty years ago and found them absolutely revelatory.
1️⃣ { x | P }
🟦🟦🟦🟦⬜️⬜️⬜️⬜️⬜️⬜️ (14)
2️⃣ { x : P }
🟦🟦🟦⬜️⬜️⬜️⬜️⬜️⬜️⬜️ (9)
3️⃣ { x ; P }
🟦🟦⬜️⬜️⬜️⬜️⬜️⬜️⬜️⬜️ (6)
4️⃣ { x s.t. P }
🟦🟦⬜️⬜️⬜️⬜️⬜️⬜️⬜️⬜️ (7)
The third is still used in parts of central Europe. I have a colleague who uses it, much to his students' confusion.
The fourth is there just to mess with you all. 😁
1️⃣ <a href="https://poll.blue/p/grBlDn/1" class="hover:underline text-blue-600 dark:text-sky-400 no-card-link" target="_blank" rel="noopener" data-link="bsky">{ x | P }
2️⃣ <a href="https://poll.blue/p/grBlDn/2" class="hover:underline text-blue-600 dark:text-sky-400 no-card-link" target="_blank" rel="noopener" data-link="bsky">{ x : P }
3️⃣ <a href="https://poll.blue/p/grBlDn/3" class="hover:underline text-blue-600 dark:text-sky-400 no-card-link" target="_blank" rel="noopener" data-link="bsky">{ x ; P }
4️⃣ <a href="https://poll.blue/p/grBlDn/4" class="hover:underline text-blue-600 dark:text-sky-400 no-card-link" target="_blank" rel="noopener" data-link="bsky">{ x s.t. P }
📊 Show results
The third is still used in parts of central Europe. I have a colleague who uses it, much to his students' confusion.
The fourth is there just to mess with you all. 😁
1️⃣ <a href="https://poll.blue/p/grBlDn/1" class="hover:underline text-blue-600 dark:text-sky-400 no-card-link" target="_blank" rel="noopener" data-link="bsky">{ x | P }
2️⃣ <a href="https://poll.blue/p/grBlDn/2" class="hover:underline text-blue-600 dark:text-sky-400 no-card-link" target="_blank" rel="noopener" data-link="bsky">{ x : P }
3️⃣ <a href="https://poll.blue/p/grBlDn/3" class="hover:underline text-blue-600 dark:text-sky-400 no-card-link" target="_blank" rel="noopener" data-link="bsky">{ x ; P }
4️⃣ <a href="https://poll.blue/p/grBlDn/4" class="hover:underline text-blue-600 dark:text-sky-400 no-card-link" target="_blank" rel="noopener" data-link="bsky">{ x s.t. P }
📊 Show results
1️⃣ <a href="https://poll.blue/p/grBlDn/1" class="hover:underline text-blue-600 dark:text-sky-400 no-card-link" target="_blank" rel="noopener" data-link="bsky">{ x | P }
2️⃣ <a href="https://poll.blue/p/grBlDn/2" class="hover:underline text-blue-600 dark:text-sky-400 no-card-link" target="_blank" rel="noopener" data-link="bsky">{ x : P }
3️⃣ <a href="https://poll.blue/p/grBlDn/3" class="hover:underline text-blue-600 dark:text-sky-400 no-card-link" target="_blank" rel="noopener" data-link="bsky">{ x ; P }
4️⃣ <a href="https://poll.blue/p/grBlDn/4" class="hover:underline text-blue-600 dark:text-sky-400 no-card-link" target="_blank" rel="noopener" data-link="bsky">{ x s.t. P }
📊 Show results
The board, 20 minutes later:
Thm: G cyc gp, H ≤ G => H cyc.
Pf:...
The board, 20 minutes later:
Thm: G cyc gp, H ≤ G => H cyc.
Pf:...
"We will avoid the debate over whether the Renaissance was real or just an invention of 19th century historians. We will use the term as a marker for the period from roughly 1350-1550."
"We will avoid the debate over whether the Renaissance was real or just an invention of 19th century historians. We will use the term as a marker for the period from roughly 1350-1550."
*continues to scroll bsky*
*continues to scroll bsky*
1) Look at the last line. The prover proved "for all x,y, x=y".
2) Go to the beginning. There is a typo in one of the hypotheses.
3) Stare at a blank wall. Regret your life choices.
4) Repeat ad nauseum.
1) Look at the last line. The prover proved "for all x,y, x=y".
2) Go to the beginning. There is a typo in one of the hypotheses.
3) Stare at a blank wall. Regret your life choices.
4) Repeat ad nauseum.
"How many intersections do two algebraic varieties have?"
You could probably do this with any math subject tbh...
#mathsky #maths #scisky
"How many intersections do two algebraic varieties have?"
You could probably do this with any math subject tbh...
#mathsky #maths #scisky
\int x cos(x) dx = \int x d(sin(x)) = x sin(x) - \int sin(x) dx = x sin(x) + cos(x) + C
\\[ \int_a^b f'(x)g(x)dx = \big[f(b)g(b) - f(a)b(a)\big] - \int_a^b f(x)dg(x)\\]
can be done with a pair of functions \\(f,g\\) (on an interval in the reals, with […]
\int x cos(x) dx = \int x d(sin(x)) = x sin(x) - \int sin(x) dx = x sin(x) + cos(x) + C
Heffernan-MacHale Conjecture: If p(n) divides n!, then
n ∈ { 1,2,3,7,9,10,11,12,14,15,16,17,18,19,20,21,24,28,32,33,39 }.
Verified for n ≤ 2x10^6. See oeis.org/A046668
Heffernan-MacHale Conjecture: If p(n) divides n!, then
n ∈ { 1,2,3,7,9,10,11,12,14,15,16,17,18,19,20,21,24,28,32,33,39 }.
Verified for n ≤ 2x10^6. See oeis.org/A046668