cenobyte, to math
@cenobyte@mastodon.thirring.org avatar

First authorb 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)

villares, to math Portuguese
@villares@ciberlandia.pt avatar

Cheers @rzeta0, was this the book about proofs you have been reading? Or is it another one?

https://www.people.vcu.edu/~rhammack/BookOfProof/

#Mathodon #Math #Maths #Proofs

nono2357, to Bitcoin
Snowshadow, to math
@Snowshadow@mastodon.social avatar

Complexity Theory’s 50-Year Journey to the Limits of Knowledge

"How hard is it to prove that problems are hard to solve? Meta-complexity theorists have been asking questions like this for decades. A string of recent results has started to deliver answers.

#math #computerscience #computers #cryptography #logic #proofs #computablity #complexity

https://www.quantamagazine.org/complexity-theorys-50-year-journey-to-the-limits-of-knowledge-20230817/?mc_cid=3a7c726c9f

mkwadee, to india
@mkwadee@mastodon.org.uk avatar

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.

#Mathematics #Maths #Geometry

matthewconroy, to mathematics
@matthewconroy@mathstodon.xyz avatar

One of my favorite people in the whole wide world, Edwin O'Shea, died this week. To give you a little idea of who Edwin was, here is a great piece he wrote about proofs and proof writing and love and love songs. I miss him very much already. https://digitaleditions.sheridan.com/publication/?i=543383&article_id=3241171&view=articleBrowser
#mathematics #love #proofs

BenjaminHan, to math
@BenjaminHan@sigmoid.social avatar

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

Atexjam, to random

youtube.com/@pagene#PaigeRandallNorth
good resource for #mathbasics and touch of #lean #leantheoremprover #proofs #mathproof #mathproving

  • All
  • Subscribed
  • Moderated
  • Favorites
  • megavids
  • thenastyranch
  • rosin
  • GTA5RPClips
  • osvaldo12
  • love
  • Youngstown
  • slotface
  • khanakhh
  • everett
  • kavyap
  • mdbf
  • DreamBathrooms
  • ngwrru68w68
  • provamag3
  • magazineikmin
  • InstantRegret
  • normalnudes
  • tacticalgear
  • cubers
  • ethstaker
  • modclub
  • cisconetworking
  • Durango
  • anitta
  • Leos
  • tester
  • JUstTest
  • All magazines