6 0 0 0 OA 量子計算とチャーチの提唱
- 著者
- 小澤 正直
- 出版者
- 科学基礎論学会
- 雑誌
- 科学基礎論研究 (ISSN:00227668)
- 巻号頁・発行日
- vol.28, no.2, pp.59-65, 2001-03-31 (Released:2009-07-23)
- 参考文献数
- 17
言及状況
外部データベース (DOI)
はてなブックマーク (1 users, 1 posts)
[あとで読む]
Twitter (5 users, 6 posts, 3 favorites)
https://t.co/k1evnVyc5h 「数学者らしく、計 算可能な実数の集合
は可算濃度であ り,そ のルベーグ測度 は0だ から,任 意に与 えられた実数が計算可能で ある確率 は0で あ る。」
@hottaqu 昨日の小澤先生が停止問題云々と質問しましたが、うっすら論文記憶あり https://t.co/k1evnVyc5h haltは測定できないとしてます