filmov
tv
Paul Christiano on Probabilistic Metamathematics and the Definability of Truth
Показать описание
This talk was delivered as part of the "Logic at Harvard" seminar and colloquium, on October 15th 2013.
For more details see:
Machine Intelligence Research Institute
Logic (Field Of Study)
Mathematical Logic (Mathematical Concept)
Harvard University (Organization)
Lecture (Type Of Public Presentation)
Research (Industry)
Рекомендации по теме
0:57:12
Paul Christiano on Probabilistic Metamathematics and the Definability of Truth
3:07:02
Paul Christiano - Preventing an AI Takeover
0:12:39
Paul Christiano - Impacts of Artificial Intelligence
0:59:17
Formalizing Explanations of Neural Network Behaviors
0:29:28
Paul Christiano - How Misalignment Could Lead to Takeover
0:10:40
Lesson 0: What is Metamathematics? (Origins)
1:02:23
Paul Christiano – Training an Aligned RL Agent – CSRBAI 2016
0:00:31
Is an AI Doomsday Scenario Possible?
0:10:36
Metamathematics
0:00:35
What does metamathematics mean?
0:47:00
Aligning ML objectives with human values
0:00:19
How to Pronounce Metamathematics
0:32:50
181. Conversation with Paul Christiano
0:31:37
Current work in AI alignment | Paul Christiano | EA Global: San Francisco 2019
0:00:29
Metamathematics Meaning
0:16:17
On metamathematics and mathematical economics
2:49:36
12 - AI Existential Risk with Paul Christiano
0:24:07
Prosaic Intent Alignment
0:17:06
99. Current Thoughts on Paul Christiano's Agenda
0:02:18
Gödel's Incompleteness Theorems: History, Proofs, Implications
1:15:50
Paul Christiano - Cause Prioritization in Effective Altruism
0:25:11
Otávio Bueno: Pluralism and Relativism: Logic, Mathematics, Metaphysics - Discussion
0:26:02
Arithmetic in Metamath, Case Study: Bertrand's Postulate (CICM 2015)
0:19:41
Provably manipulation-resistant reputation systems