- 1 名前：１３２人目の素数さん mailto:sage [03/01/20 16:53]
- ちょと見ない間に前スレ消えちゃったので新スレ立てます。
基礎論なぜなにスレッド
cheese.2ch.net/math/kako/970/970523340.html
基礎論なぜなにスレッド その{φ,{φ}}
science.2ch.net/test/read.cgi/math/1014140987/l50(dat落ち)
数理論理学 基礎
science.2ch.net/test/read.cgi/math/1035210795/l50
フォン・ノイマンVSアラン・チューリング
science.2ch.net/test/read.cgi/math/1009039204/l50
- 803 名前：１３２人目の素数さん mailto:sage [03/11/28 21:27]
- >>802
こっちの方の説明がほしい
- 804 名前：１３２人目の素数さん mailto:sage [03/11/29 23:09]
- >>801
＞説明しないのはわかっていないからだと思うと表明するののも
＞もちろん自由だね。
自由だが、その表明したことが間違っていたら、どーしょうもないな（ｗ
- 805 名前：１３２人目の素数さん mailto:sage [03/11/29 23:11]
- >>802
＞これに勝てるのは現在ヤマジンとイマイ糞ジジイのみ
おまえ、甘いな、見方」が（爆笑
- 806 名前：１３２人目の素数さん mailto:sage [03/12/01 00:54]
- ヤマジンは「終わってる」な（ｗ
- 807 名前：１３２人目の素数さん mailto:sage [03/12/05 15:51]
- >>803
エムシラというたーむがでたれすはスルーが吉。
- 808 名前：１３２人目の素数さん mailto:sage [03/12/06 08:33]
- マツシンというたーむがでたれすは飛びつくが大吉。
- 809 名前：保健衛生局 mailto:sage [03/12/06 15:21]
- このスレは「エムシラ汚染スレ」と認定されますた。 関係者は直ちに退去してください！
- 810 名前：加護天使 ◆j/LLggzims mailto:sage [03/12/07 03:30]
- 友よ、夜明けは近い。
- 811 名前：１３２人目の素数さん [03/12/08 05:47]
- A→B
TTT
TFF
FTT
FFT
Aエムシラの 「ならば」B
TTT
TFF
FTF
FFT
なので
Aエムシラの 「ならば」B≡（A∧B）∨（¬A∧¬B）
まあ、ちょっとした補助記号だな
- 812 名前：１３２人目の素数さん [03/12/08 06:49]
- すいません、タルスキってどのくらい訳されてますか？
- 813 名前：１３２人目の素数さん mailto:sage [03/12/08 09:23]
- {0,{0}ってなんだー}いみわからん
- 814 名前：１３２人目の素数さん [03/12/08 12:02]
- >>811
もうちょっと補足すると、
（A∧B）∨（¬A∧¬B）= （A→B）∧（A←B）
ということになり、つまりＡとＢの同値関係をいっているわけ。
で、実際エムシラに「××ならば、○○だ」というようなことをいうと、
しばしば「ばかもん！ □□だとでも言うのか！」という反応がある。
これはエムシラの「ならば」が実際には同値関係のことなので
話が全然通じないことの証拠にもなっている。
- 815 名前：１３２人目の素数さん mailto:sage [03/12/08 12:51]
- >>814
ばっかもん! よの「ならば」が、そちのような軽輩の真理表などで表せる
わけがなかろう。
- 816 名前：１３２人目の素数さん mailto:sage [03/12/08 13:20]
-
ワス、消毒されますた。 ケツの穴まで。 （＾＾；）
／:::::::::::::::::::::＼
／::::::::::::::::::::::::::::::::＼
|:::::::::::|＿|＿|＿|＿|＿|
|＿|＿ノ∪ ＼,, ,,／ ヽ
|::（ 6 ー─◎─◎ ）
|ﾉ （∵∴∪（ o o）∴）
| < ∵ ３ ∵>
／＼ └ ＿＿_ ノ
.＼＼U ＿＿＿ノ＼
＼＼＿ ＿） ヽ 敬白 マツシン
- 817 名前：１３２人目の素数さん mailto:sage [03/12/09 15:34]
- >>812
『現代哲学基本論文集II』に「真理の意味論的観点と意味論の基礎」が
のってるのしか知らんなあ。
- 818 名前：１３２人目の素数さん mailto:sage [03/12/09 17:12]
- >>811
そういう反論は素朴すぎる。大体、直観主義の「ならば」ですら、真理表解釈は
存在しないんだぞ。
>>813
「３」
- 819 名前：１３２人目の素数さん mailto:sage [03/12/09 20:20]
- Ａ→Ｂ スレ（science.2ch.net/test/read.cgi/math/1067187614/）で、
> 真理表を使って
>
> イ. Ａが真でＢが真ならば、「ＡならばＢ」は真，
> ロ. Ａが真でＢが偽ならば、「ＡならばＢ」は偽，
> ハ. Ａが偽でＢが真ならば、「ＡならばＢ」は真，
> 二. Ａが偽でＢが偽ならば、「ＡならばＢ」は真，
>
> と（「ＡならばＢ」を）「定義」するのは循環論法だ
と言ってる椰子がいたけど、どうよ？
- 820 名前：１３２人目の素数さん [03/12/10 00:48]
- >>812 例の「真理概念」論文を訳して単行本として出版しよう、という計画はあった。
でも出版社の事情で立ち消えに……。
- 821 名前：１３２人目の素数さん [03/12/10 17:50]
- >>819
そこには、ふつうの「ならば」とエムシラの「ならば」が混在しているから、
まずはそれらを区別してみないとな。
で、そうやってみればすぐ分かることだが、全然循環していない。
循環しているってのは、エムシラの妄想。
- 822 名前：↑ mailto:sage [03/12/10 20:11]
- ではなくて、
オ マ エ の 妄 想
- 823 名前：保健衛生局 mailto:sage [03/12/10 20:15]
- 繰り返えす、連絡いたすます！！！
このスレは「エムスラ汚染スレ」と認定されますた。 関係者は直つに退去すてください！
- 824 名前：１３２人目の素数さん mailto:sage [03/12/10 23:47]
- >>817
情報ありがとうございます。明日早速当たってみます。
- 825 名前：１３２人目の素数さん [03/12/11 00:51]
- 前原本読んでるけどモデルとか？階述語論理とか
まったくわからんからそういうのがよくわかる本すすめてくれ
- 826 名前：１３２人目の素数さん mailto:sage [03/12/11 01:26]
- >>825
モデルの基本的な概念についてもっとやさしい解説が欲しいんだったら、
戸田山和久『論理学をつくる』を読むしかない。
www.amazon.co.jp/exec/obidos/ASIN/4815803900/
それでもわからなかったら、あきらめた方がいいかも……
- 827 名前：１３２人目の素数さん mailto:sage [03/12/11 17:11]
- >>820
俺もその話聞いたことある。いいだっちが訳すはずだったんだっケ？
- 828 名前：１３２人目の素数さん mailto:sage [03/12/12 02:49]
- >>827
『プリンキピア・マテマティカ序論』と同じシリーズで出す予定だったらしい。
訳者はたしか、『プリンキピア』訳した人たちと同じじゃなかったかな？
詳しいことは私も知らないです。
- 829 名前：１３２人目の素数さん mailto:sage [03/12/12 03:05]
- 誰か竹内シンポジウム行かないの？
- 830 名前：１３２人目の素数さん mailto:sage [03/12/12 07:37]
- ミステリーの世界では「ゲーデル問題」がホットな話題らしい。ミステリー作家の
中の人も大変だな。
【Tが無矛盾ならば】ゲーデル問題【〜[T|-Con(T)]】 ＠ミステリー板
book.2ch.net/test/read.cgi/mystery/1069563560/
- 831 名前：１３２人目の素数さん mailto:sage [03/12/12 17:54]
- >>830
山口人生の師である竹内外史先生の「ゲーデル」を読んでたんだけど、
河井塾から出てた時にのっていた、ホテルにしけ込む時は「タルスキ」と
サインしたッツー話が抜けてるようなきが、、
- 832 名前：１３２人目の素数さん mailto:sage [03/12/12 18:02]
- >>831
それを書いたのは倉田令二朗。
- 833 名前：１３２人目の素数さん mailto:sage [03/12/12 21:11]
- 令二朗さんは痔に苦しんでたらしい。
- 834 名前：１３２人目の素数さん mailto:sage [03/12/12 22:23]
- >>830
スレタイの【】内の書き方が、妙に専門的なような気がするのは漏れだけか？
- 835 名前：１３２人目の素数さん mailto:sage [03/12/12 23:07]
- この師 ---> 竹内外史
ニシテ
この弟子 ---> 山口人生
アリ（爆笑
- 836 名前：１３２人目の素数さん mailto:sage [03/12/13 18:53]
- >>832
さんきゅ！河合塾版なくしちゃってわかんなくなっちゃってさ。
たしかクライゼルの話だよね？
- 837 名前：１３２人目の素数さん mailto:sage [03/12/14 04:50]
- ところで竹内外史の全集って作られる見込みあるの？
- 838 名前：１３２人目の素数さん mailto:sage [03/12/14 05:28]
- >>830
> 山口人生の師である竹内外史先生
…いやな特徴づけだ。(w
>>837 来週の竹内シンポで聞いてみられては？ Proof Theory も全集の一巻
として復刊してほしいなぁ。
- 839 名前：１３２人目の素数さん mailto:sage [03/12/14 21:16]
- >>837
「竹内外史＋山口人生」師弟全集刊行予定 ---- 限定販売につき、申し込みは早めに！！！
- 840 名前：１３２人目の素数さん mailto:sage [03/12/14 23:34]
- >>839
もうﾔﾏｼﾞﾝネタはやめてぇ〜
- 841 名前：１３２人目の素数さん mailto:sage [03/12/15 22:33]
- ﾔﾏｼﾞﾝネタ、おもろいので続けてぇ〜
- 842 名前：１３２人目の素数さん mailto:sage [03/12/16 09:21]
- >>841
いい加減空気読んでくれない？
- 843 名前：１３２人目の素数さん mailto:sage [03/12/18 15:07]
- 「いい加減空気」って、どんな空気？
- 844 名前：１３２人目の素数さん mailto:sage [03/12/19 04:34]
- ウワッ、キモい…>>843
- 845 名前：１３２人目の素数さん mailto:sage [03/12/19 14:44]
- そろそろ次のスレタイを決めておきたいなあ。
ツェルメロ流ではもう長さ限界なので、なんかいい案希望。
無難にサクセサにする？ 0'''' とか。なんかつまらんな。
- 846 名前：１３２人目の素数さん mailto:sage [03/12/19 22:02]
- {0,1,2,3}ならいけるけど・・・あんまり美しくはないか
- 847 名前：１３２人目の素数さん mailto:sage [03/12/20 00:18]
- そろそろ基礎論スレ終了しようよ。もうネタも無いしさ。
論理なら数理論理学スレ、集合論なら集合論スレでどうぞ。
- 848 名前：１３２人目の素数さん mailto:sage [03/12/20 16:52]
- >>847
ネタというのはどこからともなく突然降ってくるものだから、そういわずに気長に待つ
のが吉かと。
- 849 名前：１３２人目の素数さん mailto:sage [03/12/20 22:55]
- 待つのにスレはいらない。
ネタがあればスレがなくてもスレが立つ。
- 850 名前：１３２人目の素数さん mailto:sage [03/12/22 10:37]
- >>847
っていうか、そんな細分化して過疎スレ作るほうがおかしいぞ。どれも
ここからスピンアウトしたスレなんだから、ここを維持したほうが良いだろう。
>>849
不完全性定理って何？みたいな単発スレが濫立するほうがおこのみでつか？
- 851 名前：１３２人目の素数さん mailto:sage [03/12/22 21:01]
- 「不完全性定理は潰れる」というエムシラ大先生の予言は当たるのだろうか？
- 852 名前：１３２人目の素数さん mailto:sage [03/12/23 10:39]
- 細分化すると過疎になるというのはおかしい。
単にカキコする奴が区別できるのにしてないだけ。
そういう馬鹿を教育するためにここは潰したほうがいいだろう。
- 853 名前：１３２人目の素数さん mailto:sage [03/12/23 14:17]
- なんか、最近ダークサイドマツシンが出没してないか？
- 854 名前：１３２人目の素数さん mailto:sage [03/12/23 22:57]
- 「ダークサイドマツシン」って何？ マツシンとはどう違うの？
- 855 名前：１３２人目の素数さん mailto:sage [03/12/23 23:05]
- 非古典論理のスレが盛況ですね。
- 856 名前：１３２人目の素数さん mailto:sage [03/12/24 15:58]
- >>845
マツシンにはいいマツシンと悪いマツシンがいるんでしよ。
議論や話題が進むにつれて、だんだん悪いマツシンが顔を出すのでし。
- 857 名前：１３２人目の素数さん mailto:sage [03/12/24 16:13]
-
ワス、「絶望」って名の電車に乗っつまいますた。
すかも、特急ざんす。 ( ^ ^ ;)
／:::::::::::::::::::::＼
／::::::::::::::::::::::::::::::::＼
|:::::::::::|＿|＿|＿|＿|＿|
|＿|＿ノ∪ ＼,, ,,／ ヽ
|::（ 6 ー─◎─◎ ）
|ﾉ （∵∴∪（ o o）∴）
| < ∵ ３ ∵>
／＼ └ ＿＿_ ノ
.＼＼U ＿＿＿ノ＼
＼＼＿ ＿） ヽ 敬白 マツシン
- 858 名前：１３２人目の素数さん mailto:sage [03/12/24 17:42]
- 河合塾ブックレットの「いざない」が買いたいんだけど、
なんか、品切れになってるっぽい。......鬱だ...
- 859 名前：１３２人目の素数さん mailto:sage [03/12/24 21:37]
- ＞マツシンにはいいマツシンと悪いマツシンがいるんでしよ。
エムシラはアホエムシラだけだけどな（ｗ
- 860 名前：１３２人目の素数さん mailto:sage [03/12/24 23:32]
-
／￣￣￣ｖ´｀ヽ､
／ ／／.// ﾊヽヾ ヽ＼
i' ´／/ / ハ いヽ、ヾ､ヽi
/ | i'リ゛ヾ゛川ヽヽー、_!いﾉヾヽ
/,（(i iﾉ ヾ. 川川川ﾘｿ
(川川丿 ヾ ..川川川川
ノ川川.|---、 川川川川
ﾉｉ ｉ川川ｨ'''･ヽ,ｰ ／￣川川川 ／￣￣￣￣￣￣￣￣￣
ノ川川ﾘ ｀ｰ,ｲ ´ｨ''･ヽ)）川川川 .|
川川川 ﾉヽ ｀''´ノ川川川ﾘ＜ ネットでエムシラ様の悪口言ったら
川川川ヽ,,＿ (,､_,､ )__,イ /川川川ﾘ | ひどい目にあわされるってこと
川川川 ,,,,ﾉ ゞヽ /川川川川 │ 御存知、ア〜タ？ オッホホホ
川川川 ⌒ニ´' ／|川川川川 ＼＿＿＿＿＿＿＿＿＿
川川川 ｀ヽ ~~ ／|川川川川川
川川川 ｀ｰ-ｰ´ ||川川川川ｿ
- 861 名前：１３２人目の素数さん mailto:sage [03/12/25 00:51]
- >>859
ものは知ってるので御大は便利な側面もある。まつしんは時に偉く
知ったかぶるのでそうなるとかなりうざい。
- 862 名前：１３２人目の素数さん mailto:sage [03/12/25 08:18]
- ＞ものは知ってるので
そりゃキミがものしらなすぎるんだよ（ｗ
てゆーか、マツシン程度で知ったかぶってると思う
キミはそうとう劣等感に苛まれてるイタイヤシ（ｗ
- 863 名前：１３２人目の素数さん mailto:sage [03/12/25 09:25]
- >>862
＞ そりゃキミがものしらなすぎるんだよ（ｗ
とりあえず、スペルチェッカーにはなるぜ（笑）
- 864 名前：１３２人目の素数さん mailto:sage [03/12/25 17:20]
-
ワス、「コロンビア」の綴りは、"Columbia"だっつこと知(す)らずに、"Colombia"と書いて、顔が潰れたッス。
／:::::::::::::::::::::＼
／::::::::::::::::::::::::::::::::＼
|:::::::::::|＿|＿|＿|＿|＿|
|＿|＿ノ∪ ＼,, ,,／ ヽ
|::（ 6 ー─◎─◎ ）
|ﾉ （∵∴∪（ o o）∴）
| < ∵ ３ ∵>
／＼ └ ＿＿_ ノ
.＼＼U ＿＿＿ノ＼
＼＼＿ ＿） ヽ 敬白 マツシン
- 865 名前：１３２人目の素数さん mailto:sage [03/12/25 21:19]
- 久しぶりに沢山書き込まれてると思ったら、またですか。。。
- 866 名前：１３２人目の素数さん mailto:sage [03/12/26 02:48]
- そうよ、またなのよ。ヽ(^。^)ノ
- 867 名前：１３２人目の素数さん mailto:sage [03/12/26 07:30]
- このスレは「エムスラ（→ヽ(^。^)ノ）汚染スレ」と認定されますた。
関係者は直つに退去すてください！
避難場所
数理論理学 基礎
science2.2ch.net/test/read.cgi/math/1035210795/
【数学】前原昭二：数学基礎論入門【基礎論】
science2.2ch.net/test/read.cgi/math/1043852921/
集合論なぜなにスレッド
science2.2ch.net/test/read.cgi/math/1064299337/
- 868 名前：１３２人目の素数さん mailto:sage [03/12/26 10:39]
- >>865
いやいや、ひさしぶりに関連スレ全て活性化してるって。
- 869 名前：↑ mailto:sage [03/12/27 01:20]
- これも、みな、御大の「御活躍」によるものと思われ。ヽ(^。^)ノ
- 870 名前：１３２人目の素数さん mailto:sage [03/12/27 01:24]
- >>867 の「避難場所」は、みんな、すでに「エムシラ汚染スレ」であったことが追認されますた。 (ﾟдﾟ)
- 871 名前：１３２人目の素数さん mailto:sage [03/12/27 01:27]
- ２ｃｈには「避難場所」はないものと思われ。 ヽ(^。^)ノ
- 872 名前：１３２人目の素数さん [03/12/27 08:40]
- エムシラってホント馬鹿だな。
- 873 名前：↑ mailto:sage [03/12/27 21:10]
-
／￣￣￣ｖ´｀ヽ､
／ ／／.// ﾊヽヾ ヽ＼
i' ´／/ / ハ いヽ、ヾ､ヽi
/ | i'リ゛ヾ゛川ヽヽー、_!いﾉヾヽ
/,（(i iﾉ ヾ. 川川川ﾘｿ
(川川丿 ヾ ..川川川川
ノ川川.|---、 川川川川
ﾉｉ ｉ川川ｨ'''･ヽ,ｰ ／￣川川川 ／￣￣￣￣￣￣￣￣￣
ノ川川ﾘ ｀ｰ,ｲ ´ｨ''･ヽ)）川川川 .|
川川川 ﾉヽ ｀''´ノ川川川ﾘ＜ ネットでエムシラ様の悪口言ったら
川川川ヽ,,＿ (,､_,､ )__,イ /川川川ﾘ | ひどい目にあわされるってこと
川川川 ,,,,ﾉ ゞヽ /川川川川 │ 御存知、ア〜タ？ オッホホホ
川川川 ⌒ニ´' ／|川川川川 ＼＿＿＿＿＿＿＿＿＿
川川川 ｀ヽ ~~ ／|川川川川川
川川川 ｀ｰ-ｰ´ ||川川川川ｿ
- 874 名前：↑ mailto:sage [03/12/28 15:30]
-
／￣￣￣ｖ´｀ヽ､
／ ／／.// ﾊヽヾ ヽ＼
i' ´／/ / ハ いヽ、ヾ､ヽi
/ | i'リ゛ヾ゛川ヽヽー、_!いﾉヾヽ
/,（(i iﾉ ヾ. 川川川ﾘｿ
(川川丿 ヾ ..川川川川
ノ川川.|---、 川川川川
ﾉｉ ｉ川川ｨ'''･ヽ,ｰ ／￣川川川 ／￣￣￣￣￣￣￣￣￣
ノ川川ﾘ ｀ｰ,ｲ ´ｨ''･ヽ)）川川川 .|
川川川 ﾉヽ ｀''´ノ川川川ﾘ＜ ネットでエムシラが
川川川ヽ,,＿ (,､_,､ )__,イ /川川川ﾘ | ひどい目にあわされてるってこと
川川川 ,,,,ﾉ ゞヽ /川川川川 │ 御存知、ア〜タ？ オッホホホ
川川川 ⌒ニ´' ／|川川川川 ＼＿＿＿＿＿＿＿＿＿
川川川 ｀ヽ ~~ ／|川川川川川
川川川 ｀ｰ-ｰ´ ||川川川川ｿ
- 875 名前：訂正 mailto:sage [03/12/28 17:20]
- >>874 で、「エムシラ」と書いたのは、「マツシン」の誤りでいた。 m(_ _)m
- 876 名前：１３２人目の素数さん mailto:sage [03/12/29 04:20]
- ああ、負けた、負けた、世間に負けた。
／:::::::::::::::::::::＼
／::::::::::::::::::::::::::::::::＼
|:::::::::::|＿|＿|＿|＿|＿|
|＿|＿ノ∪ ＼,, ,,／ ヽ
|::（ 6 ー─◎─◎ ）
|ﾉ （∵∴∪（ o o）∴）
| < ∵ ３ ∵>
／＼ └ ＿＿_ ノ
.＼＼U ＿＿＿ノ＼
＼＼＿ ＿） ヽ 敬白 マツシン
- 877 名前：訂正 mailto:sage [03/12/30 00:00]
- >>876 で、「マツシン」と書いたのは、「エムシラ」の誤りでいた。 m(_ _)m
- 878 名前：↑ mailto:sage [03/12/30 01:09]
- と、そのように、マツシン痰が「苦し紛れに」言うとりますた。 ヽ(^。^)ノ
- 879 名前：１３２人目の素数さん mailto:sage [03/12/30 01:12]
- またも負けたか、松本真吾（ｗ
- 880 名前：１３２人目の素数さん mailto:sage [03/12/30 06:19]
- なぜこの程度の陰口が読み流せないのか
- 881 名前：１３２人目の素数さん mailto:sage [03/12/30 11:30]
- なぜこの程度の陰口も我慢できないのか
- 882 名前：１３２人目の素数さん mailto:sage [03/12/30 15:43]
-
／ .＼
＼ ／ ＼ ／
＼ ＿＿＿＿＿＿＿＿＿＿＿ . ／
＼ .／ ＼ ／
| ＼／ ＼／...|
| | | |
| | | |
..＿ |＿| |＿|＿..
| | マツシン、さあ、逝こうか・・・ | |
| | | |
| | | |
| | | |
| |／ ..＼| |
| | | |
..＿|／| _ _ _ _ _ _ _ _ ...|＼|＿
／ ..| | ＿−＿−＿−＿−＿− ＿ | | ＼
| |／＿／━ ━ ━ ━ ━ ━＼＿＼| |
..＿| ／＿／━ ━ ━ ━ ━ ━ ━ ＼＿＼.|＿
／＿／━ ━ ━ ━ ━ ━ ━ ＼＿＼
／ ／━ ━ ━ ━ ━ ━ ━＼ ＼
- 883 名前：１３２人目の素数さん mailto:sage [03/12/30 16:30]
- マツシンって、孤立無援だよね。 素行が余りにも悪かったから。（ｗ
- 884 名前：１３２人目の素数さん mailto:sage [03/12/31 03:23]
-
このアッフォーの師 ---> 竹内外史
ニシテ
このアッフォーの弟子 ---> 山口人生
アリ（爆笑
- 885 名前：１３２人目の素数さん mailto:sage [04/01/01 16:20]
- 冬厨にスレが潰されてる・・
- 886 名前：１３２人目の素数さん mailto:sage [04/01/09 12:43]
- あらしはさったかな？
- 887 名前：１３２人目の素数さん mailto:sage [04/01/09 22:10]
- 可算選択公理が非可算のものに比べて風当たりが弱いのは何故ですか？
- 888 名前：１３２人目の素数さん mailto:sage [04/01/10 01:06]
- 可算より非可算の方がキモイからだろ
よくわかんなくても数えられると安心なんだよ
- 889 名前：１３２人目の素数さん mailto:sage [04/01/10 02:33]
- >>887
なければ困るから。特に、解析学の基礎的な部分。
選択公理に否定的だったルベーグも無意識のうちに使っていた。
- 890 名前：１３２人目の素数さん mailto:sage [04/01/10 07:30]
- 二重否定の消去¬¬A→Aは風当たりが強いのに
contractionはほとんど問題にされないのはナゼ？
- 891 名前：１３２人目の素数さん mailto:sage [04/01/10 13:57]
- >>889
そうなんだ、知らなかった。
で、ルベーグその人は、「可算なら許可なのダ！」的な発言をしたので
しょうか？ それとも、御自身は最後まで気づかなかったとか？
>>890
contractionてなんすか、解説ｷﾎﾞﾝﾇ。
- 892 名前：１３２人目の素数さん mailto:sage [04/01/10 23:12]
- contradiction（矛盾律）のことなら
¬(A∧¬A)は排中律なくても出せるぞ
- 893 名前：１３２人目の素数さん mailto:sage [04/01/10 23:48]
- >>886
＞あらしはさったかな？
甘いな、オヌシ。
- 894 名前：１３２人目の素数さん mailto:sage [04/01/11 00:13]
- >>891
こんなやつ
A,A,Γ|-Δ
----------
A,Γ|-Δ
Γ|-Δ,A,A
----------
Γ|-Δ,A
- 895 名前：１３２人目の素数さん mailto:sage [04/01/11 03:23]
- >>890
そりゃあ、同じこと二度三度いう必要はなくて、一度にして良い、
っていうのは数学の論理としては自然なんでは？
構造規則を問題にするようになったのは９０年代からだし。最近のこと
といってよいと思うよ。
- 896 名前：１３２人目の素数さん mailto:sage [04/01/11 03:26]
- 言及することによって性質が変わるような類の命題だったら危ないんじゃないの？
- 897 名前：１３２人目の素数さん mailto:sage [04/01/11 04:14]
- >>896
うん、危ない。構造規則をいじる先駆的な研究は、より「現実的な」対応を
できるような論理体系の構築から始まってるのはそういうわけで。
- 898 名前：１３２人目の素数さん mailto:sage [04/01/11 04:21]
- >>896
Relevant, Resorce Consious, Categorical grammer が三大
先駆研究というところだそうだよ。
- 899 名前：１３２人目の素数さん mailto:sage [04/01/11 09:37]
- >>895
見た目だけで感想を述べると恥かくよ。
- 900 名前：１３２人目の素数さん mailto:sage [04/01/11 09:43]
- >>896
∧や∨はもとより、∀や∃の意味も変わるよ。
例えば∀xP(x)からP(a),P(b),P(c),･･･と
どんどん式を増やせるのはcontractionがあるから
つまり、contractionという規則は無限性をもってるわけ。
だから述語論理では決定不能になったりする。
- 901 名前：１３２人目の素数さん mailto:sage [04/01/11 09:57]
- >>897
relevant logic は weakeningがターゲットでしょ。
Lambek calculusは、weakening,contractionのほかに
exchangeもなくなるし。
対象の無限性と直接かかわりがあるのは真ん中かな。
実は直観主義論理ってブラウアーが本来考えていたような問題の
「正しい解決法」ではないんじゃないかと思うわけ。
何を「正しい」っていうかは難しいけど、ブラウアーがもともと
いってたのは、１，２，３･･･という自然数の対象は、時間の
流れにそって作られるんで、そういうものをあらかじめ全部
あるとした上で、無限の対象について排中律が成り立つと
前提するのはおかしいってことだから、単に排中律をなくす
とか、二重否定を肯定とするのがおかしいとかいうことでは
ないわけ。
実際、contractionを除くと排中律も矛盾律も証明できなくなるし。
- 902 名前：１３２人目の素数さん mailto:sage [04/01/11 17:30]
- 形式論理の研究のほとんど(線形論理その他)は、具体的にあるものを
形式化したのではなくて、推論規則に着目している形式についての研
究で、部外者には興味がもてないものが多いんじゃないのー?
- 903 名前：１３２人目の素数さん mailto:sage [04/01/11 17:41]
- 部外者に興味もたれなくてもいいんじゃないのー?
|
 |
