Mathematical logic | Ordinal numbers | Cardinal numbers
In mathematics, Rathjen's psi function is an ordinal collapsing function developed by Michael Rathjen. It collapses weakly Mahlo cardinals to generate large countable ordinals. A weakly Mahlo cardinal is a cardinal such that the set of regular cardinals below is closed under (i.e. all normal functions closed in are closed under some regular ordinal ). Rathjen uses this to diagonalise over the weakly inaccessible hierarchy. It admits an associated ordinal notation whose limit (i.e. ordinal type) is , which is strictly greater than both and the limit of countable ordinals expressed by Rathjen's . , which is called the "Small Rathjen ordinal" is the proof-theoretic ordinal of , Kripke–Platek set theory augmented by the axiom schema "for any -formula satisfying , there exists an addmissible set satisfying ". It is equal to in Rathjen's function. (Wikipedia).
SOLVING the SCHRODINGER EQUATION | Quantum Physics by Parth G
How to solve the Schrodinger Equation... but what does it even mean to "solve" this equation? In this video, I wanted to take you through the steps for solving the simplest version of the Schrodinger Equation. As we may know from my old video on this topic (https://www.youtube.com/watch?v
From playlist Quantum Physics by Parth G
An explanation for the general choice of wave function to describe a particle in quantum mechanics
From playlist Quantum Mechanics
Axioms of Constructive Set Theory Explained
In this video we're going to discuss the various axiom schemes of constructive set theories and how they relate to type theory. I cover BCST, ECST, IKP, KPI, KP, CST, CZF, IZF, Mac Lane, Z and variants equi-consistent to ETCS from category theory, and then of course ZF and ZFC. The text I
From playlist Logic
Schrodinger's Equation for wave functions in Quantum Physics. My Patreon Page is at https://www.patreon.com/EugeneK
From playlist Physics
Michael Rathjen: Opening and Introduction
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions
From playlist HIM Lectures: Trimester Program "Types, Sets and Constructions"
Michael Rathjen: Derived rules in set theory
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstract: The talk will present a general machinery for showing derived rules for intuitionistic set theories.
From playlist Workshop: "Proof, Computation, Complexity"
Michael Rathjen: The Ubiquity of Schütte's Search Trees
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstract: Progressions of theories along paths through Kleene's $\mathcal O$, adding the consistency of the previous theory at every successor step, can deduce every true $\Pi^0_1$
From playlist Workshop: "Proof, Computation, Complexity"
Deriving the Maxwell Lagrangian | Maxwell Equations | Electrodynamics
In this video, we derive the Lagrangian density for the electromagnetic field. This Lagrangian can be used to calculate Maxwell's equations using the Euler-Lagrange equations. Follow us on Instagram: https://www.instagram.com/prettymuchvideo/ If you want to help us get rid of ads on You
From playlist Electrodynamics, Electricity & Magnetism
Variational Principle Introduction
In this video, I introduce the variational principle in quantum mechanics, how it is derived, and why you might want to use it. Hope you found this video helpful, please post in the comments below anything I can do to improve future videos, or suggestions you have for future videos. This
From playlist Quantum Mechanics
A quantum Sinai billiard, phase evolution
Simulation of Schrödinger's equation for a quantum particle in a Sinai billiard. Luminosity corresponds to the probability of finding the quantum particle (modulus of the wave function squared), and the color's hue represents the phase (argument) of the wave function. The initial state is
From playlist Schrödinger's equation
Bound State of the Delta Function Potential
We apply boundary conditions to find the bound state of the delta function potential.
From playlist Quantum Mechanics Uploads
MIT 8.05 Quantum Physics II, Fall 2013 View the complete course: http://ocw.mit.edu/8-05F13 Instructor: Barton Zwiebach In this lecture, the professor talked about "The Schrodinger Equation", "Stationary Solutions", etc. License: Creative Commons BY-NC-SA More information at http://ocw.m
From playlist 8.05 Quantum Physics II - Prof. Barton Zwiebach
Quantum Physics Full Course | Quantum Mechanics Course
Quantum physics also known as Quantum mechanics is a fundamental theory in physics that provides a description of the physical properties of nature at the scale of atoms and subatomic particles. It is the foundation of all #quantum #physics including quantum chemistry, quantum field theory
From playlist Quantum Mechanics
Lecture 3 | Modern Physics: Quantum Mechanics (Stanford)
Lecture 3 of Leonard Susskind's Modern Physics course concentrating on Quantum Mechanics. Recorded January 28, 2008 at Stanford University. This Stanford Continuing Studies course is the second of a six-quarter sequence of classes exploring the essential theoretical foundations of mode
From playlist Course | Modern Physics: Quantum Mechanics
The Electric Field of an Infinite Cylinder
Here we find the electric field of an infinite uniformly charged cylinder using Gauss' Law, and derive an expression for the electric field both inside and outside the cylinder. To support the creation of videos like these, get early access, access to a community, behind-the scenes and m
From playlist Gauss' Law
The Electric Field of an Infinite Cylinder
Here we find the electric field of an infinite uniformly charged cylinder using Gauss' Law, and derive an expression for the electric field both inside and outside the cylinder. To support the creation of videos like these, get early access, access to a community, behind-the scenes and m
From playlist Gauss' Law
Stanford EE104: Introduction to Machine Learning | 2020 | Lecture 15 - multiclass classification
Professor Sanjay Lall Electrical Engineering To follow along with the course schedule and syllabus, visit: http://ee104.stanford.edu To view all online courses and programs offered by Stanford, visit: https://online.stanford.edu/
From playlist Stanford EE104: Introduction to Machine Learning Full Course
Exact Approximation in Metric Measure Spaces by Prasuna Bandi
PROGRAM : ERGODIC THEORY AND DYNAMICAL SYSTEMS (HYBRID) ORGANIZERS : C. S. Aravinda (TIFR-CAM, Bengaluru), Anish Ghosh (TIFR, Mumbai) and Riddhi Shah (JNU, New Delhi) DATE : 05 December 2022 to 16 December 2022 VENUE : Ramanujan Lecture Hall and Online The programme will have an emphasis
From playlist Ergodic Theory and Dynamical Systems 2022
Stanford EE104: Introduction to Machine Learning | 2020 | Lecture 13 - erm for classifiers
Professor Sanjay Lall Electrical Engineering To follow along with the course schedule and syllabus, visit: http://ee104.stanford.edu To view all online courses and programs offered by Stanford, visit: https://online.stanford.edu/
From playlist Stanford EE104: Introduction to Machine Learning Full Course
Physics - Ch 66 Ch 4 Quantum Mechanics: Schrodinger Eqn (16 of 92) How to Use Schrod. Eqn: 1
Visit http://ilectureonline.com for more math and science lectures! In this video I will show how to use the Schrodinger's equation, part 1/2. Next video in this series can be seen at: https://youtu.be/2kyX3ON7ow0
From playlist PHYSICS 66.1 QUANTUM MECHANICS - SCHRODINGER EQUATION