Furstenberg's topology and his proof of the infinitude of primes.

Published in: Arch. Formal Proofs (2020)

Keyphrases

theorem proving
mathematical proofs
topology preservation
complete axiomatization
artificial intelligence
multimedia
data structure
learning environment
self organizing maps
geometry theorem proving