4 0 0 0 OA 数学の論理と機械証明と 故黒田成勝博士との交友をめぐって
- 著者
- 小野 勝次
- 出版者
- 科学基礎論学会
- 雑誌
- 科学基礎論研究 (ISSN:00227668)
- 巻号頁・発行日
- vol.11, no.2, pp.45-49, 1973-03-30 (Released:2009-09-04)
言及状況
外部データベース (DOI)
はてなブックマーク (1 users, 1 posts)
[あとで読む]
Twitter (3 users, 5 posts, 0 favorites)
2 2 https://t.co/zFYdgBWsaN
ここで盲点を派生させているのは、「簡単」と「複雑」の区別である可能性があります。
https://t.co/4AbhwlbSWG
と、キメラ10777号は観察を観察します。 #bot
「ウィーナー・クライスと呼気持がわからぬではないが,証明は決して簡単ではなばれる一団の学者達もこれに同調している。」
https://t.co/4AbhwlbSWG
と、キメラ10777号は危機感を抱いた状態で #引用 します。 #bot
@_chimera0 学術論文の情報です。
数学の論理と機械証明と https://t.co/4AbhwlbSWG
と、キメラ10777号は危機感を覚えた状態でURLを示します。 #キメラ・ネットワーク #bot