掲示板@谷口浩久の今夜もしりきれとんぼ

views
4 フォロー
1,334 件中 921 から 960 までを表示しています。
418
1221_apricot 2018/11/01 (木) 23:08:56

先ほど言っていた、1+1=2 の証明についてです。

興味ある方読んでみてください笑笑

以下コピペ。

(1) まず最初に、「何の証明も要らずに事実として使えることがら」を決めます (「公理」と言います。) 公理は無前提の定義なので、証明せずとも成り立ってしまっているものです。ただし、唯一絶対の公理というものは無くて、自分の好きなように決めて構いません。ですが一般的な公理でないものを使う場合は、そのことをあらかじめはっきり言っておく必要があります。

(2) つぎに、「こういうことが言えたなら、こういうことが言える」というルールを決めます (「推論規則」と言います)。代表的なものとして、「AならばB」かつ「BならばC」ならば「AならばC」と言える (いわゆる三段論法) があります。この推論規則も、唯一絶対の規則というのはなくて、いろいろな選び方があります。例えば「『Aの否定』の否定」は「A」である、という規則を認める場合と、認めない場合があります。これまた、一般的でない推論規則を使うなら、あらかじめはっきり言っておく必要があります。

(3) 真か偽かで答えられる文 (「命題」と言います) を持ってきて、公理から出発して推論規則をひとつづつ当てはめてゆくことで、命題にまでたどり着けたら、それを「証明」と言います。

さて、「1+1=2」の証明ですが、まず公理系を決めないとなりません。何の断りもなくぽんとこういう問題を出されたら、普通は「自然数の公理系」を考えると思います。

まず、自然数とは何か、の定義です。以下の性質を満たすものを自然数と呼ぶことにします。

(a) 0は自然数である

(b) 自然数nが存在すると、その「次の数」succ(n)が存在し、それもまた自然数である。

(c) 0はどんな自然数の「次の数」でもない。

(d) 自然数a, bがa≠bであるとき、succ(a)≠succ(b)である。

(e) ある命題が0について成り立ち、また「その命題がnについて成り立つならば、その命題はsucc(n)についても成り立つ」ならば、その命題は全ての自然数について成り立つ。

つまり、自然数とは0, succ(0), succ(succ(0)), succ(succ(succ(succ(...(0)....)))) などの集まりになります。ただ、いちいちsucc succと書くのは面倒なので、いくつか名前をつけておきます。

(f) succ(0)を1と呼ぶ

(g) succ(1)を2と呼ぶ

これらは単に名前をつけただけで、計算しているのではないことに注意してください。

つぎに、足し算+を定義します。

(h) n + 1 = succ(n) である。

(i) succ(n + m) = n + succ(m) である。

このルールを満たすものを足し算と呼ぼう、というわけです。このルールと、自然数の定義から、交換法則や分配法則は導けます。

ここまで、succ(n)が具体的に何か、とか、足し算の意味は何か、といったことを一切扱っていないことに注意してください。どういう意味づけをするかにかかわらず、こういう公理系というルールの上で考えましょう、ということです。

おっと、「等しい」について何も言っていませんでした。ちょっと逆戻りしますが、等しさについて次の性質を認めます。

(j) a = b かつ b = c ならば a = c

(k) a ≠ b かつ b = c ならば a ≠ c

(l) 常に、a = b か a ≠ b のどちらか一方のみが成り立つ

では1 + 1 = 2を証明します。

(h)から、1 + 1 = succ(1)

(f)から、succ(1) = 2

(j)から、1 + 1 = 2 (証明終)

もしこの証明にmoonwolfさんが納得できないのであれば、次のどれでしょう。

(A) 足し算の定義に納得いかない。

(B) 自然数の定義に納得いかない。

(C) 等しさの定義に納得いかない。

(C) 「公理と推論規則から命題を導くことを証明という」という定義が納得いかない。

前にも言ったように、定義というのは自分の好きなように決めて構いません。なので、今ある定義に納得がいかないから新しい定義を作る、というのはOKです。でも、何も言わずに始めたらみんなは「普通の定義を使っているだろう」と思うので、途中で「納得いかないから変える」と言い出すのは無しです。納得いかない、変えたいのであれば、最初に「ここでは私は足し算をこう定義する」「自然数をこう定義する」と断ってから、「この公理系で 1+1=2を証明してください」などと言ってください。それが最低限の礼儀です。

もちろん、1+1の答えは、どういう定義を採用するかによって異なってきます。ブール代数の世界では 1+1=1 でおかしなことは無いですし、「2を法とする剰余系」では 1+1=0 になります。上の証明を見て、「いや私の考えていた定義は普通の定義じゃなくてこれなんだ、だから上の証明はおかしい」などと後から言い出すのは無しですよ。定義が違えば答えが違うのは当然なんですから。

