toot.blue は、数々の独立したMastodonサーバーのうちのひとつです。サーバーに登録してFediverseのコミュニティに加わってみませんか。
■蒼き象のマストドンサーバー。2017年6月にスタート。AWS上で運用されています。テーマは設けていません。(管理人的には少し時事ネタ多めです)どんな話題でも自由に投稿できますが、人種差別、外国人差別、性差別、民族差別、LGBTQ+差別などの差別発言やヘイト発言は厳禁です。またそうした発言につながるような発言も禁止します。 詳しくはサーバーのルールをお読みになってから参加してください。

サーバーの情報

242
人のアクティブユーザー

#数学

22人投稿本日0件

EP17:【数学】哥德尔不完备性定理证明了人比AI强?才怪!

很多人认为,哥德尔不完备性定理证明了人类比AI强,因为存在一些命题是AI不能证明但人类可以的。
但,事实上真的如此么?
不,这仅仅是人类的一个美好的愿望与信仰,与事实无关。
除非可以证明:
AI永远无法掌握元逻辑系统,且,存在一个形式系统L是AI可以掌握的而任何蕴含L的比L更大的形式系统都是AI无法掌握的,同时L和存在比L大的形式系统是人类可以掌握的。
但是,很可惜,上述这三点目前都没有被证明。
因此,不要被信仰和愿望所蒙蔽。

喜马拉雅: ximalaya.com/sound/810050632
小宇宙: xiaoyuzhoufm.com/episodes/67c1
荔枝FM: lizhi.fm/294070649/31300109157
Spotify: open.spotify.com/episode/0zZ1H

www.ximalaya.com喜马拉雅-国内专业音频分享平台,随时随地,听我想听!国内专业音频分享平台,随时随地,听我想听!4亿用户选择的在线音频平台。马东、郭德纲、吴晓波等20多万大咖入驻,1亿多条原创有声内容覆盖有声书、儿童、相声评书、财经新闻、音乐等328类。

暇つぶしに数学の問題を作ってみた第3弾!

高校数学程度で(ちょっと考えれば)解けます!
暇つぶし・頭の運動にどうぞ〜

ご希望であれば解答を送っていただければ○×つけてお返しいたします

正答開示・返却は11月27日(水)に行います!