Surprising mathematical backgrounds - Pope Leo XIV has a Bachelor's in mathematics

[David A. Wheeler]

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

[Alexander van der Vekens]

So maybe he will prove formally (using Metamath?) that God exists: `|- A. d E. g g = ( G o d ) ` ;-)  

[Igor Ieskov]

Does that prove that God exists?

${
    $d g o $.
    $d G g $.
    $d d g $.
    qed
        $p |- A. d E. g g = ( G o d )
        $= ( cv co wceq wex ovex isseti ax-gen ) AECDEZBEZFZGAHDANCLMIJK $.
$}

--- qed -----------------------------------
 1|   | ovex   | |- ( G o d ) e. _V
 2| 1 | isseti | |- E. g g = ( G o d )
 3| 2 | ax-gen | |- A. d E. g g = ( G o d )
-------------------------------------------

[Gino Giotto]

By adding an appropriate definition, we can prove false and therefore prove that God exists (and also that it doesn't).

[Alexander van der Vekens]

Great! Maybe we should add this to set.mm, section 18.2.