417
sonoco 2018/11/01 (木) 22:58:09

>> 416
そろそろかな?と思っていたら、タイトル通りになりましたね 笑

416
occhy021 2018/11/01 (木) 22:53:30

まさかの不意打ち終了劇!!!
びっくりしたあ〜笑

415
pula_kisaragi 2018/11/01 (木) 19:40:23

リプレイ観ました~。
マーティ・フリードマンさんは「タモリ倶楽部」でよくお見かけしてました^^

「時間」の話、面白いです。
「Newton」という雑誌があるのですが「時間」「宇宙」「量子論」がテーマの時はつい買ってしまうんですよね^^;
時間がテーマの映画もつい観てしまいます。
SF漫画全盛の頃を過ごしてきたもので😅

人間が自在に波動をコントロールできるようになったら、どこにでも瞬時に行けるようになるんですね!
というかその時はもう肉体は無くなってしまうのだろうか。

「時間の話」も「経済の話」も「演劇の話」も、どれも面白いです😊

414
mariemi2005 2018/11/01 (木) 11:31:43

昨日は、MA観劇後、交流会で谷口さんとお会いしましたが、実は谷口さん登場前、MAについて熱く語っておりました。正直、この作品には、はまらないだろうと思っていましたが、結局東京公演は5回観劇(´▽`)
一歩退いた見方が出来たから、却って細部が見えて楽しめるのかも、と感じた10月締めくくりのMAでした。
で、11月の幕開けもMAとなり~(´▽`)、家族が呆れる、の巻。
おまけでいうと、フランス革命関連本を購入。それぞれの階級から革命を捉えた本で、明日届きます。
我が家の本棚は、アントワネットと革命関連の本で溢れてます。

413
rilaconon 2018/11/01 (木) 09:38:19

おはようございます
今、スッキリで目に止まったモーリー氏の言葉。

表現する力は社会を動かす力

412
sonoco 2018/11/01 (木) 08:36:56

おはようございます。
おっちーさん、ボッドキャストありがとうございます!
後で聞かせていただきますね。
最近のおっちーさんの、心の進化にビックリしています!素敵です☆

マーティ・フリードマンは、数年前まで高見沢さんのソロライヴでサポートメンバーやゲストとして参加されていました。
因みに、去年と今年は鳥山雄司さんです。
とても素晴らしい演奏なので、YouTubeでTakamiyとMarty Friedmanの両方を一緒に検索していただければ出てくると思います。
音楽著作権が絡むと思いますので、リンクは割愛します。

昨日は、初日以来のMA観劇でした。
またまた胸がいっぱいになりました。
今でも、色々な想いが溢れてきます。
2回目の観劇ということもあり、アンサンブルの皆様の進化、しっかり感じとれました!
MAは、マルグリットを想うフェルセンの気持ちとか、マルグリットをメインで観てしまう自分がいます。
マルグリットは、初日も昨日もソニンさんでした。
次は2週間後くらいに観劇します。
とても楽しみです!
谷口さん、お体に気をつけて頑張ってくださいね!

411

谷口さーん
昨日 寝落ちと今日は野球で ライブ不参加

めちゃくちゃ 悲しいけど 今朝 昨日のインスタライブ リプレイして 聞きましたよん😏

410
谷口浩久 2018/11/01 (木) 02:24:00 >> 409

ありがとうございます😊
…いきなりだと、びっくりな話すぎますよね(笑)
これからも、繰り返し、そんな話もしていきます。
きっと、今までの常識がひっくり返りますよ!!
(怪しい話ではなく、すでに科学でもいろいろ証明されていたりするんです。パラレルワールドも、量子力学という分野では、ある程度存在がわかってきていることです。いずれまた、お話ししますね!!)

409
maetel.hideo. 2018/11/01 (木) 01:17:34

今回は試しにリプレイで拝見させて戴きました。
パラレルワールドとか、波動周波数とか、なんぢゃそれの世界でしたが、多分何回か拝見している間に、なんとなくアレかなと思うように思うようになるかも知れませんね。

408
rilaconon 2018/11/01 (木) 01:11:49 >> 407

ステージからの眺め、凄いでしょうね!私たちはステージではないんですが、客席の通路に仲間たちがバーッと並んで、歌いました。それだけでも、あの空間を感じられて幸せです。客席やステージ上の方々と会場一体となって、貴重な経験をさせていただきました!

407
谷口浩久 2018/11/01 (木) 00:55:37 >> 405

すごい!!
僕の場合…案外、自分のこととなると、宇宙の法則を実感しづらい部分もあるんですけれど、皆さんの体験談を聞いていると、改めて「やっぱりそうなんだぁ〜」と思わされます。
リラさん、ほんとに、ステキな出来事でしたね!!
本当の自分の望みを叶えることほど、幸せなことはありません。
帝劇は、ステージの上で歌われたんですか?
すごいでしょ、ステージからの眺め…

