Thursday, September 15, 2016

MF198-199: Unique factorization and its difficulties (English)

The Unique Factorization Theorem is also called the Fundamental Theorem of Arithmetic: the existence and uniqueness of a prime factorization for a natural number n. It is a pillar of number theory, and goes back to Euclid. We want to have a look at the logical structure of this theorem.