Logic: The Structure of Reason
As a tool for characterizing rational thought, logic cuts across many philosophical disciplines and lies at the core of mathematics and computer science. Drawing on Aristotle’s Organon, Russell’s Principia Mathematica, and other central works, this program tracks the evolution of logic, be
From playlist Logic & Philosophy of Mathematics
What is Language? Enter Saussure (Part 2)
This is the second part of a series of videos on the nature of language. The aim of the series is to convey research findings to the general public. In this episode, we introduce Ferdinand de Saussure and talk about some of his revolutionary contributions to linguistics. Illustrated by L
From playlist What is Language?
This E-Lecture discusses and exemplifies the consequences of the rhythmic organization of spoken English as a stress-timed language: Assimilation, Elision, Weakening and Liaison. As usual Handke illustrates his arguments by numerous examples from PDE.
From playlist VLC105 - Phonetics, Phonology & Transcription
Lars Kristiansen: First order concatenation theory vs first order number theory
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstract: First-order concatenation theory can be compared to first-order number theory, e.g., Peano Arithmetic or Robinson Arithmetic. The universe of a standard structure for fir
From playlist Workshop: "Proofs and Computation"
This is the first part of a series of videos on the nature of language. The aim of the series is to convey research findings to the general public. The next episodes will be made available soon. Illustrated by Lydia Alexkartadjaja (https://www.instagram.com/lydialexdesign/)
From playlist What is Language?
How is Language Built?| Intro to Human Communication | Study Hall
The way we choose and use words, whether it be speaking, writing, or signing, is shaped by language. Language is a system we use to express ideas by combining sounds, gestures, and symbols into words, phrases, and sentences. In this episode, we discuss how language evolves, the rules that
From playlist Intro to Human Communication: Course Foundations
Can p-adic integrals be computed? - Thomas Hales
Automorphic Forms Thomas Hales April 6, 2001 Concepts, Techniques, Applications and Influence April 4, 2001 - April 7, 2001 Support for this conference was provided by the National Science Foundation Conference Page: https://www.math.ias.edu/conf-automorphicforms Conference Agena: ht
From playlist Mathematics
Analytic Geometric Langlands-correspondence: Relations to Conformal ..(Lecture 3) by Joerg Teschner
Program Quantum Fields, Geometry and Representation Theory 2021 (ONLINE) ORGANIZERS: Aswin Balasubramanian (Rutgers University, USA), Indranil Biswas (TIFR, india), Jacques Distler (The University of Texas at Austin, USA), Chris Elliott (University of Massachusetts, USA) and Pranav Pandi
From playlist Quantum Fields, Geometry and Representation Theory 2021 (ONLINE)
Quantization By Branes And Geometric Langlands Lecture 2 by Edward Witten
PROGRAM : QUANTUM FIELDS, GEOMETRY AND REPRESENTATION THEORY 2021 (ONLINE) ORGANIZERS : Aswin Balasubramanian (Rutgers University, USA), Indranil Biswas (TIFR, india), Jacques Distler (The University of Texas at Austin, USA), Chris Elliott (University of Massachusetts, USA) and Pranav Pan
From playlist Quantum Fields, Geometry and Representation Theory 2021 (ONLINE)
PHY112 - Phonetic Transcription II
This clip discusses the ingredients and principles of an phonetic alphabet, in particular the principles of the IPA. Furthermore, the different variants of a notation for PDE are discussed. Historically, most modern systems for the transcription of English follow the principles of the IPA
From playlist VLC109 - Phonetics and Phonology
David Ben-Zvi: Geometric Langlands correspondence and topological field theory - Part 2
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 Algebraic and Complex Geometry
Edward Witten: "What's (Relatively) New in Two-Dimensional Gravity”
Green Family Lecture Series 2017 "What's (Relatively) New in Two-Dimensional Gravity” Edward Witten, Institute for Advanced Study Abstract: The talk will be devoted to explaining two relatively recent mathematical developments involving what physicists know as topological gravity in two
From playlist Public Lectures
Semantic models for higher-order Bayesian inference - Sam Staton, University of Oxford
In this talk I will discuss probabilistic programming as a method of Bayesian modelling and inference, with a focus on fully featured probabilistic programming languages with higher order functions, soft constraints, and continuous distributions. These languages are pushing the limits of e
From playlist Logic and learning workshop
Samson Shatashvili - 2/3 Supersymmetric Vacua and Integrability
"I review the relationship between supersymmetric gauge theories and quantum integrable systems. From the quantum integrability side this relation includes various spin chains, as well as many well-known quantum many body systems like elliptic Calogero-Moser system and generalisations. Fro
From playlist Samson Shatashvili - Supersymmetric Vacua and Integrability
Science & Technology Q&A for Kids (and others) [Part 76]
Stephen Wolfram hosts a live and unscripted Ask Me Anything about 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 0:00 Start stream 2:38 SW begins talking 6:00 Could you
From playlist Stephen Wolfram Ask Me Anything About Science & Technology
Samson Shatashvili - 3/3 Supersymmetric Vacua and Integrability
"I review the relationship between supersymmetric gauge theories and quantum integrable systems. From the quantum integrability side this relation includes various spin chains, as well as many well-known quantum many body systems like elliptic Calogero-Moser system and generalisations. Fro
From playlist Samson Shatashvili - Supersymmetric Vacua and Integrability
Endoscopic Transfer of Depth-Zero Suprcuspidal L-Packets - Tasho Kaletha
Endoscopic Transfer of Depth-Zero Suprcuspidal L-Packets - Tasho Kaletha Princeton University; Member, School of Mathematics November 18, 2010 In a recent paper, DeBacker and Reeder have constructed a piece of the local Langlands correspondence for pure inner forms of unramified p-adic gr
From playlist Mathematics
#i3G This Video is about the origins of language. It reviews two hypotheses among the several available theories. #homo sapiens #homo erectus #Neanderthals #Noam Chomsky #Ian Tattersall #Robert Berwick #Daniel Everette
From playlist What is Language?