Tootfinder

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

@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!"
@SmartmanApps@dotnet.social
2025-11-10 08:59:00

1/10
#MathsMonday
This #Mathematics article came across my feed, about how #Maths #teachers te…