巨大数探索スレッド7at MATH巨大数探索スレッド7 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト650:１３２人目の素数さん 07/10/20 03:40:58 だって彼は日本で最も有名な「ネット数学者」の1人だもの 分かった風なことを書くことに費やした年季は凄いぞ 2chの過去ログを漁るだけでもそりゃもう出てくる出てくる 2chの外ですら「実はさっぱり分かってない半可通」と 本職の論理学者・数学者達に罵られ続けてはや幾星霜 651:有流才蔵 07/10/20 06:50:56 おお、キミがあのλ項を書いた人か。 >>645 ＞もう自分の書いたλ式がどんな形だったかすら覚えていませんでしたが 以下がそう。 (6スレ) ＞37 ：5-714：04/05/02 19:43 ＞ 帰納的関数を考えると扱いにくそうなので ＞ λを持ち出してみました。 ＞ とりあえずm(n)は ＞ m(n+1)=λ f_n f_{n-1} ... f_0． f_0 f_n f_{n-1} ... f_1 f_0 ＞ といったところでしょうか。 ＞ そうするとm(n)m(n-1)…m(1)(x)の帰納性は出てくると思いますがどうでしょう。 652:有流才蔵 07/10/20 06:55:42 >>645 ＞＞ (λx.x(λx.x(･･･(λx.x(λx.xx)x)･･･)x)x) ＞これはどうやって出てきたんでしょうか？ ＞m_n m_{n-1} ... m_1 かと思いましたが、 ＞計算しても出てきませんでした。 ６スレ52にあった m_1=λ f_0．f_0f_0 m_2=λ f_1f_0．f_0f_1f_0 ・・・ m_{n+1}=λ f_n f_{n-1} ... f_0．f_0 f_n f_{n-1} ... f_1 f_0 から m{n+1} ･･･ m_2 m_1 を計算すれば出る。やってみせよう。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch