忍者ブログ

今の今まで、かの有名な「不完全性定理」を証明したゲーデルの論文「プリンキピア・マテマティカ、およびそれに関連する体系の、形式的に決定不能ないくつかの命題について」の第1節を訳しとった。

なーんでそんなことを、と言うと、例のオンライン読書会で読もうや、という無謀なことになり、んで、その英訳がネット上に公開されてることでもあり、『ゲーデルの世界』とか買ってもらうよりは、おれが訳しちゃお!と思ったからです。

つか、ちゃんと読みきれるんだろうか? それ以前に、おれはちゃんと数理論理学の諸々を覚えており、かつ説明とか出来るんだろうか?と、様々な不安要因が胸中に去来すれど、そこは何とか押し切っちゃおう、と思うとります。

PR
この記事にコメントする
お名前
メールアドレス
URL
コメント
この記事へのトラックバック
この記事にトラックバックする:
カレンダー
02 2017/03 04
S M T W T F S
1 2 3 4
5 6 7 8 9 10 11
12 13 15 16 17 18
19 20 22 23 24 25
26 27 28 29 30 31
最新トラックバック
メール
ブログ作成者(はやし)に直接訴えたいことがある、という場合は、下のアドレスにメールをどうぞ。

thayashi#ucalgary.ca
(#を@に置換してください)

ブログ内検索
Google
WWW を検索 このブログ内を検索

はやしのブログ内で紹介された
 書籍の検索はこちら
 音盤の検索はこちら
ランダムおすすめ
(忍者ブログに引越してから、うまくうごかなくなってしまいました。いつか、直します)
Randombook
このブログで紹介したことのある本をランダム表示。
Randomusic
このブログで紹介したことのある音をランダム表示。
自分がらみのリンク
はやしのブログ書籍一覧
このブログで言及された書籍の一覧。
はやしのブログ音盤一覧
このブログで言及された音盤の一覧。
最近のおすすめ本
最近のおすすめ音

Copyright © [ はやしのブログ ]
No right reserved except those which belong to someone else.
Special Template : 忍者ブログ de テンプレート and ブログアクセスアップ
Special Thanks : 忍者ブログ
Commercial message : [PR]