Moshe Vardi - Computer Science, Logic, Artificial Intelligence • YASP #1
Channel: Yet Another Science Podcast (YASP)
Date: 2023-03-13

Moshe Vardi is an Israeli mathematician and computer scientist. He is a Professor of Computer Science at Rice University, United States. His interests focus on applications of logic to computer science, including database theory, finite model theory, knowledge in multi-agent systems, computer-aided verification and reasoning, and teaching logic across the curriculum. He is an expert in model checking, constraint satisfaction and database theory, common knowledge (logic), and theoretical computer science.

GUEST LINKS:
Moshe's Twitter: https://twitter.com/vardi
Moshe's Website: https://www.cs.rice.edu/~vardi/
Moshe's Youtube: https://www.youtube.com/c/MosheVardi
Moshe's Mastodon: https://fediscience.org/@vardi

PODCAST INFO:
Podcast Website: https://www.yasppodcast.com/
Podcast Twitter: https://twitter.com/yasp_podcast

Timestamps:
0:00 Intro
ACT 1
0:51 What is Computer Science?
5:34 What is Information? Bits and Number system
11:07 How did you find this problem?
ACT 2
21:03 Relationship between Logic and Computation
31:59 The Precision of Computation
33:31 Intelligence vs Reasoning AI
44:03 AI, AGI, Making Logic Quantitative
54:50 Can Deductive Reasoning and Automated Reasoning Emerge from Deep Learning
1:00:44 On the Difficulty of Computing Abstractions and AI
ACT 3
1:06:15 Is Mathematics Invented or Discovered?
1:15:23 Embracing the Upcoming Technological Revolution
1:24:52 Fear of the Economic and Political Future
1:33:01 Avoiding Technological Dystopia
1:36:04 Outro