Silvia De Toffoli, telling us about Rigor, Intuition, and Diagrams, in a #SIFA2023 session on the use of diagrams in mathematical proof.

#diagrams #proofs #PhilosophyOfMathematics

Is #math just symbol pushing?

When Computers Write Proofs, What's the Point of Mathematicians? https://youtu.be/3l1RMiGeTfU?si=sQMFAK7tzkS4ODZp

#ai #reasoning #mathematics #proofs #generativeAI

I have spent the last year and a half writing code and text to explain elliptic curve pairings for use in #cryptography. You can find the early version here: http://mng.bz/D9NA This math is used in #blockchain software for #zero #knowledge #proofs and multi-node #signatures.

Typically implemented by PhD's in math, elliptic curve pairing is complicated. This book gets you up to speed explaining the minimum required to get the job done. Your feedback will help improve the book for others!

Nice.

"Mathematicians thought they were on the cusp of proving a conjecture about the ancient structures known as Apollonian circles. But a summer project would lead to its downfall."

https://www.quantamagazine.org/two-students-unravel-a-widely-believed-math-conjecture-20230810/

#Mathematics #Conjectures #Proofs

Then, intro to #proofs:
http://johannafranklin.net/haiku/math114_s23_haiku.html

https://www.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

https://yewtu.be/watch?v=xeOgRPJYdo8

@nova So all of those sustainable discussions should begin with the paragraph: here is everything I can’t prove about what I am going to tell you. #science still hasn’t reached the probability of, say, mathematics. #proof #proofs #mathematics #conspiracies

@michael_w_busch Until science has the same provability as math, the abstract should include a statement listing all the things that can’t be proven in the article. #science #proof #proofs #mathematics

#Adobe, #blockchains, #distributedledgers, #formalverification, #IBM, #patents, #proofs, #smartcontracts

IBM and Adobe Smart Contract and Blockchain Patents (Managing Rights Management)
https://bit.ly/3kg9qup

Warning: Ignorant hot take 👇

Lean and Coq are terrible. The proofs in mathlib are impossible to read (tactics are very opaque). And with them, I am starting to question dependent type theory and even types.

Let's question the fundamental justification for types: they help us avoid paradoxes and self-contradictions. I fundamentally disagree with the "avoiding" part. I WANT them expressible in my language, not eliminated! How else can we talk about them?

#typetheory #mathematics #proofs

OMG! Proofs are here! Thursday Work Stream -- Come work with me! http://twitch.tv/worthyadvisor #author #books #bookstadon #novels #proofs

#Introduction Hello, I’m Bharath. I recently dropped out of #IndianaEast; however, I’m looking to come back next fall or spring. I can be somewhat of a #crank whose research interests prevent me from completing my studies. Note I prefer writing #definitions over #proofs as proofs require far more reading and experience. (For this reason, I’m only a fraction of a true #mathematician and have a long way to go before learning to write like a professional.) Still, I named a place to share ideas….

@euclideanpoet I agree that has merit, but funny thing is, that reminds me of a couple articles #Chaitin wrote a couple decades back, the thrust of which was to make a case that pure #mathematicians have ignored #Godel too much, and that the pursuit of #proofs is at least partially a fool's game in the long run.

And I had the exact same reaction as you did to this, but in the opposite direction.

#math #maths #theory

The #call of #God hath been raised, and the #light of His countenance hath been lifted up upon men. It behoveth every man to blot out the trace of every idle word from the tablet of his heart, and to gaze, with an open and unbiased mind, on the #signs of His Revelation, the #proofs of His Mission, and the tokens of His glory.

Bahá'u'lláh

Baha'u'llah, Gleanings from the Writings of Baha'u'llah, p. 10
#bahai

The #call of #God hath been raised, and the #light of His countenance hath been lifted up upon men. It behoveth every man to blot out the trace of every idle word from the tablet of his heart, and to gaze, with an open and unbiased mind, on the #signs of His Revelation, the #proofs of His Mission, and the tokens of His glory.

Bahá'u'lláh

Baha'u'llah, Gleanings from the Writings of Baha'u'llah, p. 10
#bahai

@chris_sangwin

Don't know about the “elementary” part but I think I first read about that particular #Heuristic in #Polya's #HowToSolveIt, where he remarks it working especially well in #Proofs by #MathematicalInduction, where it acts to #PrimeThePump of the #InductiveProof.

#Synchronicity being what it is, this came up just the other day in a more general setting ☟

• https://inquiryintoinquiry.com/2022/10/14/abduction-deduction-induction-analogy-inquiry-31/

#math #mathproof #proofs #primes #numbertheory

Having a really interesting experience with a set of #proofs. The journal sent the accepted manuscript directly to proof stages without any copy-editing, so I'm having to do things like change to house style on the first set of actual proofs, rather than on a Word document in a copy-editing phase (as I'm used to). Feels very weird to me, but I guess this is just a different way of doing things!

#AcademicWriting

After 18 years of gap, I am back to studing #mathematics. Just completed revising myself with #precalculus. Any suggestion on #book I should prefer the next?

#maths #calculus #analysis #mathematician #BookSuggestion
P.S. Interested in #proofs than problems solving.