Eukie_M_SHIRAISHIさんを熱烈に応援するスレ
最近、sci.mathやsci.logicに盛んに記事を投稿しているEukie_M_SHIRAISHIさんをここで熱烈に応援しよう!!!!
# Eukie_M_SHIRAISHIさんは、エムシラ御大(ことM_SHIRAISHIさん)と同一人物と思われる、が真相は不明。
2get
(: : : : : : : \ /: : : ,-―' \: : : : :ヽ /: : : / _
 ̄ ̄ \: : ヽ /: : :::/ _ , -── 、 \: : : l l: : : / /: : :` ̄`ヽ
.,--、 ヽ: ;} /: ;/ (i'7 ) ノ: : : : ,r--、: \ i: : : l l: : :l /: : /  ̄`ヽノ
(j⌒)) , -) V (_ .{シ’ , ,=、、-'''´ \: ヽ ,l: : / _ ,--、 \ l__/ ∠ __
ヾio/: : : ´: : : `: : \ o (j /ノ ,-―ニニニl}ム∠_ ~,ニ)) (j⌒)) ノ /~ヽく,へ、\ (j⌒))
//: : : ;l: : : : l: : : : ヽ_ `ソo/: / : : : : : : : : : ::\ .o~´ ヾio/: : : : : : : : : :\: \ {シ
く: i: : : _ト、: : /リ_: : ムノ ム''フ: : : : : ,ィ : :: : : : : : ::\ ノ: : : : l: : : : : : : l ,: `>)o
ム: ::リトJO `´ O.レノ: ) / く__: ト、ト、,イ: :/Lノ: : : :`ヾ ´/: : : ト、j\_ト、jヽ)ノュ≦\ 3げっと
└ァ u .l _ .l l) く `フ: : (,}、_j O レ' O`レ::/i:.ノ l: ト、ヾj O Ol'^l_):_>
└‐、_)、_{__ノ__.ノiハ「 `ァ_l. / __ lノl レ' `´ |., l r‐‐ァ りr┘
/ }>ヘ,ノ `Y ~~゙゙、_l_ノ__ノレ'´ V`'ァ->.-ヒく´
i r==〒 l /  ̄\_∧ i´}/´ `i
__ l l l i__ _ {_,,-へ \,ヽ、 / / /_`‐-l _
r┴-,ンl l l iへ┴ァ _l 二vノ´ / \ ヽ_,}、_ r‐くノ /ヽノ ヒシー┴
}_/ .L_}、 l_l\_i´ ヽ,__l ヽ / ヾ`く_)__) `(_〉_} l L_ノ
く::::/ し' く_)\::\ r=´. / \.
4 :
132人目の素数さん:2008/04/11(金) 19:58:39
5 :
132人目の素数さん:2008/04/11(金) 20:35:55
_.. - ― - 、_
, '´ ╋ ヽ、
〈::::::: _:::)
/´\:::::::::_,. - ― - 、.〃/
, '/ `ー-’‐'´ ` ' 、
/ ,' -‐ // ,.' , i , l } ! `, ヽ ヽ \
{ソ{. ニ二|,' / / _! Ll⊥l| .Ll_! } 、.ヽ
{ソl ニ二.!!イ /´/|ノ_l_,|.ノレ'レ_l`ノ|! | .l }
ハソt.ー-;ュ;Vl /,ィエ下 「ハ レ| j| j|丿
\ !((.ヽニ{fj ! l ` ハ|li_] |iリ {、|,ノ!'
<\n )’( (‘ーl | ´ __,' ,' ) / ̄ ̄ ̄ ̄ ̄
/.)\_, ` ) ノノ\ tノ /(( < Cinco
V二ス.Y´| (( (r个 . ___. イヽ) )) \_____
{. r_〉`! }>' ) / ゝ 、,,_o]lム` ー- 、
\ f ,. '´/ o ..::: \
`! {/⌒ヽ:::::: :::. \_:: ヽ
| .|:::/::| ',::::: ::'、:: ヾ:: ,〉、
なんだっけ、Oxford だかどっかで講演した人だよね
>>1 >>$
うわぁ〜本当だぁ〜。どんどん投稿してるぜ恩大。
>>6 >Oxford だかどっかで講演した人だよね
Cambridgeだろ。
8 :
132人目の素数さん:2008/04/12(土) 14:28:12
>>1 >最近、sci.mathやsci.logicに盛んに記事を投稿している
温帯、がんばってますねw
9 :
132人目の素数さん:2008/04/12(土) 17:45:26
エムシラ無職のヒキニートだろ
それで生きてけるんなら勝ち組だな
11 :
132人目の素数さん:2008/04/12(土) 19:39:31
どう言う意味? 「ヒキニート」って????
12 :
132人目の素数さん:2008/04/12(土) 22:56:03
\::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
今日から ../::::::::::::::::::::::::、::::::::::::::::::::::::::::::
ここは ヽ:::::::::::::::::::::::::ヽ、,:::::::::::::::::::::::::
King氏ねスレ 〉∧i i゙i .|l, 、ヽ斗l' ヽ::::::::::::::
だってばぁ /`トl、{.ヽ.l!、 イ℃)ヽ,i::::::::::::
>! (℃}`ヽ ヽ!"´´ ヽ l,:::::::::::
l 、 "/// ////// u |:::::::::
i /// ヽ ._....-- 、. !::::::::
v-"!、u . .r‐''''"゛ l .il:::::::::
.、., i=@.、 ,,/ヽl::::::::`-..、'!、 /・/ l::::::::
! ./ `'".!::::::::::::::::::::`''!-ii=--;;'''".ノ |:::::::::
″ !:::::::::::::::::::::::::::::::::`"''ァ'"゛'., ー''│:::::
,!::::::::::::::::::::::::::::::::::::::/]、,/ l::::::::
/:::::::::::::::::::::::::::::::::,,イ ,l'" ,!::::::::
iヽ,∧/i,7::::::::::::::::::::::::::::/ / ,l'l ,,i'!:::::::
┌, ‐''''ヽr‐┐:::::::::::::::/ __ /ノ |, \, ./ |::::::
. / 、 ゙ッ.l:::::::::,i'"/./゛.--ィ_.ゝ/i"\ |::::::
.| .''" .l /:::::://○iラ"、.フ゛ i' .l′ 'l::::::
.| ...=@ l::::./ ゙゙ノ,ljZr"''''''゙゙".、/ ./:::::
.,! 〈::./ .r'"'!ッ'"._ l'"´ =''゙/ !::::::
.:!. u -'" リ゙ .,iヘ,フ" ,, - ,,,7_,レ ,! /::::::::
: .l'ヽ ./ .|,,./′.,ノ_./ l !::::::::::
.゙'、ヽ_,,,..i''|′.l ./ ./ ''''ー′ l /::::::::::::
::::::.`'ー--'゙/ ./ .│ .| / ""''''""l .!::::::::::::::
AA変えたと察しはつくが・・・
そのAAやめろ
(原義はホ@・・・)
14 :
1stVirtue ◆.NHnubyYck :2008/04/12(土) 23:22:08
⊂( ^ω^)⊃ ←菌愚
⊂c ノ__ ノ
/⌒ヽ | .| | .| /⌒ヽ
( ^N^) i i二 .ノ _( ^N^) il|
(´ 二二二 ノ (´ \ \|il |il il|
/ /: / \. \ノ\. \il| |il|
i===ロ==/ i===ロ== ヘ. \. i|!l !l\il|
ノ:::::::::::::::::ヽ ノ:::::::::::::::::ヽ \ ヽη /')/')
/:::::::::::へ:::::::::ヽ /:::::::::::へ:::::::::ヽ ヽ_,,..) /
/::::::_/ \:::::::) /::::::_/ \:::::::) ) ( / /
/::_ '´ |::::| /::_ '´ |::::| ⊂(v )⊃
レ しつ レ しつ`) \ 〆 (´←菌愚
/⌒Y⌒ヽ⌒\
気を惹くだけ惹いておいて菌愚がその気になったら二度と立ち上がれないくらい一気にどん底へ突き落とす
これがすべての淑女が備えておくべき正しい菌愚との付き合い方だ。 日本人なら菌愚の再起不能に協力すべきだ。
元来極めて可能性は低いが、菌愚の子孫を発生させる僅かな可能性さえもきっちり全力で排除しなくてはならない。
>>14 お前の道は二つある。このまま負け犬のように立ち去るか。種馬に掘られるかだ。
16 :
132人目の素数さん:2008/04/13(日) 08:19:50
\::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
今日から ../::::::::::::::::::::::::、::::::::::::::::::::::::::::::
ここは ヽ:::::::::::::::::::::::::ヽ、,:::::::::::::::::::::::::
King氏ねスレ 〉∧i i゙i .|l, 、ヽ斗l' ヽ::::::::::::::
だってばぁ /`トl、{.ヽ.l!、 イ℃)ヽ,i::::::::::::
>! (℃}`ヽ ヽ!"´´ ヽ l,:::::::::::
l 、 "/// ////// u |:::::::::
i /// ヽ ._....-- 、. !::::::::
v-"!、u . .r‐''''"゛ l .il:::::::::
.、., i=@.、 ,,/ヽl::::::::`-..、'!、 /・/ l::::::::
! ./ `'".!::::::::::::::::::::`''!-ii=--;;'''".ノ |:::::::::
″ !:::::::::::::::::::::::::::::::::`"''ァ'"゛'., ー''│:::::
,!::::::::::::::::::::::::::::::::::::::/]、,/ l::::::::
/:::::::::::::::::::::::::::::::::,,イ ,l'" ,!::::::::
iヽ,∧/i,7::::::::::::::::::::::::::::/ / ,l'l ,,i'!:::::::
┌, ‐''''ヽr‐┐:::::::::::::::/ __ /ノ |, \, ./ |::::::
. / 、 ゙ッ.l:::::::::,i'"/./゛.--ィ_.ゝ/i"\ |::::::
.| .''" .l /:::::://○iラ"、.フ゛ i' .l′ 'l::::::
.| ...=@ l::::./ ゙゙ノ,ljZr"''''''゙゙".、/ ./:::::
.,! 〈::./ .r'"'!ッ'"._ l'"´ =''゙/ !::::::
.:!. u -'" リ゙ .,iヘ,フ" ,, - ,,,7_,レ ,! /::::::::
: .l'ヽ ./ .|,,./′.,ノ_./ l !::::::::::
.゙'、ヽ_,,,..i''|′.l ./ ./ ''''ー′ l /::::::::::::
::::::.`'ー--'゙/ ./ .│ .| / ""''''""l .!::::::::::::::
17 :
1stVirtue ◆.NHnubyYck :2008/04/13(日) 08:49:43
18 :
132人目の素数さん:2008/04/13(日) 09:38:41
19 :
1stVirtue ◆.NHnubyYck :2008/04/13(日) 09:40:03
Reply:
>>18 お前は何をしようとしている。
⊂( ^ω^)⊃ ←菌愚
⊂c ノ__ ノ
/⌒ヽ | .| | .| /⌒ヽ
( ^N^) i i二 .ノ _( ^N^) il|
(´ 二二二 ノ (´ \ \|il |il il|
/ /: / \. \ノ\. \il| |il|
i===ロ==/ i===ロ== ヘ. \. i|!l !l\il|
ノ:::::::::::::::::ヽ ノ:::::::::::::::::ヽ \ ヽη /')/')
/:::::::::::へ:::::::::ヽ /:::::::::::へ:::::::::ヽ ヽ_,,..) /
/::::::_/ \:::::::) /::::::_/ \:::::::) ) ( / /
/::_ '´ |::::| /::_ '´ |::::| ⊂(v )⊃
レ しつ レ しつ`) \ 〆 (´←菌愚
/⌒Y⌒ヽ⌒\
気を惹くだけ惹いておいて菌愚がその気になったら二度と立ち上がれないくらい一気にどん底へ突き落とす
これがすべての淑女が備えておくべき正しい菌愚との付き合い方だ。 日本人なら菌愚の再起不能に協力すべきだ。
元来極めて可能性は低いが、菌愚の子孫を発生させる僅かな可能性さえもきっちり全力で排除しなくてはならない。
>>17 お前の道は二つある。このまま負け犬のように立ち去るか生き地獄への道だ。
21 :
1stVirtue ◆.NHnubyYck :2008/04/13(日) 13:43:43
Eukie_M_SHIRAISHIさん、ハッキリ言ってかっこいいです。 私たち皆んな応援してます!
;:'´
_....._{{ 〃`
, - ' ,..、、.ヾ{{フ'⌒`ヽ、
/ ,:', -‐‐` ´ '´⌒ヽ ヾ:、 _....、、、、
. ,' ,'´ ,ィ ,ィ ,' , `ヽ', ',-<´ , `ヽ. ______ ..._
,' .i /|. /.| { i, i, }. }_,,)) lニ二二ミヽ.、 ':, ,.: '´ ,_.....__`ヽ、 ,..-‐-、),...._
! | ! .,'-.{ ! !|; |`、.}゙!.! |. ! ヽ.l ./ ,! ,,`ヾ:、 ':, ./'´ ̄`ヾ、、ヽ,.:'´ ,:‐:、 ,.-、 ヽ.
', ', |Vァ=、゙、 `゙、!-_:ト,リ', l ! | ゙レ__,〃_/リ !.'; .} ./l_|___ノ! l `、 ', / //`''} }.'; ',
ヽ、', l:!Kノ}. f:_.)i゙i: リ ! l ル' ̄`` ´-、,ノノ l l .!,;:=、`:.`:>=、.j,} |__人(( _ノノノ |
| l!iヾ- ' , .!__:ノ ゙ ,リ l リ'´ .|' ̄ヽ __ `><ノ | {;:'ノ ノtrテ;、.Y ! ,--、 __`彡 ノ
. ',|!!、 r‐┐ ` ノ' /,イ ! __ , ⌒'/!| | !.`ー‐'´, ゙じ' ノ ! h. ._: ´ ソ).(
'i!゙、ヽ、 ゙ー' _, ィ,:',:''´ ! !、 ー' ノイ ! | | !、 !フ `フ'リ ! ル'ヽ.._ _..、(ン ノ )
゙:、ィ、jヾー::: 'iヘ ノ',リ./! .| |ー`┬、' ´ 〃 l. トヾ、.゙`ィ'' ´ヽ、/// \二|`\ー‐‐'´
,、- '´ ヽ、゙、 { `>"、 ! ! ! | `>-、 | |、
/\\ ', } //`ヽ| ',.!゙、 !// ゙!/
⊂( ^ω^)⊃ ←菌愚
⊂c ノ__ ノ
/⌒ヽ | .| | .| /⌒ヽ
( ^N^) i i二 .ノ _( ^N^) il|
(´ 二二二 ノ (´ \ \|il |il il|
/ /: / \. \ノ\. \il| |il|
i===ロ==/ i===ロ== ヘ. \. i|!l !l\il|
ノ:::::::::::::::::ヽ ノ:::::::::::::::::ヽ \ ヽη /')/')
/:::::::::::へ:::::::::ヽ /:::::::::::へ:::::::::ヽ ヽ_,,..) /
/::::::_/ \:::::::) /::::::_/ \:::::::) ) ( / /
/::_ '´ |::::| /::_ '´ |::::| ⊂(v )⊃
レ しつ レ しつ`) \ 〆 (´←菌愚
/⌒Y⌒ヽ⌒\
気を惹くだけ惹いておいて菌愚がその気になったら二度と立ち上がれないくらい一気にどん底へ突き落とす
これがすべての淑女が備えておくべき正しい菌愚との付き合い方だ。 日本人なら菌愚の再起不能に協力すべきだ。
元来極めて可能性は低いが、菌愚の子孫を発生させる僅かな可能性さえもきっちり全力で排除しなくてはならない。
>>21 お前の道は二つある。このまま負け犬のように立ち去るか生き地獄への道だ。
24 :
1stVirtue ◆.NHnubyYck :2008/04/13(日) 20:09:29
Reply:
>>23 SHIRAISHI さんもお前を応援しないだろう。
>>24 kingこそSHIRAISHI さんの応援をしているのか?
数学は美しく、また数学を愛する人も美しい。
影ながら応援してるぜ、by数学好きだが全然できない俺様。
>>1 漏れの契約してるプロバイダーじゃあ、sci.logicやsci.mathが見れねーんだよ。
トホホー
>>28 Usenetが使えるはずだ。
Googleで、sci.logicと入力してみろよ。
30 :
28:2008/04/17(木) 09:47:14
31 :
132人目の素数さん:2008/04/22(火) 13:41:14
某スレより引用。 M(_ _)M
> Web page(
http://www.age.ne.jp/x/eurms/Ronri_Kaikaku.html)見たか?
> 昔、(といっても、ほんの4〜6年(?)前のことだがw)は
>「新世紀に向かっての・・・」だった。今は、つーか、21世紀に入ってから
> は「新千年紀における・・・」だぞーw
> 冗句の好きなつーか人を楽しませるのが好きなというべきか、そういう人に
> 間違いは無いが、これは冗句ではないと俺は信じて疑わない。その証拠がある」。
> よく御大のWeb pageを読んでみろ。w、)
某スレより引用。 M(_ _)M
> 恩代つーかeurmsの人たちもいろいろと、つーか「物凄い苦労(多分)」したろうなぁ〜。 御大のぺーじをよく詠んでみると、こんな記述がある↓
>
>「あっちが立てば、こっちが立たず・・・」、「こっちが立てばあっちがたたず」 これって「矛盾だらけ」ってことだよなぁ〜。そりゃ苦労するわ。
>
> それに何よりも、Fregean理論(=要するに今の論理学 の「標準理論」w)での「もしも・・・ならば・・・」の解釈は、おどろくたことに、
> 古代ギリシャにまでさかのぼる問題だったらしい。 それをものの見事に解いてしまっている。 凄いぞ! マジで!!!) それに比べて、松芯痰はどうだぁ? そりゃ、某私立(私立と逝ってもいろいろあるから、まぁ、一応w
> 蝶一流の私立の)収支をでてる。 でも、その程度ーーーと逝ったら御幣が
> あるかもしらんがw、ーーー のことで、論理学をかじったつーか、教科書」に書いてあるんだから、それが正しいんだって頭から信じ込んじゃって、今
> の理論には矛盾があるってことすら気がつかなかった。 それでいてfjに
> なんだぁ、「EURMSのページがここにあります。ここを詠んだら3日(一週間?)笑えます」とかなんとかの趣旨の記事を投稿さいたんだよな。
> そりゃ怒るは、いかに温厚なひとでも。
温帯、がんばってますねw
Eukie_M_SHIRAISHIさん、ハッキリ言ってかっこいいです。 私たち皆んな応援してます!
;:'´
_....._{{ 〃`
, - ' ,..、、.ヾ{{フ'⌒`ヽ、
/ ,:', -‐‐` ´ '´⌒ヽ ヾ:、 _....、、、、
. ,' ,'´ ,ィ ,ィ ,' , `ヽ', ',-<´ , `ヽ. ______ ..._
,' .i /|. /.| { i, i, }. }_,,)) lニ二二ミヽ.、 ':, ,.: '´ ,_.....__`ヽ、 ,..-‐-、),...._
! | ! .,'-.{ ! !|; |`、.}゙!.! |. ! ヽ.l ./ ,! ,,`ヾ:、 ':, ./'´ ̄`ヾ、、ヽ,.:'´ ,:‐:、 ,.-、 ヽ.
', ', |Vァ=、゙、 `゙、!-_:ト,リ', l ! | ゙レ__,〃_/リ !.'; .} ./l_|___ノ! l `、 ', / //`''} }.'; ',
ヽ、', l:!Kノ}. f:_.)i゙i: リ ! l ル' ̄`` ´-、,ノノ l l .!,;:=、`:.`:>=、.j,} |__人(( _ノノノ |
| l!iヾ- ' , .!__:ノ ゙ ,リ l リ'´ .|' ̄ヽ __ `><ノ | {;:'ノ ノtrテ;、.Y ! ,--、 __`彡 ノ
. ',|!!、 r‐┐ ` ノ' /,イ ! __ , ⌒'/!| | !.`ー‐'´, ゙じ' ノ ! h. ._: ´ ソ).(
'i!゙、ヽ、 ゙ー' _, ィ,:',:''´ ! !、 ー' ノイ ! | | !、 !フ `フ'リ ! ル'ヽ.._ _..、(ン ノ )
゙:、ィ、jヾー::: 'iヘ ノ',リ./! .| |ー`┬、' ´ 〃 l. トヾ、.゙`ィ'' ´ヽ、/// \二|`\ー‐‐'´
,、- '´ ヽ、゙、 { `>"、 ! ! ! | `>-、 | |、
/\\ ', } //`ヽ| ',.!゙、 !// ゙!/
37 :
↑:2008/05/10(土) 18:58:16
エムシラの追っかけ四人娘w
Eukie_M_SHIRAISHIさん、ハッキリ言ってかっこいいです。 私たち皆んな応援してます!
;:'´
_....._{{ 〃`
, - ' ,..、、.ヾ{{フ'⌒`ヽ、
/ ,:', -‐‐` ´ '´⌒ヽ ヾ:、 _....、、、、
. ,' ,'´ ,ィ ,ィ ,' , `ヽ', ',-<´ , `ヽ. ______ ..._
,' .i /|. /.| { i, i, }. }_,,)) lニ二二ミヽ.、 ':, ,.: '´ ,_.....__`ヽ、 ,..-‐-、),...._
! | ! .,'-.{ ! !|; |`、.}゙!.! |. ! ヽ.l ./ ,! ,,`ヾ:、 ':, ./'´ ̄`ヾ、、ヽ,.:'´ ,:‐:、 ,.-、 ヽ.
', ', |Vァ=、゙、 `゙、!-_:ト,リ', l ! | ゙レ__,〃_/リ !.'; .} ./l_|___ノ! l `、 ', / //`''} }.'; ',
ヽ、', l:!Kノ}. f:_.)i゙i: リ ! l ル' ̄`` ´-、,ノノ l l .!,;:=、`:.`:>=、.j,} |__人(( _ノノノ |
| l!iヾ- ' , .!__:ノ ゙ ,リ l リ'´ .|' ̄ヽ __ `><ノ | {;:'ノ ノtrテ;、.Y ! ,--、 __`彡 ノ
. ',|!!、 r‐┐ ` ノ' /,イ ! __ , ⌒'/!| | !.`ー‐'´, ゙じ' ノ ! h. ._: ´ ソ).(
'i!゙、ヽ、 ゙ー' _, ィ,:',:''´ ! !、 ー' ノイ ! | | !、 !フ `フ'リ ! ル'ヽ.._ _..、(ン ノ )
゙:、ィ、jヾー::: 'iヘ ノ',リ./! .| |ー`┬、' ´ 〃 l. トヾ、.゙`ィ'' ´ヽ、/// \二|`\ー‐‐'´
,、- '´ ヽ、゙、 { `>"、 ! ! ! | `>-、 | |、
/\\ ', } //`ヽ| ',.!゙、 !// ゙!/
マツシンなんて、最低。 ぶおとこだしぃ。
某スレより引用。 m(_ _)m
> 漏れは、最初の頃、「M_SHIRAISHIはトンデモに相違ない」と思っていたの
> だったんだけど、fjへの同氏の投稿記事を読んでいるうちに、掛け値なしに、
>「同氏は大先生だ!」と思う様になった。そして、このように感じるように
> なったのは、何も、漏れに限ったことではないのではないかって気がする。
42 :
132人目の素数さん:2008/06/29(日) 14:52:29
某スレより引用。 M(_ _)M
>> 具体的にどの主張が大先生だと確信させたのですか?
> 松本真吾氏とM_SHIRAISHI氏とのfjでの論戦は(意外なことに!)SHIRAISHI氏の
> 連戦連勝であったこと。罵倒が多くまじっており、それは戴けないと思ったけど、
> それを差し引いて読んでみると、M_SHIRAISHI氏の論旨は極めて明解・明晰であり、
> 松本氏は完敗に終わった。
>
最近のfjでのM_SHIRAISHI氏の記事↓
>
http://queen.heart.ne.jp/cgi-bin/queen4?msgid=%3C3BE172D9.541D03C6%40apionet.or.jp%3E&go=%B8%A1%BA%F7 > を読んでみても(例によって、罵倒を含んでいるので、その部分を外して考えてみると)
> 極めて明解であり、反論の余地などありそうに無い。
>
> 一方、「論*狸*学」などと悪口を言っている連中に対しては、Dr.Haackの思潮を
> 紹介して、彼等の無学ぶりをあ暴いてしまい、逆に、連中の信奉している旧理論の
> ほうこそ「論*狸*学」である可能性が高まって来た。
Shinji KONO さんは書きました:
> 河野真治 @ 琉球大学情報工学です。
> In article <
[email protected]>, Eukie_M_SHIRAISHI <
[email protected]> writes
>> 「円の内部からランダムに弦 PQ を選ぶ」は
> この場合の命題は事象のパラメータに依存していて、
ベルトランの パラドックスは「事象とは何か?」「確率とは、そもそも何なの
か?」「命題とは、そもそもそもそも、何なのか?」を考えさせられる上で、
面白い問題だよ。
ここで、かの「所沢の痴れ者」(Shingo the Stupid @ 鉄道総合研究所)に
御登場願おう。(拍手喝采)wwww
> M_SHIRAISHI wrote
> Shingo the Stupid most stupidly wrote
>> 命題とは、基本的に、文です。
> バカモン!
> "赤"という漢字で表わされる色が、"赤"という漢字そのもの
> ではないのと同様に、「赤は光の三原色のひとつである」という
> 文によって表わされる命題は、「赤は光の三原色のひとつである」
> という文自体のことではないワ!
> そのことは、この命題が“Red is a primary colour of light”
> という、文としては全く別の文(英文)によって表わされること
> からしても明らかなことだ。
44 :
↑:2008/06/30(月) 15:06:06
fj.sci.mathの記事からの引用
http://groups.google.com/group/sci.logic/browse_thread/thread/96f0b8dccb3ff5ef# QUIZ with a Prize_10vii2008
Select the truths from the following 1) – 5)
1) If [ if P, then Q ], then there can be the case in which [ if not-P, then not-Q ].
2) If [ if P, then Q or R ], then either [ if P, then Q ] or [ if P, then R ].
3) If and only if [P and not-Q] is a contradiction, [ if P, then Q ] holds true.
4) If and only if there is a case in which Q does not hold true despite P holds true, [ if P, then Q ] does not hold true.
5) If there is a case in which P does not hold true, then P is a contradiction.
次の 1)〜5) のうち、正しいものを選べ:−
1) [Pならば、Qである]とき、[Pでないならば、Qではない]と言える
場合が無いわけではない。
2) [Pならば、QかRである]が成立するならば、[Pならば、Qである]か
[Pならば、Rである]の少なくとも一方が成立する。
3) [Pであり、かつQではない]が矛盾していることは、[Pならば、Qである]が成立する為の必要充分条件である。
4) [Pであるにも拘(かか)わらず、Qではない場合がある]ことは
[Pならば、Qである]が成立しない為の必要充分条件である。
5) 或る場合にPが成立しないならば、Pは矛盾している。
47 :
↑:2008/07/10(木) 20:45:42
Eukie_M_SHIRAISHIさん(大先生) の fj.sci.mathでの投稿記事からの引用。
.......
漏れ、御大が属していらしゃるEURMSというサークル(?)の
人たちが書いた電子本を買ったよ!
すごいぞ、マジで!!!!
高い(値段が)けど、それだけのことはあるわ。
>>49 その電子本とやらは、どこで買えるのですか?
51 :
49:2008/07/14(月) 11:01:05
>>51 3冊(?)--- 英文のを含めると4冊か--- あるようだけど、・・・。
チミはどれを買ったの?
54 :
↑:2008/07/15(火) 23:11:02
おまえリッチやなぁ〜。 うらやましいよ。マジで、
58 :
132人目の素数さん:2008/07/18(金) 07:37:52
これ↓ってどうよ ???? (fj.sci.math より引用)
> 次の 1)〜5) のうち、正しいものを選べ:−
>
> 1)[Pならば、Qである]とき、[Pでないならば、Qではない]と言える
> 場合が無いわけではない。
>
> 2)[Pならば、QかRである]が成立するならば、[Pならば、Qである]か
>[Pならば、Rである]の少なくとも一方が成立する。
>
> 3)[Pであり、かつQではない]が矛盾していることは、[Pならば、Qで
> ある]が成立する為の必要充分条件である。
>
> 4)[Pであるにも拘(かか)わらず、Qではない場合がある]ことは
>[Pならば、Qである]が成立しない為の必要充分条件である。
>
> 5) 或る場合にPが成立しないならば、Pは矛盾している。
60 :
↑:2008/07/18(金) 21:03:07
マツシン痰に解かせるのがいいと思われ(w
>>60 >マツシン痰に解かせるのがいいと思われ(w
マツシンには無理と思われ(WWWW
63 :
132人目の素数さん:2008/07/19(土) 21:08:05
>>62 喪毎、それで自信があれば、fj.sci.math に投稿すてみろYO
賞品がgetできるかもYO!!!!
但し、ここ(2ch)と違って、あっちは実名投稿が原則だからな。
# 臆病者には無理か(wwwww
>>63 古典論理では、そうなる、というだけで
出題者の考える論理では異なると思われ
別に、賞品は欲しくないから勿体ぶらずに
さっさと答えを公表しる
Eukie_M_SHIRAISHIさん、ハッキリ言ってかっこいいです。 私たち皆んな応援してます!
;:'´
_....._{{ 〃`
, - ' ,..、、.ヾ{{フ'⌒`ヽ、
/ ,:', -‐‐` ´ '´⌒ヽ ヾ:、 _....、、、、
. ,' ,'´ ,ィ ,ィ ,' , `ヽ', ',-<´ , `ヽ. ______ ..._
,' .i /|. /.| { i, i, }. }_,,)) lニ二二ミヽ.、 ':, ,.: '´ ,_.....__`ヽ、 ,..-‐-、),...._
! | ! .,'-.{ ! !|; |`、.}゙!.! |. ! ヽ.l ./ ,! ,,`ヾ:、 ':, ./'´ ̄`ヾ、、ヽ,.:'´ ,:‐:、 ,.-、 ヽ.
', ', |Vァ=、゙、 `゙、!-_:ト,リ', l ! | ゙レ__,〃_/リ !.'; .} ./l_|___ノ! l `、 ', / //`''} }.'; ',
ヽ、', l:!Kノ}. f:_.)i゙i: リ ! l ル' ̄`` ´-、,ノノ l l .!,;:=、`:.`:>=、.j,} |__人(( _ノノノ |
| l!iヾ- ' , .!__:ノ ゙ ,リ l リ'´ .|' ̄ヽ __ `><ノ | {;:'ノ ノtrテ;、.Y ! ,--、 __`彡 ノ
. ',|!!、 r‐┐ ` ノ' /,イ ! __ , ⌒'/!| | !.`ー‐'´, ゙じ' ノ ! h. ._: ´ ソ).(
'i!゙、ヽ、 ゙ー' _, ィ,:',:''´ ! !、 ー' ノイ ! | | !、 !フ `フ'リ ! ル'ヽ.._ _..、(ン ノ )
゙:、ィ、jヾー::: 'iヘ ノ',リ./! .| |ー`┬、' ´ 〃 l. トヾ、.゙`ィ'' ´ヽ、/// \二|`\ー‐‐'´
,、- '´ ヽ、゙、 { `>"、 ! ! ! | `>-、 | |、
/\\ ', } //`ヽ| ',.!゙、 !// ゙!/
マツシンなんて、最低。 ぶおとこだしぃ。
66 :
132人目の素数さん:2008/07/19(土) 21:29:10
>あっちは実名投稿が原則だからな。
そもそも、大学・研究機関・企業に所属している人の
投稿が原則だったからな。
M_SHIRAISHIって大学か研究機関か企業に所属してるのか?
とうの昔に廃れたAAを嬉々として貼り付けるところから自演が丸見えなのが涙(笑い涙)を誘うなw
>>68 つーか、正直、このM_SHIRAISHIって奴
何がしたいのか全然分からんが。
>>63 “奴”とは何だ!!!!
正々堂々と名も名乗れぬ「卑怯者」の分際でありなが、無礼者め!!!!
余は「大学教員」の教師じゃ。
# Charles_R_Darwin(1809〜1882)が「大学の教員」でも
していたと思っているのか????
こんバカタレが!!!!
>>70 >正々堂々と名も名乗れぬ「卑怯者」の分際でありなが、無礼者め!!!!
名前がMだけじゃ正々堂々と名を名乗れてないと思われ。
別に大学か研究機関か企業に所属してる必要はないが
その場合、○×県△□市在住、自営業、とか書かないと
対等じゃないと思われ。
>>71 > 名前がMだけじゃ正々堂々と名を名乗れてないと思われ。
ソチは何ばボケちょるか!?!
余の First Name は Eukie じゃ。
73 :
132人目の素数さん:2008/07/20(日) 08:07:37
>>62 > 1),3),4)
漏れもそれが「正解」だと思う!
74 :
↑:2008/07/20(日) 08:09:27
どすて????
某スレより引用 M(_ _)M
(1)は[Pならば、Qである]かつ[Pでないならば、Qではない]ようなP,Qがあるか
って意味にとると正しいけど
[Pならば、Qである]という前提条件のみから[Pでないならば、Qではない]が導けるか
という意味にとると、そうとはいえない。日本語のとらえかたの問題だけど。
(5)はどうなのこれ?「矛盾」って単純に「偽」って意味にとって良いのか?
だとしたら正しい気がしてきた。
(3)も[Pであり、かつQではない]が矛盾・・・つまり偽って意味でしょ?正しいんじゃない?
おーいマツシン(こと松本真吾@鉄道総合研究所)名誉挽回のチャンスだぞ。
とさそってみる。
77 :
↑:2008/07/20(日) 08:40:46
♪ 呼べど空し愛の歌を誰か歌わんー♪(w
>>77 てめえホモか?!? 気持ち悪るー!!!!
マツシン痰は来ないに400憶円!!!!
400億円って言ったら、確か、東大の一年間の予算だったな(wwww
>>72 >余の First Name は Eukie じゃ。
それは自称だろ。
>>75 >(1)は[Pならば、Qである]かつ[Pでないならば、Qではない]ようなP,Qがあるか
って意味にとると正しいけど
>[Pならば、Qである]という前提条件のみから[Pでないならば、Qではない]が導けるか
という意味にとると、そうとはいえない。
HPをみる限りベン図で考えてると思われるので前者でOKと思われ。
>>75 >(5)はどうなのこれ?「矛盾」って単純に「偽」って意味にとって良いのか?
>だとしたら正しい気がしてきた。
「Pは矛盾している」が「Pなる場合が存在しない」って意味なら
「Pでない場合がある」からといって成り立つとは言えないんじゃないか?
この場合、
「常にP(=非Pなる場合はない)」
「Pな場合もあれば非Pな場合もある」
「Pなる場合はない(=常に非P)」
の3つの場合が考えられる。
>>75 >(3)も[Pであり、かつQではない]が矛盾・・・つまり偽って意味でしょ?
>正しいんじゃない?
「正しいんじゃない?」っていうのは
「(3)が正しいんなら、(5)も」ってこと?
それは違うんじゃないか?
(3)は、Pと非Qの重なりがないベン図の全体と
PがQに含まれるベン図の全体が一致するか
ってことだろ?
それに対して(5)は、非Pが存在するベン図の全体が
Pが存在しない(全域が非Pの)ベン図の全体に
含まれるかってことだろ?
だったら、(3)は正しいけど、(5)は正しくないんじゃない?
ところで(5)の逆は正しいか?
6) Pが矛盾しているならば、Pが成立しない場合がある。
あと、(3)と(4)に関わる以下は正しいか?
(7)[Pであり、かつQではない]が矛盾していることは、
[Pであるにも拘(かか)わらず、Qではない場合はない]ことの
必要充分条件である。
「おーいマツシン痰(こと松本真吾@鉄道総合研究所)名誉挽回のチャンスだぞ〜」
と、もう一度、さそってみる。
88 :
132人目の素数さん:2008/07/20(日) 13:18:34
真理表を使うってのはどうよ。
「矛盾」と「単なる偽」とは違(つが)う。
[月は三角形をしている]は「単なる偽」。
[月は三角形をしており、なおかつ、月は三角形をしていない]は矛盾。
>>89 >[月は三角形をしている]は「単なる偽」
論理的には[月は三角形をしている]場合もありえるが
この現実世界ではたまたま偽だ、ということか?
>[月は三角形をしており、なおかつ、月は三角形をしていない]は矛盾。
[月は三角形をしており、なおかつ、月は三角形をしていない]場合は
論理的にもありえない、だから矛盾、ということか?
ところで、Eukie氏はOxfordだかCambridgeだかで講演したそうだが
何年何月何日にいかなるタイトルで講演したのか教えてほしい。
向こうのlogicの研究者に問い合わせたが、誰一人として、
Shiraishiなる名前の日本人を知らなかった。
>>89 まだ生きてたのか。
相変わらず、数理論理がわからないから、白石ベン図を書いては
自分でわからなくなって遊んでるわけだ。
>>92 mixiに参加したらしいよ。
ただし、今のところ目だった動きはないようだが。
94 :
132人目の素数さん:2008/07/20(日) 16:31:55
95 :
132人目の素数さん:2008/07/20(日) 16:36:52
不覚にも
誘いに乗ったか
マツシン痰
詠み人知らず 圖
某スレより引用。 M(_ _)M
> Web page(
http://www.age.ne.jp/x/eurms/Ronri_Kaikaku.html)見たか?
> 昔、(といっても、ほんの4〜6年(?)前のことだがw)は
>「新世紀に向かっての・・・」だった。今は、つーか、21世紀に入ってから
> は「新千年紀における・・・」だぞーw
> 冗句の好きなつーか人を楽しませるのが好きなというべきか、そういう人に
> 間違いは無いが、これは冗句ではないと俺は信じて疑わない。その証拠がある」。
> よく御大のWeb pageを読んでみろ。w、)
>圖
なんて読むんだ?
Eukie氏は、過去にCambridgeで講演すると宣言したにも関わらず
結局実現できずに雲隠れし、失墜した自身の名誉を
挽回したがっているようだ。
99 :
132人目の素数さん:2008/07/20(日) 17:32:52
M_SHIRAISHI先生のCambridge講演って、
とっくの昔に実現してるんじゃないだろうか。
漏れらのいる鉄道総研とかには伝わって来ないだけで(涙
某スレより引用。 M(_ _)M 但し、明らかな誤字、誤句は修正しますた。
> 御大つーかeurmsの人たちもいろいろと、つーか「もの凄い苦労(多分)」したろうなぁ〜。 御大のぺーじをよく詠んでみると、こんな記述がある↓
>
>「あっちが立てば、こっちが立たず・・・」、「こっちが立てばあっちがたたず」 これって「矛盾だらけ」ってことだよなぁ〜。そりゃ苦労するわ。
>
> それに何よりも、Fregean理論(=要するに今の論理学 の「標準理論」w)での「もしも・・・ならば・・・」の解釈は、驚いたことに、
> 古代ギリシャにまでさかのぼる問題だったらしい。 それをものの見事に解いてしまっている。 凄いぞ! マジで!!!) それに比べて、松芯痰はどうだぁ? そりゃ、某私立(私立と逝ってもいろいろあるから、まぁ、一応w
> 超一流の私立の)修士課程を出てる。 でも、その程度ーーーと逝ったら語幣が
> あるかも知らんがw、ーーー のことで、論理学をかじったつーか、教科書」に書いてあるんだから、それが正しいんだって頭から信じ込んじゃって、今
> の理論には矛盾があるってことすら気がつかなかった。 それでいてfjに
> なんだぁ、「EURMSのページがここにあります。ここを読んだら3日(一週間?)笑えます」とかなんとかの趣旨の記事を投稿したんだよな。
> そりゃ怒るは、いかに温厚な人でも。
102 :
132人目の素数さん:2008/07/20(日) 18:00:38
> 御大つーか EURMS の人たちもいろいろと、つーか「もの凄い苦労(多分)」したろうなぁ〜。 御大のぺーじをよく詠んでみると、こんな記述がある↓
>
>>「あっちが立てば、こっちが立たず・・・」、「こっちが立てばあっちがたたず」 これって「矛盾だらけ」ってことだよなぁ〜。そりゃ苦労するわ。
>
> それに何よりも、Frgean 理論(=要するに今の論理学 の「標準理論」w)での「もしも・・・ならば・・・」の解釈は、驚いたことに、
> 古代ギリシャにまでさかのぼる問題だったらしい。 それをものの見事に解いてしまっている。 凄いぞ! マジで!!!)
> それに比べて、松芯痰はどうだぁ? そりゃ、某私立(私立と言ってもいろいろあるから、まぁ、一応w
> 超一流の私立の)修士課程を出てる。 でも、その程度 ---- と逝ったら語弊が
> あるかも知らんがw ---- のことで、論理学をかじったつーか、教科書」に書いてあるんだから、
> それが正しいんだって頭から信じ込んじゃって、今の理論には矛盾があるってことすら気がつかなかった。
> それでいて fj.sci,math に なんだぁ、「EURMSのページがここにあります。ここを読んだら3日(一週間?)
> 笑えます」とかなんとかの趣旨の記事を投稿したんだよな〜。
> そりゃ怒るは、いかに温厚な人でも。
>>100 >>>圖
>>なんて読むんだ?
>押印
実際は図って読むんだがね
>P:[ライオンは哺乳動物である],
>Q:[ライオンもクジラも共に哺乳動物である]
> と おいてみると:−
>[PはQを内含する]: [ライオンは哺乳動物である は ライオンもクジラも 共に哺乳動物であるを内含する]
>------ 明らかに、これは偽です。
実際に偽なのは
[任意のX,Y,Pについて
XがPである は XもYもPである を内含する]
だろ?
X、Y、Pに具体的なモノを入れた場合には
真である場合があっても問題ないんじゃね?
∧∧ _
/(*゚ー゚)/)/\
/| ̄ ̄ ̄ ̄|\/ (○)
””””|___|/""""""""〃|ゝ"""""
>>106
喪毎、どこから引用してるんだよ!
「引用先」ぐらい書いておくのが礼儀だろう!!!!
>ある語句の定義が例え、言葉では正確には言えなかったとしても、
>その語句を正しく使うことができるとしたら、その人はその語句の定義を
>《無意識的には》知っているのだと考えられます。
定義が正確に言えないのに、なぜ正しく使えると分かるんだい?
《無意識的には》知っている、というのは、要するに
自分では分かったつもりになってる、ってことか?
「正しく使えてる」と思ってるのは《自分だけ》だからなぁ。
>"数学的定義"と言えども、通常は
>《直観的/無意識的に知っている定義》
>にうまく沿うように下されます。
んなこたぁない。
群とか環とか体とか層とか圏とか
世間的な言葉の意味とは違う
数学的定義なんていくらもあるが。
>>99 >M_SHIRAISHI先生のCambridge講演って、
>とっくの昔に実現してるんじゃないだろうか。
Cambridgeのlogicianが誰一人として聴いてない講演か
それって大失敗なんじゃね?
fj.soc.politic で、GON と自称してる人に答えて、「大成功だった」と言ってらっしゃるんだよね。
118 :
↑:2008/07/21(月) 14:06:01
どういうことなんだよ、ウーム。
>>117 失敗を失敗と認められる人なら何も苦労はないと思われ
白石はバカだから、数理論理学がわからなかった。
そこで、論理のシンタックスの面を白石ベン図で表そうとするのだが
ただ複雑になるだけで、意味はない。
唯一の取り柄は、マツシンと違い、軽妙さがあるとこだ、つまりお笑い
芸人にふさわしい。
>>120 笑われたときにこういえば面目を失わずにすんだわけか
「一世一代の芸で笑っていただき芸人冥利につきます」
>PならばQであり かつ QならばRである ならば、PならばRである
”かつ”は要らないけどね。
PならばQである ならば QならばRである ならば、PならばRである
あるいは
QならばRである ならば PならばQである ならば PならばRである
> 御大つーか EURMS の人たちもいろいろと、つーか「もの凄い苦労(多分)」したろうなぁ〜。 御大のぺーじをよく詠んでみると、こんな記述がある↓
>
>>「あっちが立てば、こっちが立たず・・・」、「こっちが立てばあっちがたたず」 これって「矛盾だらけ」ってことだよなぁ〜。そりゃ苦労するわ。
>
> それに何よりも、Frgean 理論(=要するに今の論理学 の「標準理論」w)での「もしも・・・ならば・・・」の解釈は、驚いたことに、
> 古代ギリシャにまでさかのぼる問題だったらしい。 それをものの見事に解いてしまっている。 凄いぞ! マジで!!!)
> それに比べて、松芯痰はどうだぁ? そりゃ、某私立(私立と言ってもいろいろあるから、まぁ、一応w
> 超一流の私立の)修士課程を出てる。 でも、その程度 ---- と逝ったら語弊が
> あるかも知らんがw ---- のことで、論理学をかじったつーか、教科書」に書いてあるんだから、
> それが正しいんだって頭から信じ込んじゃって、今の理論には矛盾があるってことすら気がつかなかった。
> それでいて fj.sci,math に なんだぁ、「EURMSのページがここにあります。ここを読んだら3日(一週間?)
> 笑えます」とかなんとかの趣旨の記事を投稿したんだよな〜。
> そりゃ怒るは、いかに温厚な人でも。
125 :
132人目の素数さん:2008/07/21(月) 17:01:41
「今度こそは!」と
想うは人の常なれど
またも負けるか
松本真吾
詠み人知らず 圖
負けそ〜。
127 :
132人目の素数さん:2008/07/21(月) 17:12:09
恩大 fj.life.in-Japan で御活躍だよ。
>> つまりまあ世の中ほとんど全ての大学は時代遅れ。
>Cambridge や Oxford は違う。
文系理系を区別しないというのは向こうでは当たり前なんで
その意味ではCambridge や Oxford に限る必要はない。
それしか向こうの大学の名前を知らないのなら仕方ないが。
>>128 論理学から言語学に鞍替えしたのは賢明だったな。
133 :
131:2008/07/21(月) 17:38:24
fj より 引用↓
池田不作(or 大凶作)は、もうじき、死ぬ。 肛門癌で。
跡目争いで、創価学会(=公明党)は分裂する。
前門の虎=公明党=創価学会=白色全体主義
後門の狼=日本共産党=赤色全体主義
# 池田大凶作曰く「全体主義の何所が悪いんだ!」
教えてやろう;−貴様の言いなりになるのはマッピラ御免なのさ!!!!
このスレに、マツシン痰が来ていることは間違い無いと思われ(w
>>129 >
>文系理系を区別しないというのは向こうでは当たり前なんで
>その意味ではCambridge や Oxford に限る必要はない。
てめえ、見てきた様なこと言うな!!!!
# 例えば、The University of Edinburgh は「学部制」をとっている!!!!!!!
139 :
132人目の素数さん:2008/07/22(火) 07:12:19
「今度こそは!」と
想うは人の常なれど
またも負けるか
松本真吾
詠み人知らず 圖
140 :
132人目の素数さん:2008/07/22(火) 07:13:42
「今度こそは!」と
想うは人の常なれど
またも負けるか
松本真吾
詠み人知らず 圖
御大の経歴(?)
学部:University of Oxford
院;University of Cambridge
>The University of Edinburgh は「学部制」をとっている!!!!!!!
それは組織上のことで、学生のカリキュラムについてはまた別。
向こうにいたなら分かることだがな
御大(つーかEURMS)は凄いぞ。 マジで!
145 :
132人目の素数さん:2008/07/22(火) 17:44:28
fj より
「(核兵器を)持たず、作らず、持ち込ませず」---- これを“非核三原則”と
言う。
しかし、もはや、こんなこと(非核三原則)に囚(とら)われてはいかん!
北朝鮮は何をしでかすか分らんぞ〜!!!!
何十万、何百万 の 命(日本人の!)が失われてシマッタ後では、遅い
のだ!!!!
イスラエルがシリアの原爆施設を破壊してしまった様に、「宣戦布告」
をして、北朝鮮の原爆施設ならびに金正日とその取り巻き連中を
殺してしまえ!!!!
148 :
↑:2008/07/27(日) 22:32:27
何で????
>>148 将軍様には喜び組がいるが、御大には・・・
ニュースグループ: fj.sci.math
差出人: Eukie_M_SHIRAISHI <
[email protected]>
日付: Wed, 30 Jul 2008 16:40:45 +0900
ローカル: 2008年7月30日(水) 午後4:40
件名: 「ε-δ論法」について
>ワイエルシュトラス(Karl T.W. Weierstrass; 1815-1897) と
>その弟子のハイネ(Heinrich E. Heine: 1821-1881) とによって、
>有名な「ε-δ論法」(中略)が考案された。
>しかし、これは《無限小》の存在を主張する以外の何物でもない。
実数の中に、無限小は存在しないが
>>151の続き
>一方、この方法だと、我々のみずみずしい直観を阻害すること甚だしい。
>例えば、オイラー(Leonhard Euler: 1707-1783)は、
>あの驚くべき等式(e^πi=-1)を
>「ε-δ論法」によって発見したわけでは、
>決して、無い!
アルキメデス(Archimedes: B.C.287-212)は、
外接多角形の周囲の長さ>π>内接多角形の周囲の長さ
とし、多角形の角数が増えると、前者と後者の差が
0に近づくから、πは一つの数として定まる、とした。
これは「ε-δ論法」の萌芽といえなくもない。
オイラーはこのアルキメデスの結果を用いている
ニュースグループ: fj.sci.math
差出人: Shinji KONO
日付: Wed, 30 Jul 2008 16:56:21 +0900
ローカル: 2008年7月30日(水) 午後4:56
件名: Re: 「ε-δ論法」について
>Non standard model があるんだから、
>もっと大胆に Δx とかを使っても良いと思う。
無限小を正当化したいなら、実数やめて
"超実数"を使えばいいんじゃね?
http://en.wikipedia.org/wiki/Surreal_number
>>153の続き
>Non standard modelにそって
>無矛盾性の証明まで、やっちゃってもいい
>と思うけど。
そもそも、無矛盾性を証明できなくてもいい
と思うけど。
どすたら、御大みたく、もてるっすか? コツを教えて下さい。 m(_ _)m
sage
158 :
132人目の素数さん:2008/10/05(日) 06:01:11
age
論理学には、ノーベル賞がないんですよね、恩大(寂
うるさい。
528