mathematics
- Oct- 2020 -19 OctoberScience
The Effort to Build the Mathematical Library of the Future
“In one crazy weekend I spent 12 hours a day [on it],” she said. “It was totally addictive.” Other mathematicians…
Read More » - Jul- 2020 -19 JulyProduct Reviews
How Gödel’s Proof Works | WIRED
To see how substitution works, consider the formula (∃x)(x = sy). (It reads, “There exists some variable x that is…
Read More »
