|
You are here |
g-w1.github.io | ||
| | | | |
nulliq.dev
|
|
| | | | | In search of a better dot product | |
| | | | |
www.jeremykun.com
|
|
| | | | | This proof assumes knowledge of complex analysis, specifically the notions of analytic functions and Liouville's Theorem (which we will state below). The fundamental theorem of algebra has quite a few number of proofs (enough to fill a book!). In fact, it seems a new tool in mathematics can prove its worth by being able to prove the fundamental theorem in a different way. This series of proofs of the fundamental theorem also highlights how in mathematics there are many many ways to prove a single theorem... | |
| | | | |
richardzach.org
|
|
| | | | | Paolo Mancosu, Sergio Galvan, and Richard Zach. An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs. Oxford: Oxford University Press, 2021. DOI: 10.1093/oso/9780... | |
| | | | |
andrewmcgettigan.org
|
|
| | | A short article for History UK on recent changes to student loan repayment terms and what happens as inflation continues to erode the value of the undergraduate tuition fee. | ||