Tootfinder

Opt-in global Mastodon full text search. Join the index!

@jamesthebard@social.linux.pizza
2026-02-23 21:35:56

Nerd sniped myself this time: after getting sniped yesterday with showing that for primes `p >= 5` that `24 | p^2 - 1`, I decided to look at primes `p, q` where `p, q >= 5` and see if `24 | p^2 - q^2`.
#math #nerdsnipe

Given primes p and q where both p and q are greater-than-or-equal-to 5, prove that 24 divides p squared - q squared.
@SmartmanApps@dotnet.social
2025-12-05 10:46:34

Blocked by yet another dude I proved wrong with #Mathematics πŸ™„ and a self-proclaimed "Mathematician" no less. It's incredible how people can't deal with finding out they were wrong... just learn from it and move on, seriously. It's not that hard!
BTW here is the proof he couldn't handle

πŸ’‘πš‚π—†π–Ίπ—‹π—π—†π–Ίπ—‡ π™°π—‰π—‰π—ŒπŸ“± (@smartmanapps.bsky.social)
And here's an inductive proof (which is a formal proof method) (1) show true for a=1 1+b=b+1 subtract 1 both sides b=b true (2) assume true for a=n n+b=b+n (3) show true for a=n+1 n+1+b=b+n+1 subtract 1 both sides n+b=b+n true by (2) thus holds for all values of a

@SmartmanApps@dotnet.social
2025-12-01 05:46:00

1/7
This air-quote #Mathematics unquote article quantamagazine.org/a-new-bridg

OED definition of "finite", which includes "limited in size or extent", and shows that the root word is "finish"
@SmartmanApps@dotnet.social
2026-02-04 00:03:08

Blocked by person refusing to believe a #Mathematics #textbook and #proofs because of a random #Wikipedia …

Captain Jack meme: "The difference between 0.(9) and 1is infinitesimally small" "But there is a difference!"