Benno van den Berg: Two observations on intuitionistic logic and arithmetic
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstract: This talk will consist of two parts. In the first part I explain a convenient formalisation of arithmetic in finite types, with both extensional and intensional models,
From playlist Workshop: "Proofs and Computation"
Dimensionality Reduction: High Dimensional Data, Part 1
Data Science for Biologists Dimensionality Reduction: High Dimensional Data Part 1 Course Website: data4bio.com Instructors: Nathan Kutz: faculty.washington.edu/kutz Bing Brunton: faculty.washington.edu/bbrunton Steve Brunton: faculty.washington.edu/sbrunton
From playlist Data Science for Biologists
Discrete-Time Dynamical Systems
This video shows how discrete-time dynamical systems may be induced from continuous-time systems. https://www.eigensteve.com/
From playlist Data-Driven Dynamical Systems
The World’s First Photo of Quantum Entanglement Could Disprove Einstein’s Theory
Einstein dubbed the idea of quantum entanglement as "spooky action at a distance." Now for the first time ever, scientists have taken a picture of it. » Subscribe to Seeker!http://bit.ly/subscribeseeker » Watch more Elements! http://bit.ly/ElementsPlaylist Today we understand quantum enta
From playlist Elements | Season 4 | Seeker
(November 3, 2010) Speakers Alexander Stepanov and Paul McJones give a presentation on the book titled "Elements of Programming". They explain why they wrote and attempt to explain their book. They describe programming as a mathematical discipline and that it is extremely useful and shoul
From playlist Engineering
Quantum Mechanics 1.1: Introduction
In this video I provide some motivation behind the development of quantum mechanics, kicking off a new series on everything you've been wondering about quantum mechanics! Twitter: https://twitter.com/SciencePlease_
From playlist Quantum Mechanics
Lecture 14: The Turing Test - Richard Buckland UNSW
Inspirational Scientist Jane Goodall speaks about Jo-Jo and Rick. (sound patchy for first 8 mins - download the full quality 4min audio clip of her lecture from http://www.cse.unsw.edu.au/~richardb/JaneGoodall.wav courtesy of the ABC RN Science Show) More about the great thinker Alan
From playlist CS1: Higher Computing - Richard Buckland UNSW
“Bringing His Own Skin to Market, Nothing to Expect but a Tanning”: Dramatis Personae & Their Bodies
Massimiliano Tomba is Professor in the History of Consciousness Department at the University of California, Santa Cruz. Previously, he taught political philosophy at the University of Padua. He has published several texts on the political philosophy of Kant, Hegel, the post-Hegelians, Marx
From playlist Whitney Humanities Center
Arthur Krener: "Al'brekht’s Method in Infinite Dimensions"
High Dimensional Hamilton-Jacobi PDEs 2020 Workshop I: High Dimensional Hamilton-Jacobi Methods in Control and Differential Games "Al'brekht’s Method in Infinite Dimensions" Arthur Krener, Naval Postgraduate School Abstract: Al'brekht's method is a way optimally stabilize a finite dimens
From playlist High Dimensional Hamilton-Jacobi PDEs 2020
If we could bring Einstein back, what developments in modern physics do you think...
Subscribe to our YouTube Channel for all the latest from World Science U. Visit our Website: http://www.worldscienceu.com/ Like us on Facebook: https://www.facebook.com/worldscienceu Follow us on Twitter: https://twitter.com/worldscienceu
From playlist Science Unplugged: Physics
Dynamics of quantum entanglement by Sthitadhi Roy
Vigyan Adda Dynamics of quantum entanglement Speaker: Sthitadhi Roy (ICTS-TIFR) When: 4:30 pm to 5:30 pm Thursday, 02 February 2023 Where: Online Abstract: Quantum entanglement is one of the central tenets of quantum mechanics. In fact, it can be understood as the notion that distin
From playlist Vigyan Adda
Marcos Mariño - Quantum theory and non-perturbative effects
Divergent series are ubiquitous in quantum theory, and one should learn to live with them and eventually make sense of them. A general framework to address these issues is the theory of resurgence by Ecalle. This requires the introduction of trans-series, or generalized formal series incor
From playlist 7ème Séminaire Itzykson : « Résurgence et quantification »
Introduction to Differential Equation Terminology
This video defines a differential equation and then classifies differential equations by type, order, and linearity. Search Library at http://mathispower4u.wordpress.com
From playlist Introduction to Differential Equations
Forced integrable systems: the case of sine-Gordon equation by Vasudeva Murthy
Program : Integrable? ?systems? ?in? ?Mathematics,? ?Condensed? ?Matter? ?and? ?Statistical? ?Physics ORGANIZERS : Alexander Abanov, Rukmini Dey, Fabian Essler, Manas Kulkarni, Joel Moore, Vishal Vasan and Paul Wiegmann DATE & TIME : 16 July 2018 to 10 August 2018 VENUE : Ramanujan L
From playlist Integrable systems in Mathematics, Condensed Matter and Statistical Physics
Quantum field theory, Lecture 2
This winter semester (2016-2017) I am giving a course on quantum field theory. This course is intended for theorists with familiarity with advanced quantum mechanics and statistical physics. The main objective is introduce the building blocks of quantum electrodynamics. Here in Lecture 2
From playlist Quantum Field Theory
Constructive Type Theory and Homotopy - Steve Awodey
Steve Awodey Institute for Advanced Study December 3, 2010 In recent research it has become clear that there are fascinating connections between constructive mathematics, especially as formulated in the type theory of Martin-Löf, and homotopy theory, especially in the modern treatment in
From playlist Mathematics
Computing with Univalence - Daniel Licata
Daniel Licata Carnegie Mellon University; Member, School of Mathematics September 28, 2012 For more videos, visit http://video.ias.edu
From playlist Mathematics
Univalent Foundations Seminar - Steve Awodey
Steve Awodey Carnegie Mellon University; Member, School of Mathematics November 19, 2012 For more videos, visit http://video.ias.edu
From playlist Mathematics
On Voevodsky's univalence principle - André Joyal
Vladimir Voevodsky Memorial Conference Topic: On Voevodsky's univalence principle Speaker: André Joyal Affiliation: Université du Québec á Montréal Date: September 11, 2018 For more video please visit http://video.ias.edu
From playlist Mathematics
Intersection Theory on Moduli Space of Curves and their connection.... by Chitrabhanu Chaudhuri
Program : Integrable systems in Mathematics, Condensed Matter and Statistical Physics ORGANIZERS : Alexander Abanov, Rukmini Dey, Fabian Essler, Manas Kulkarni, Joel Moore, Vishal Vasan and Paul Wiegmann DATE & TIME : 16 July 2018 to 10 August 2018 VENUE : Ramanujan L
From playlist Integrable systems in Mathematics, Condensed Matter and Statistical Physics