Proof theory

Weak interpretability

In mathematical logic, weak interpretability is a notion of translation of logical theories, introduced together with interpretability by Alfred Tarski in 1953. Let T and S be formal theories. Slightly simplified, T is said to be weakly interpretable in S if, and only if, the language of T can be translated into the language of S in such a way that the translation of every theorem of T is consistent with S. Of course, there are some natural conditions on admissible translations here, such as the necessity for a translation to preserve the logical structure of formulas. A generalization of weak interpretability, tolerance, was introduced by Giorgi Japaridze in 1992. (Wikipedia).

Video thumbnail

Interpretability for Everyone - Been Kim

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

From playlist Mathematics

Video thumbnail

Machine learning in healthcare: From interpretability to a new human-machine partnership

Mihaela van der Schaar - University of Cambridge The transformative potential of machine learning could revolutionise areas such as healthcare. However, this opportunity comes with its own unique challenges. Prominent among these is the challenge of interpretability: taking the workings o

From playlist Interpretability, safety, and security in AI

Video thumbnail

Violations of Exchangeability - Causal Inference

Today I talk about violations of exchangeability, e.g., common causes, confounding, selection bias.

From playlist Causal Inference - The Science of Cause and Effect

Video thumbnail

The Explainer: Running Effective Remote Meetings

Remote meetings have different challenges than in-person ones. Why do remote teams demand new collaboration skills? What’s missing from our texts, emails, conference calls, and other digital communications? Body language. Even when we’re co-located, the tone of a text or the formality of

From playlist The Explainer

Video thumbnail

29C3: What accessibility has to do with security (EN)

Speaker: Anna Shubina Accessibility of digital content is a hugely misunderstood issue. Programmers and content developers tend to view it as a distraction or a special interest concern. Accessibility advocates fail to describe it in terms that would put it in the proper place for other t

From playlist 29C3: Not my department

Video thumbnail

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

Video thumbnail

Grammar: Who's or Whose?

In this video, you’ll learn more about when to use "whose" and "who's" correctly in American English. Visit https://www.gcflearnfree.org/grammar/whos-or-whose/1/ for our text-based lesson. We hope you enjoy!

From playlist Grammar

Video thumbnail

Nietzsche - Ressentiment, Power, & Values

In On the Genealogy of Morality, Nietzsche formulates a critique of moral values that is grounded in their psychological history. The phenomenon of ressentiment plays a central role in this critique. Yet, precisely what sort of psychological state ressentiment is, what it reveals about hum

From playlist Social & Political Philosophy

Video thumbnail

Weak Infinity Groupoids in HoTT - Guillaume Brunerie

Guillaume Brunerie School of Mathematics, IAS January 30, 2013 For more videos, visit http://video.ias.edu

From playlist Mathematics

Video thumbnail

SEM132 - Vagueness

This E-Lecture is a continuation of "Ambiguity". Prof. Handke discusses and exemplifies the types of vagueness including some general problems, such as, the fuzziness of boundaries or habitual use.

From playlist VLC103 - The Nature of Meaning

Video thumbnail

Pilot Waves vs Many Worlds | Wife Reacts to Quantum Mechanics (Part 2)

From Copenhagen to pilot waves and many worlds, interpreting quantum mechanics is difficult. In this video, I try to explain them all to my wife. Let's see how I did. 00:00 Cold Open 00:16 What is Physics? 01:56 Weak Copenhagen Interpretation 04:01 Strong Copenhagen Interpretation 06:18 D

From playlist Quantum Physics

Video thumbnail

Gradient Boosting : Data Science's Silver Bullet

A dive into the all-powerful gradient boosting method! My Patreon : https://www.patreon.com/user?u=49277905

From playlist Data Science Concepts

Video thumbnail

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

Video thumbnail

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

Video thumbnail

What is General Relativity? Lesson 69: The Einstein Equation

What is General Relativity? Lesson 69: The Einstein Equation Having done so much work with the Einstein tensor, the interpretation of the Einstein equation is almost anti-climatic! The hard part is finding the Newtonian limit in order to understand the constant of proportionality between

From playlist What is General Relativity?

Video thumbnail

Weak measurements by Alex Matzkin (Lecture - 03)

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

Video thumbnail

One for the Teachers: Marking Made Easy

Buy my revision guides in paperback on Amazon*: Mr Bruff’s Guide to GCSE English Language https://amzn.to/2GvPrTV Mr Bruff’s Guide to GCSE English Literature https://amzn.to/2POt3V7 AQA English Language Paper 1 Practice Papers https://amzn.to/2XJR4lD Mr Bruff’s Guide to ‘Macbeth’ htt

From playlist Teacher Training Videos

Video thumbnail

Intro to Hypothesis Testing

What is a hypothesis test? The meaning of the null and alternate hypothesis, with examples. Overview of test statistics and confidence levels.

From playlist Hypothesis Tests and Critical Values

Related pages

Interpretability logic | Alfred Tarski | Interpretability | Mathematical logic | Theory (mathematical logic) | Well-formed formula | Theorem