Replied in thread
@benleis Here is a visual proof of Ptolemy's theorem I just draw.
#proofs
0 posts0 participants0 posts today
First author paper out in the wild. It's challenging as an independent researcher, but it can be done. This has been a long time coming. Maybe more in the future
https://zenodo.org/records/11214976
#paper #math #matheducation #proofs
Should show up in a couple other locations as well hopefully (pending reviews)
ZenodoApplicability Operator Approach to Mathematical ProofsTeaching proofs of theorems and encouraging students to both comprehend written proofsand originate their own can at times be a difficult undertaking. This, is due, in partto the lack of a single unifying process by which one can approach mathematical proofs.In this paper a method using set theory as a foundation is presented.
Cheers @rzeta0, was this the book about proofs you have been reading? Or is it another one?
www.people.vcu.eduBook of Proof
In #Academics including #Math and #ComputerScience one of the biggest things I learned was to be #Methodical. #Proofs and #ComputerPrograms require clear thought. Knowing #FormalLogic was extremely valuable, one of my favorite classes in #college.
In the #ModernWorld of #AI lending a hand to any possible human #intellectual endeavor, I wonder if people will become less likely to learn and practice formal logic.
There are literally hundreds of #proofs of #Pythagorus’ #Theorem and this book has about three hundred of them. It was published in the 1920s but my copy was printed to order and bound in #India. I hope it will be both a reference and a talking point.
Oxford commas are the USB paradox of the copy-editors.
If you use them, the copy-editors want them removed. If you do not use them, the copy-editors want you to use them.
This paradox, though, rarely goes to the third stage where they want you to either start using the commas or remove them again.
Silvia De Toffoli, telling us about Rigor, Intuition, and Diagrams, in a #SIFA2023 session on the use of diagrams in mathematical proof.
youtube.com/@pagene#PaigeRandallNorth
good resource for #mathbasics and touch of #lean #leantheoremprover #proofs #mathproof #mathproving
"What is Salafiyyah and who are the Real Salafis - Shaykh Abu Khadeejah"
#Islaam #religion #Tawheed #salafiyyah #basics #knowledge #salafism #proofs
Continued thread
I'll be delivering a course on #Propositions and #Types , #Proofs and #Programs in the second week. Should be fun! http://lss.cecs.anu.edu.au/lectures/2022/2022/#ranald
Logic Summer School @ANU2022 Program2022 Program