Lectures related to Introduction to Proofs

Explores the proof of the Prime Number Theorem and its implications in number theory.

Explains the Wronskian and its role in determining linear independence of solutions to differential equations.

Explores the axiom of separating the plane into two half-planes and the concept of interior points.

Explores subset properties, contraposition, and equivalence in linear algebra.

Introduces Coq, covering defining propositions, proving theorems, and using tactics.

Explores harmonic forms on Riemann surfaces and the uniqueness of solutions to harmonic equations.

Covers the proof of the explicit formula for the non-vanishing of the zeta function at the 1-line.

Explores geodesic convexity in metric spaces and its applications, discussing properties and the stability of inequalities.

Covers deriving integrals with parameters and their derivatives, including special cases and proofs.