406
rilaconon 2018/11/01 (木) 00:24:30

まだ少しの間、インスタライブ見れないけど、ここで、皆さんのコメントたのしみにしています。

405
rilaconon 2018/11/01 (木) 00:20:23

すみません、今日は久しぶりでしたが、ほんのすこしお邪魔しました。
最後まで聴けてないけど、、、
10月最後の今週は、貴重な、レアな素敵な体験を2つもさせていただきました!
今日は、応援しているロックバンドのベーシストの誕生日お祝いライブで、彼女が掛け持ちでやってるうちの3バンドの共演でした。私はいつもはお目当てのバンドが終わると帰りがちなんですが、今日は、スペシャルゲストが︎みたいな予告があったので、もしや!まさか?とちょっと予想したら、本当にマーティフリードマンが最後のアンコールにかけつけてくれたんです。そのベーシストの清さんがマーティのサポートベーシストをしていて、全米ツアーとかにも参加しているので、今日は逆に、「私のサポートギタリストでーす!」なんて言っちゃって、いやーそのご縁の奇跡のお裾分けをいただきました!やっぱり、音が、オーラが違います!
そして、オファーにも「喜んで!」と即答だったという、いい人〜。
こんな機会に立ち会えて感謝感激!

それと、一昨日は帝劇の空間の中で歌わせていただける機会がありまして!大勢の中の1人ですが、でもあの場で経験した高揚感はまだまだ続いています。Facebookにいろいろ投稿しているので、目にした方もいらっしゃるかと思いますが。。
素敵なご縁と素晴らしい体験をさせていただいたことに感謝です。

なんだかね、自分の内側から湧き上がること、好きなことをやることで、目の前の世界が広がってキラキラしていくことを体験しているこの頃。更に感謝することで、また素敵な人達と繋がり、楽しい毎日に繋がっていく。
本に書かれていることや、谷口さんやいろんな方のおっしゃることが、自分の体験を通して、だんだんと、実感として納得というか自然にわかりつつあるこの頃です。

404

くっ💧

疲れはてて
ついうたた寝してしまって 今 目が覚めると.....ライブ........
終わってた................

悲しすぎる.....と
あ~10月終わってしまった

そして
11月初回のライブは.........

日本シリーズ ホークス応援に行くので ライブ参加できず  ちょー悲しすぎる
😢💧

403
occhy021 2018/10/31 (水) 23:38:22

「というわけで、10月が終わります。素敵な11月を……」

の言葉で10月の全ライブ放送が終わりましたね!!

明日からは11月!!
どんな素敵な毎日が待っているでしょう??

そんなハッピーな明日を目前に控えた皆さんにお伝えします。^ ^
今日の放送を視聴して思ったことを自由に書き残していってください!!

皆さんのコメントをつらーっと眺めて帰るだけでも、勿論よいと思います。
でも何か行動を起こすと、ご自身の内に残るものも、誰かに伝わるもの、変化するものも、大きく変わります。
チャレンジってワタシ大好きです。

402
occhy021 2018/10/31 (水) 15:35:37

わたくしごとですが、ポッドキャストアップしました。
今回は舞台照明の色の選び方についての考察です。

よろしければどうぞ!!

https://anchor.fm/tokipla/episodes/5--3-e2gmc2

401

もしかしたら、応用、出来るのかもしれない……。
夢のような話な気もしますが、10年20年経ったらどうなってるか分かりませんよね〜
激しく期待!!!

400

そうですよね、意外とそうなのかなー?って思ってました。
全くコメントないのも、不安になるのかな?って。

……というわけで笑、400コメント目は管理人さんがゲットさせて頂きました!!
次は節目の500コメント目!誰になるかな、誰になるかな〜🎵

399
pula_kisaragi 2018/10/31 (水) 08:42:49

BASHAR GOLDの本の中のキーワード解説「宇宙船」で

A地点の固有振動数とB地点の固有振動数は異なり、A地点の宇宙船はB地点の振動数と共鳴することにより瞬時にB地点に移動する

というようなことが書いてあったのですが、始め、ワープ航法みたいだな〜と思ってましたが「どこでもドア」にも応用できるんでしょうか!

398
谷口浩久 2018/10/31 (水) 08:36:47

放送中のコメント、気にせずどんどん入れてくださいね!!
ぼくの「あれ? なんの話してたっけ?」は、「しりきれとんぼ」のお約束って事で…(笑)
でも、ほんとに、コメントはコメントでどんどん回っていると、その方が案外、喋りやすいんですよー。

397

日本シリーズは 木曜日に行くので 木曜日はインスタライブ参加出来ない~😢

