数学影像馆

视频目录 / 数学逻辑、集合与证明

热度排名 #362

于尔根·施密德胡伯谈哥德尔机器、元学习和 LSTM

Juergen Schmidhuber: Godel Machines, Meta-Learning, and LSTMs | Lex Fridman Podcast #11

这场访谈从能修改自身的计算系统谈到序列模型。哥德尔机器的设想是先证明某项修改有益,再让程序实行它。

Lex Fridman · 4 串讨论 · 热度 7.006

打开原视频 ↗浏览数学逻辑、集合与证明

讨论出处