Foundations of geometry

Hilbert's axioms

Hilbert's axioms are a set of 20 assumptions proposed by David Hilbert in 1899 in his book Grundlagen der Geometrie (tr. The Foundations of Geometry) as the foundation for a modern treatment of Euclidean geometry. Other well-known modern axiomatizations of Euclidean geometry are those of Alfred Tarski and of George Birkhoff. (Wikipedia).

Video thumbnail

Zermelo Fraenkel Introduction

This lecture is part of an online course on the Zermelo Fraenkel axioms of set theory. This lecture gives an overview of the axioms, describes the von Neumann hierarchy, and sketches several approaches to interpreting the axioms (Platonism, von Neumann hierarchy, multiverse, formalism, pra

From playlist Zermelo Fraenkel axioms

Video thumbnail

All the Axioms of Mathematics

This video lists an explains propositional, predicate calculus axioms, as well as a set theoretical statement that goes with it, including ZF and beyond. Where possible, the explanations are kept constructive. You can find the list of axioms in the file discussed in this video here: https:

From playlist Logic

Video thumbnail

Axioms of Lie algebra theory

In this video I write down the axioms of Lie algebras and then discuss the defining anti-symmetric bilinear map (the Lie bracket) which is zero on the diagonal and fulfills the Jacobi identity. I'm following the compact book "Introduction to Lie Algebras" by Erdmann and Wildon. https://gi

From playlist Algebra

Video thumbnail

Hilbert Spaces part 2

Lecture with Ole Christensen. Kapitler: 00:00 - Def: Hilbert Space; 05:00 - New Example Of A Hilbert Space; 15:15 - Operators On Hilbert Spaces; 20:00 - Example 1; 24:00 - Example 2; 38:30 - Riesz Representation Theorem; 43:00 - Concerning Physics;

From playlist DTU: Mathematics 4 Real Analysis | CosmoLearning.org Math

Video thumbnail

Anthony Licata: Hilbert Schemes Lecture 7

SMRI Seminar Series: 'Hilbert Schemes' Lecture 7 Kleinian singularities 2 Anthony Licata (Australian National University) This series of lectures aims to present parts of Nakajima’s book `Lectures on Hilbert schemes of points on surfaces’ in a way that is accessible to PhD students inter

From playlist SMRI Course: Hilbert Schemes

Video thumbnail

What's so wrong with the Axiom of Choice ?

One of the Zermelo- Fraenkel axioms, called axiom of choice, is remarkably controversial. It links to linear algebra and several paradoxes- find out what is so strange about it ! (00:22) - Math objects as sets (00:54) - What axioms we use ? (01:30) - Understanding axiom of choice (03:2

From playlist Something you did not know...

Video thumbnail

Rings 18 Hilbert's theorems

This lecture is part of an online course on rings and modules. We prove Hilbert's theorem that poynomial rings over fields are Noetherian, and use this to prove Hilbert's theorem about finite generation of algebras of invariants, at least for finite groups over the complex numbers. For

From playlist Rings and modules

Video thumbnail

Kurt Gödel Centenary - Part III

John W. Dawson, Jr. Pennsylvania State University November 17, 2006 More videos on http://video.ias.edu

From playlist Kurt Gödel Centenary

Video thumbnail

André Henriques: "Various things acted on by fusion categories"

Actions of Tensor Categories on C*-algebras 2021 "Various things acted on by fusion categories" André Henriques - University of Oxford Abstract: Besides von Neumann algebras and C*-algebras, there exist a couple of other mathematical object for which can be acted upon by fusion categorie

From playlist Actions of Tensor Categories on C*-algebras 2021

Video thumbnail

Emily Cliff: Hilbert Schemes Lecture 8

SMRI Seminar Series: 'Hilbert Schemes' Lecture 8 Heisenberg algebras, Fock space representations and vertex algebra structure Emily Cliff (University of Sydney) This series of lectures aims to present parts of Nakajima’s book `Lectures on Hilbert schemes of points on surfaces’ in a way t

From playlist SMRI Course: Hilbert Schemes

Video thumbnail

Gödel's Incompleteness Theorems: An Informal Introduction to Formal Logic #SoME2

My entry into SoME2. Also, my first ever video. I hope you enjoy. The Book List: Logic by Paul Tomassi A very good first textbook. Quite slow at first and its treatment of first-order logic leaves a little to be desired in my opinion, but very good on context, i.e. why formal logic is im

From playlist Summer of Math Exposition 2 videos

Video thumbnail

Kurt Gödel Centenary - Part I

Institute for Advanced Study November 17, 2006 Karl Sigmund (University of Vienna) Solomon Feferman (Stanford University) More videos on http://video.ias.edu

From playlist Kurt Gödel Centenary

Video thumbnail

Topology Without Tears - Video 2b - Infinite Set Theory

This is part (b) of Video 2, the second in a series of videos supplementing the online book "Topology Without Tears" which is available at no cost from www.topologywithouttears.net

From playlist Topology Without Tears

Video thumbnail

Anthony Henderson: Hilbert Schemes Lecture 1

SMRI Seminar Series: 'Hilbert Schemes' Lecture 1 Introduction Anthony Henderson (University of Sydney) This series of lectures aims to present parts of Nakajima’s book `Lectures on Hilbert schemes of points on surfaces’ in a way that is accessible to PhD students interested in representa

From playlist SMRI Course: Hilbert Schemes

Video thumbnail

Non-context-free languages: Theory of Computation (Mar 31 2021)

This is a recording of a live class for Math 3342, Theory of Computation, an undergraduate course for math & computer science majors at Fairfield University, Spring 2021. Class website: http://cstaecker.fairfield.edu/~cstaecker/courses/2021s3342/

From playlist Math 3342 (Theory of Computation) Spring 2021

Video thumbnail

MAST30026 Lecture 20: Hilbert space (Part 1)

I defined inner product spaces, proved the Cauchy-Schwartz inequality and that any inner product space gives rise to a normed space, defined Hilbert spaces and proved that in a Hilbert space given a vector and a closed, convex nonempty subset there is a closest point in the subset to the v

From playlist MAST30026 Metric and Hilbert spaces

Video thumbnail

L. Boyle: Non-commutative geometry, non-associative geometry, and the std. model of particle physics

Connes' notion of non-commutative geometry (NCG) generalizes Riemannian geometry and yields a striking reinterepretation of the standard model of particle physics, coupled to Einstein gravity. We suggest a simple reformulation with two key mathematical advantages: (i) it unifies many of t

From playlist HIM Lectures: Trimester Program "Non-commutative Geometry and its Applications"

Video thumbnail

MAST30026 Lecture 20: Hilbert space (Part 3)

I prove that L^2 spaces are Hilbert spaces. Lecture notes: http://therisingsea.org/notes/mast30026/lecture20.pdf The class webpage: http://therisingsea.org/post/mast30026/ Have questions? I hold free public online office hours for this class, every week, all year. Drop in and say Hi! For

From playlist MAST30026 Metric and Hilbert spaces

Related pages

Playfair's axiom | Tarski's axioms | Euclidean geometry | Howard Eves | Angle | Ternary relation | Line (geometry) | David Hilbert | Binary relation | Point (geometry) | Line segment | Foundations of geometry | Solid geometry | Birkhoff's axioms | Euclidean space | Moritz Pasch | Finitary relation | Axiom | Mario Pieri | Formal system | Primitive notion | First-order logic | Metamathematics | Oswald Veblen