So maybe he will prove formally (using Metamath?) that God exists: `|- A. d E. g g = ( G o d ) ` ;-)
David A. Wheeler schrieb am Donnerstag, 8. Mai 2025 um 20:51:51 UTC+2: > I find that many people have surprisingly strong mathematical backgrounds. > > I just learned that the new pope, Pope Leo XIV, holds a bachelor’s degree > in mathematics from Villanova University in Pennsylvania < > https://catholicreview.org/chicago-native-cardinal-prevost-elected-pope-takes-name-leo-xiv/>. > > No doubt there are many other people who have a significant mathematical > background that you would not immediately guess. > > I've often wondered how to find these people to see if they might be > interested in working on Metamath proofs. Not the new pope specifically (I > bet he's busy right now), but others who might be interested in using their > knowledge on the side to work on such proofs. If anyone has ideas on that, > I'd love to know! > > --- David A. Wheeler -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to metamath+unsubscr...@googlegroups.com. To view this discussion visit https://groups.google.com/d/msgid/metamath/068c93e8-2a61-480d-be5a-a229fedd37ebn%40googlegroups.com.
