Group theory | Math History | NJ Wildberger
Here we give an introduction to the historical development of group theory, hopefully accessible even to those who have not studied group theory before, showing how in the 19th century the subject evolved from its origins in number theory and algebra to embracing a good part of geometry.
From playlist MathHistory: A course in the History of Mathematics
Natural Models of Type Theory - Steve Awodey
Steve Awodey Carnegie Mellon University; Member, School of Mathematics March 28, 2013 For more videos, visit http://video.ias.edu
From playlist Mathematics
Andrej Bauer and Peter LeFanu Lumsdaine: Toward an initiality theorem for general type theories
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstract: I will report on a project of defining carefully and formally what a general type theory is. This is kind of step 1 to a generally applicable initiality theorem. It's not
From playlist Workshop: "Types, Homotopy, Type theory, and Verification"
On the Setoid Model of Type Theory - Erik Palmgren
Erik Palmgren University of Stockholm October 18, 2012 For more videos, visit http://video.ias.edu
From playlist Mathematics
Simple groups, Lie groups, and the search for symmetry I | Math History | NJ Wildberger
During the 19th century, group theory shifted from its origins in number theory and the theory of equations to describing symmetry in geometry. In this video we talk about the history of the search for simple groups, the role of symmetry in tesselations, both Euclidean, spherical and hyper
From playlist MathHistory: A course in the History of Mathematics
Teach Astronomy - Revolutions in Science and the Arts
http://www.teachastronomy.com/ Too often science is treated in isolation from other human pursuits. However the broad history of ideas from the time of Copernicus to the time of Newton parallels a similar evolution in the arts in Europe at that time period. The popular cliché goes that s
From playlist 03. Concepts and History of Astronomy and Physics
Simple groups, Lie groups, and the search for symmetry II | Math History | NJ Wildberger
This is the second video in this lecture on simple groups, Lie groups and manifestations of symmetry. During the 19th century, the role of groups shifted from its origin in number theory and the theory of equations to its role in describing symmetry in geometry. In this video we talk abou
From playlist MathHistory: A course in the History of Mathematics
This video contains the origins of group theory, the formal definition, and theoretical and real-world examples for those beginning in group theory or wanting a refresher :)
From playlist Summer of Math Exposition Youtube Videos
The quantum measure (and how to measure it) by Rafael Sorkin
21 November 2016 to 10 December 2016 VENUE Ramanujan Lecture Hall, ICTS Bangalore Quantum Theory has passed all experimental tests, with impressive accuracy. It applies to light and matter from the smallest scales so far explored, up to the mesoscopic scale. It is also a necessary ingredie
From playlist Fundamental Problems of Quantum Physics
Tests, Games, and Martin-Lof's Meaning Explanations for Intuitionistic Type Theory - Peter Dybjer
Peter Dybjer November 30, 2012 For more videos, visit http://video.ias.edu
From playlist Mathematics
Saharon Shelah : Categoricity of atomic classes in small cardinals, in ZFC
CONFERENCE Recording during the thematic meeting : « Discrete mathematics and logic: between mathematics and the computer science » the January 17, 2023 at the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Jean Petit Find this video and other talks give
From playlist Logic and Foundations
Quantum Mechanics -- a Primer for Mathematicians
Juerg Frohlich ETH Zurich; Member, School of Mathematics, IAS December 3, 2012 A general algebraic formalism for the mathematical modeling of physical systems is sketched. This formalism is sufficiently general to encompass classical and quantum-mechanical models. It is then explained in w
From playlist Mathematics
History of Science and Technology Q&A (October 6, 2021)
Stephen Wolfram hosts a live and unscripted Ask Me Anything about the history of science and technology for all ages. Originally livestreamed at: https://twitch.tv/stephen_wolfram/ Outline of Q&A 0:00 Stream starts 0:31 Stephen begins the stream 1:12 What does history have to say abou
From playlist Stephen Wolfram Ask Me Anything About Science & Technology
17. Conceptual Foundations of Weber's Theory of Domination
Foundations of Modern Social Thought (SOCY 151) Diverging significantly from Marx's idea that history can be traced by the modes of production and the economy, Weber argues that history is characterized by different modes of authority. Leaders gain authority through domination, a combi
From playlist Foundations of Modern Social Theory with Iván Szelényi
Life history theory (1), introduction.
This video introduces life history theory, the field that examines the tradeoffs between reproduction and survival influence fitness and evolution. The concept of reproductive value is described as well as directional, stabilizing, and disruptive modes of selection.
From playlist TAMU: Bio 312 - Evolution | CosmoLearning Biology
History of Science and Technology Q&A (March 9, 2022)
Stephen Wolfram hosts a live and unscripted Ask Me Anything about the history of science and technology for all ages. Find the playlist of Q&A's here: https://wolfr.am/youtube-sw-qa Originally livestreamed at: https://twitch.tv/stephen_wolfram If you missed the original livestream of
From playlist Stephen Wolfram Ask Me Anything About Science & Technology
Lecture 8: Risk-Sharing Application
MIT 14.04 Intermediate Microeconomic Theory, Fall 2020 Instructor: Prof. Robert Townsend View the complete course: https://ocw.mit.edu/courses/14-04-intermediate-microeconomic-theory-fall-2020/ YouTube Playlist: https://www.youtube.com/watch?v=XSTSfCs74bg&list=PLUl4u3cNGP63wnrKge9vllow3Y2
From playlist MIT 14.04 Intermediate Microeconomic Theory, Fall 2020
André M. de Roos: On the relevance and irrelevance of dynamic energy budget models for ...
Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, b
From playlist Dynamical Systems and Ordinary Differential Equations
Category Theory 3.1: Examples of categories, orders, monoids
Examples of categories, orders, monoids.
From playlist Category Theory