5ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50  

■ このスレッドは過去ログ倉庫に格納されています

最近の証明論の流れについて

1 :132人目の素数さん:2005/08/18(木) 00:36:33
詳しい人、教えてください。特に、新井先生がやってる事とか。
林信者の批判も歓迎。

2 :132人目の素数さん:2005/08/18(木) 00:38:58
新井先生より高橋元男大先生のほうをリスペクトしてる。

3 :132人目の素数さん:2005/08/18(木) 00:47:34
山口人生は無職を超えた神!

4 :132人目の素数さん:2005/08/18(木) 01:03:48
>>2
高橋先生も尊敬しますし、まああれですが外史先生も、です。
ただ、新井先生のここ数年の結果は死んだ扱いされていた証明
論は実は数学的にかなり面白い事を示してくれた気がして。
専門外の僕が言うのもなんですが。

>>3
頼みますからヤマジン、Dr.シラ、マツシン抜きにしてください。

5 :132人目の素数さん:2005/08/18(木) 13:30:49
>林信者の批判も歓迎。

よくわからんな。
林ってどこの誰?
林とやらは証明論に対して何と云ったの?

6 :132人目の素数さん:2005/08/18(木) 15:39:07
新井先生が何をやったか素人なおれにもわかるようにくわしく

7 :132人目の素数さん:2005/08/18(木) 17:06:57

ホント、ここのキチガイ餓鬼は、アホ。
無職の山口人生様は悪口を言われて我慢するようなタイプではない。
必ず、攻撃し返す。
ここの所為で、情報量が減る。
その事実を歴史に残す。
「P=NP?」問題は、もうすぐ終了。
終了時点で、認めなければ、日本は塵の巣。
3年かけた。
バツイチだが神だ。



8 :132人目の素数さん:2005/08/18(木) 17:11:39
登場

9 :132人目の素数さん:2005/08/22(月) 23:29:21

遅くなって素マン

>>5

林 晋 大先生ですよ。自ら Gentzen 流のこだわりすぎるぐらい厳密な本をお書きになりながら
(というか、それゆえに?)機械的に厳密に行えない基礎付けなど意味無いと主張し、Gentzen に
よる1階の算術の無矛盾性の証明も、幽霊に頼って証明してなんになるといった批判をされてい
ました。

>>6

Gentzen 竹内 のある(構成的な意味での)順序数に関する超限帰納法を仮定した無矛盾性証明
を発展させ、集合論(あるいは、2階の算術)の無矛盾性を目指すうえでの、そのような順序数の構
成法を考え、実際にある種のモデルをもった集合論の無矛盾性を適当な順序数までの超限帰納法
により示した。


10 :132人目の素数さん:2005/08/23(火) 09:42:45
>>9
>機械的に厳密に行えない基礎付けなど意味無い
そんなことはいってないような希ガス。
林氏は実際には
「機械による厳密性は、実は絶対的基礎づけにならない」
といってるわけで。

>Gentzen による1階の算術の無矛盾性の証明も、
>幽霊に頼って証明してなんになるといった批判を
>されていました。
これは意味不明。「幽霊に頼る」とは具体的にどういうこと?

11 :132人目の素数さん:2005/08/23(火) 09:54:14
林晋が「無矛盾性のパラドックス」でいってたのは
証明に関する異なる定義の「同値性」は、
形式的な体系による厳密な基礎付けなど
できないものだ、っていうこと。

ゲンツェンの無矛盾性の証明は
「カットなしの証明可能性による無矛盾性」
であって、カットを認める場合と認めない場合が
実は同値だといったって、「絶対的な保障」
なんてできっこないだろ?そういうこと。

12 :132人目の素数さん:2005/08/25(木) 10:19:34
>>4
> 新井先生のここ数年の結果は

論文が出始めたのはここ数年だけど、結果自体はここ数年ではないよ。
最初に聞いたのは 1994 年の秋の日本数学会(東工大)での一般講演だった。

13 :132人目の素数さん:2005/08/25(木) 20:55:53
結果て無矛盾性証明ができたん?

14 :132人目の素数さん:2005/08/30(火) 23:27:49
age

15 :132人目の素数さん:2005/08/30(火) 23:41:00
新井はひたすら本を書いている。

16 :132人目の素数さん:2005/08/31(水) 00:10:19
論文が書けないから必死で本を書いている。

17 :132人目の素数さん:2005/08/31(水) 00:10:28
論文が書けないから必死で本を書いている。

5 KB
■ このスレッドは過去ログ倉庫に格納されています

★スマホ版★ 掲示板に戻る 全部 前100 次100 最新50

read.cgi ver 05.04.00 2017/10/04 Walang Kapalit ★
FOX ★ DSO(Dynamic Shared Object)