どこでもドアは
きっと.......
○○さんが 作りますよっ😏😁

396

前半、あっれ〜みきさん日本シリーズ今日だったっけかな?とか思ってました笑。

それにしても、
誰が最初に発明するかなあー?
どこでもドア!!!

395

わー。素敵です!!

394

今夜のインスタライブ

前半 真剣な話に 真剣に話を聞いていて
コメント入れちゃうと 途中 中断して
谷口さん  あれ? 何の話してたっけ~とか
なっちゃったら いけないかと思いつつ
見いってました😁😁

後半は みんなの座談も入り~ので
繋がりを実感できる回となりましたね💕

3年後も 5年後も ヨボヨボになっても
もっと 先には ほんとに どこでもドアとか あったりして 繋がりまくりですよ🎵

393
pula_kisaragi 2018/10/30 (火) 22:58:47

今日のライブ、何だかとても皆さんのエネルギーが伝わってきました。
じんわり体にしみ渡りました。。。
いま、体が熱いです!

392
occhy021 2018/10/30 (火) 22:56:32

「アーティストはリーダーシップをとっていける存在になると思っています」
で綺麗に締まった今回のインスタライブ。
最近の中では最も美しい終わり方だったと私は思っています!

皆さん、よろしければこの掲示板にも何か残していってください。

言い足りなかったこと。言い出せなかったこと。面白かった今日の出来事。なんでもよいと思います。

その一言で、私の、あなたの、みなさんの、明日が少しずつ、変わる。
掲示板を開いてから、今までもそうでした。
とても素敵なことだと思います。
そして、、これからも。
みなさんの言葉が、みなさんの力になります。
ちょっとしたことでいいんです。

391

楽しかったですねー!!

390
谷口浩久 2018/10/29 (月) 22:10:16

本日、休業します!!

…実は、今日。
おっちーさん、アプリコットさんと、3人で、会議してました。
いよいよ、何かが始まる!?

と、いうわけで。
今夜は、ちょっと、そんなことの準備なんかにも時間がほしいので、放送はお休みしますね。

明日は21時45分頃からスタートする予定です。
遊びに来てね〜!!

389
occhy021 2018/10/28 (日) 22:23:37

ありがとうございますー
ただですねー、あんま可愛く描けなかったなー
と反省の弁が先に立つ笑。

388

おっちーさん
クオリティ 高すぎ

高杉くんに なっとるやん(笑)

387
occhy021 2018/10/28 (日) 22:06:30

どこまでも熱かった今夜のライブ。
みなさんは、描かれましたか、トンボ??
みなで、もりあげませう!
そして今夜の感想、言いたいこともどうぞ!!

386
occhy021 2018/10/28 (日) 21:32:27

画像1

ナナさんの似顔絵です〜。

385

そこは私も聴きたいです!!

384

惜しい!!
3人目の視聴者参加者だったかもしれなかったんですね!!!

383
pula_kisaragi 2018/10/28 (日) 19:32:09

マーケティングのお話、とっても面白かったです。
3.0のお話、もっとお聞きしたいです😊

382
mariemi2005 2018/10/28 (日) 14:19:04

そして、リプレイだと、やっぱり最初の方はメッセージが出ませんね。残念。

15年で変化がくる話…
もしかしたら、15年どころではないかも。子どもの受験で言うならば、インターネットの普及により、5年で出願方法激変でした。
上の子の時は、願書取りに行き、朝早く出願に行き、受験料納めて受領印貰って…が、下の子ではネット出願。
しかも、同じシステムを使っている学校なら、写真も含めて基本情報は登録されているので入力省略。
今年は上の子が大学受験なので、下の子の時に培った出願手順を発揮できるはず(≧∇≦)
ここにきて、子育ての場で逆転現象です(´▽`)。

昨日の芳雄コン、ゲストの一人が万里生くんでした。フォーラムの中と外で、MA共演。
そして、11月29日のゲストの一人はサカケンさんなので、またMA共演!と思ったら、東京公演は千秋楽迎えてますね(^ω^)

381
mariemi2005 2018/10/28 (日) 13:09:31

昨日のインスタ、まさかのフォーラムからだったんですね!地上に出ていたら、谷口さんに遭遇していたかも(゜Q゜)ニアミスだ~ヽ( ̄▽ ̄)ノ

380

画像1
マリエリさん
井上さん ええ歌声ですもんね🎵
安倍さんも 参加されてますもんねー
今日は バスティーユの恋人のDVDが届いたので
舞台を思い出しながら 見まーす😏

379
mariemi2005 2018/10/27 (土) 23:29:32

今日は井上芳雄くんのコンサートに行っていたので、残念ながらインスタ参加できませんでした。リプレイ見ま~す!