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/2e6330fe-51bd-4440-a30e-ad11f8b9fa13n%40googlegroups.com.
