Tootfinder

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

@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
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-11-10 08:59:00

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