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).
Lecture 24. Hilbert basis theorem
From playlist Abstract Algebra 2
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
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
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
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
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
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...
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
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
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
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
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
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
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
Fundamentals of Mathematics - Lecture 33: Dedekind's Definition of Infinite Sets are FInite Sets
https://www.uvm.edu/~tdupuy/logic/Math52-Fall2017.html
From playlist Fundamentals of Mathematics
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
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
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
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"
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