Metatheorem

preview_player
Показать описание
If you find our videos helpful you can support us by buying something from amazon.

Metatheorem

In logic, a metatheorem is a statement about a formal system proven in a metalanguage.Unlike theorems proved within a given formal system, a metatheorem is proved within a metatheory, and may reference concepts that are present in the metatheory but not the object theory.

-Video is targeted to blind users

Attribution:
Article text available under CC-BY-SA
image source in video

  1. WikiAudio
  2. Metatheorem
Рекомендации по теме
36. Logic. The 0:16:48

36. Logic. The Generalization Metatheorem

Metatheorem 0:01:21

Metatheorem

6.5 Auxiliary Variable 0:09:20

6.5 Auxiliary Variable Metatheorem

P=NP METATHEOREM 0:00:26

P=NP METATHEOREM

37. Logic. More 0:18:33

37. Logic. More Metatheorems

[OOPSLA23] Languages with 0:17:32

[OOPSLA23] Languages with Decidable Learning: A Meta-theorem

How to say 0:00:39

How to say 'metatheorem'! (High Quality Voices)

Jon Sterling, Objective 1:00:01

Jon Sterling, Objective metatheory of dependent type theories

'Kaplansky's conjectures', Giles 1:04:21

'Kaplansky's conjectures', Giles Gardam (University of Muenster), NYGT Seminar, 03/11...

ESA.7.0 An Algorithmic 0:15:42

ESA.7.0 An Algorithmic Meta Theorem for Graph Modification to Planarity and FOL

3h Predicate Logic 0:15:57

3h Predicate Logic 2022

Metatheory 1: Truth-functional 0:12:55

Metatheory 1: Truth-functional Adequacy

2.1 Logic vs 0:04:17

2.1 Logic vs Metatheory

theorems about theorems 0:03:17

theorems about theorems are called metatheorems

2.5 More Metatheorems 0:07:31

2.5 More Metatheorems

Janos Makowsky - 0:51:10

Janos Makowsky - Extensions and limitations of the Specker-Blatter Theorem

First Steps in 0:50:44

First Steps in Synthetic Tait Computability: The Objective Metatheory of Cubical Type Theory

Stephan Kreutzer: Algorithmic 1:07:39

Stephan Kreutzer: Algorithmic meta-theorems [Part 1]

Posulate vs. theorem 0:00:17

Posulate vs. theorem

Metatheory 3: Soundness 0:24:19

Metatheory 3: Soundness Theorem Proof (set up and simple cases)

03 - Williams 0:12:23

03 - Williams - Metatheorems for dynamic weighted matching

39. Logic. The 0:09:24

39. Logic. The Soundness theorem

Structural Induction/Induction on 0:07:30

Structural Induction/Induction on Complexity of Formulas/Induction on the Number of Connectives

Astra Kolomatskaia --- 1:43:22

Astra Kolomatskaia --- The Objective Metatheory of Simply Typed Lambda Calculus.