Great! Maybe we should add this to set.mm, section 18.2.
[email protected] schrieb am Mittwoch, 18. Juni 2025 um 21:18:14 UTC+2:
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 )
-------------------------------------------
On Wednesday, June 18, 2025 at 6:42:31 PM UTC+2 Alexander van der Vekens
wrote:
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 [email protected].
To view this discussion visit
https://groups.google.com/d/msgid/metamath/94352c40-1c2d-47d0-a366-3ce58e7068ean%40googlegroups.com.
