Mathematical logic | Ordinal numbers | Cardinal numbers

Rathjen's psi function

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).

Video thumbnail

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

Video thumbnail

The Wave Function

An explanation for the general choice of wave function to describe a particle in quantum mechanics

From playlist Quantum Mechanics

Video thumbnail

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

Video thumbnail

Schrodinger's Equation

Schrodinger's Equation for wave functions in Quantum Physics. My Patreon Page is at https://www.patreon.com/EugeneK

From playlist Physics

Video thumbnail

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"

Video thumbnail

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"

Video thumbnail

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"

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

1. Wave Mechanics

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Related pages

Ordinal collapsing function | Large countable ordinal | Regular cardinal | Class (set theory) | Limit ordinal | Enumeration | Inaccessible cardinal | Mahlo cardinal | Normal function