Modal logic

KK thesis

The KK thesis or KK principle is a principle of epistemic logic which states that "If you know that P is the case then you know that you know that P is the case." This means that one cannot know that P is, if one does not know whether one's knowledge of P is correct. Its application in science can be expressed in the way that it must not only justify its knowledge claims but it must also justify its method of justifying. The principle is also described as knowledge-reflexivity contention. (Wikipedia).

Video thumbnail

Tom Bachmann: The generalized slices of hermitian K-theory and applications

The lecture was held within the framework of the Hausdorff Trimester Program : Workshop "K-theory in algebraic geometry and number theory"

From playlist HIM Lectures: Trimester Program "K-Theory and Related Fields"

Video thumbnail

Sergio Rajsbaum: Modeling distributed computing task computability with dynamic epistemic logic

The lecture was held within the framework of the Hausdorff Trimester Program : Applied and Computational Algebraic Topology

From playlist HIM Lectures: Trimester Program "K-Theory and Related Fields"

Video thumbnail

Spectral theory for ASEP, XXZ and the (q,mu,nu)-Boson process - Ivan Corwin

Ivan Corwin Columbia April 2, 2014 For more videos, visit http://video.ias.edu

From playlist Mathematics

Video thumbnail

Paul Turner: A hitchhiker's guide to Khovanov homology - Part IV

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 Geometry

Video thumbnail

Anna Duwenig: Non-commutative Poincaré duality of the irrational rotation algebra

Talk by Anna Duwenig in Global Noncommutative Geometry Seminar (Americas) http://www.math.wustl.edu/~xtang/NCG-Seminar.html on September 9, 2020.

From playlist Global Noncommutative Geometry Seminar (Americas)

Video thumbnail

Ralf Meyer: On the classification of group actions on C*-algebras up to equivariant KK-equivalence

Talk by Ralf Meyer in Global Noncommutative Geometry Seminar (Europe) http://www.noncommutativegeometry.nl/ncgseminar/ on November 10, 2020.

From playlist Global Noncommutative Geometry Seminar (Europe)

Video thumbnail

On p-adic L-functions for U(3)xU(2) by Ming-Lun Hsieh

PROGRAM ELLIPTIC CURVES AND THE SPECIAL VALUES OF L-FUNCTIONS (HYBRID) ORGANIZERS: Ashay Burungale (CalTech/UT Austin, USA), Haruzo Hida (UCLA), Somnath Jha (IIT Kanpur) and Ye Tian (MCM, CAS) DATE: 08 August 2022 to 19 August 2022 VENUE: Ramanujan Lecture Hall and online The program pla

From playlist ELLIPTIC CURVES AND THE SPECIAL VALUES OF L-FUNCTIONS (2022)

Video thumbnail

Paul Turner: A hitchhiker's guide to Khovanov homology - Part II

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 Geometry

Video thumbnail

Kees Vuik: Krylov subspace solvers and preconditioners

Recording during the " CEMRACS Summer school 2016: Numerical challenges in parallel scientific computing" the July 18, 2016 at the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathe

From playlist Numerical Analysis and Scientific Computing

Video thumbnail

Peter Scholze: On topological cyclic homology

The lecture was held within the framework of the Hausdorff Trimester Program : Workshop "K-theory in algebraic geometry and number theory" Abstract: Topological cyclic homology is an approximation to algebraic K-theory that has been very useful for computations in algebraic K-theory. Rece

From playlist HIM Lectures: Trimester Program "K-Theory and Related Fields"

Video thumbnail

Jean-Pierre Demailly: Improved bounds for the Kobayashi conjecture on generic hyperbolicity

Abstract: A famous conjecture of Kobayashi from the 1970s asserts that a generic algebraic hypersurface of sufficiently large degree d≥dn in the complex projective space of dimension n+1 is hyperbolic. Yum-Tong Siu introduced several fundamental ideas that led recently to a proof of the co

From playlist Algebraic and Complex Geometry

Video thumbnail

Satellite operations and Legendrian knot theory - John Etnyre

Satellite operations and Legendrian knot theory Augmentations and Legendrians at the IAS Topic: Satellite operations and Legendrian knot theory Speaker: John Etnyre Date: Thursday, February 11 Satellite operations are a common way to create interesting knot types in the smooth category. I

From playlist Mathematics

Video thumbnail

Modern Inflation Cosmology -2018

More videos on http://video.ias.edu

From playlist Natural Sciences

Video thumbnail

Alex Fok, Equvariant twisted KK-theory of noncompact Lie groups

Global Noncommutative Geometry Seminar(Asia-Pacific), Oct. 25, 2021

From playlist Global Noncommutative Geometry Seminar (Asia and Pacific)

Video thumbnail

Paul Turner: A hitchhiker's guide to Khovanov homology - Part I

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 Geometry

Video thumbnail

Guoliang Yu: Quantitative operator K-theory and its applications

Abstract: In this lecture, I will give an introduction to quantitative operator K-theory and apply it to compute K-theory of operator algebras which naturally arise from geometry. I will discuss applications to asymptotic behavior of positive scalar curvature when the dimension of the mani

From playlist HIM Lectures: Trimester Program "K-Theory and Related Fields"

Video thumbnail

Matrix stability of crystallographic groups - Soren Eilers

Stability and Testability Topic: Matrix stability of crystallographic groups Speaker: Soren Eilers Affiliation: University of Copenhagen Date: February 17, 2021 For more video please visit http://video.ias.edu

From playlist Stability and Testability

Related pages

Jaakko Hintikka | Epistemic closure | Self-reference | Certainty