scripod.com
图灵奖得主Blum夫妇的数学进路：当形式化方法遭遇意识难题

Overview

Shownote

Highlights

Transcript

Chapters

Pins

图灵奖得主 Blum 夫妇的数学进路：当形式化方法遭遇意识难题

On The SAIR

Mar 16
On The SAIR

On The SAIR

Mar 16
OverviewShownote
Highlights
Transcript
Chapters
Pins
Unprocessed episode, you can be the first!