a4です。Ｐ２Ｐ人工知能「Ｔ」開発(5)at TECH

---

■コピペモード
□スレを通常表示
□オプションモード
□このｽﾚｯﾄﾞのURL
■項目テキスト
700:a4 19/05/12 01:36:05.70 vL9HHrOP.net だから、今もMITのトポロジーの本を読んでるんですよ。どのような経路であれ、 世界最高峰の数学書が届いて読めるということで、名誉だと思っています。 701:a4 19/05/12 01:46:18.37 vL9HHrOP.net 公約をいろいろ考えてるんですけどね、その数学は平和利用したいです。でも、現実的 には宇宙の寿命を伸ばすとか、そういう話かな。 702:a4 19/05/12 20:49:18.89 vL9HHrOP.net 今日も語学と数学の勉強をしています。地道です。どういうことを勉強しているかと いうと、「対偶」は英語で"contrapositive"とかそれくらいです。僕は数学科では ないので、そこまでこっちの英語は強くないかもです。だからお勉強です。 703:a4 19/05/13 03:46:14.04 BTSMmkpt.net 時間が余っているので、全部、トポロジーの本を読む時間に使っています。 例えば、次のような命題を読んでます。 Lemma 2.1. Let f:A→B. If there are functions g:B→A and h:B→A such that g(f(a))=a for every a in A and f(h(b))=b for every b in B, then f is bijective and g=h=f^(-1). 意味は簡単に理解できるのに、厳密な証明はExercisesになってるんですよ。 一応、解いてみると、 f is bijective ∵f is injective 　∵[f(a)=f(a')]→[a=a'] 　　∵a=g(f(a))=g(f(a'))=a' ∵f is surjective 　∵[b∈B]→[b=f(a) for at least one a∈A] 　　∵∃h(b)∈A, f(h(b))=b g=h=f^(-1) ∵∀b∈B,∃a∈A, g(b)=g(f(a))=a 　∵f is surjective ∵∀b∈B,∃a∈A, f(h(b))=b 　g(f(h(b))=g(b) 　h(b)=a 意向に沿ったものかはわかりませんが、大体こんなものかと。こういうのを「Ｔ」に 入力したり、自動定理証明とかしたいですね。簡単に書きましたが、これ書くのに １時間以上かかってます。宇宙人が言った通り、しっかりした本で１日５ページと いうのは当たりました。実験成功です。ゆっくり精読するつもりです。

---

次ページ

最新レス表示

レスジャンプ

類似スレ一覧

スレッドの検索

話題のニュース

おまかせリスト

オプション

しおりを挟む

スレッドに書込

スレッドの一覧

暇つぶし2ch