  |
はてなキーワード: 知性的とは
イイねTOP100記事のうち、正確な量子力学を使っていた記事は10記事に過ぎなかった！！！！10%？！！！
この議論の仕方はまぁありかな程度のものも合わせても15記事しかなかった
クソ反科学的で反知性的なアホ記事がここまで出ているのは何なんだろうな。ここまで反科学的な言説がはびこってる現状は科学者なんとかすべきだろとは思うけど、今のマスコミがクソ科学知識のないような記事を量産し続けている現在、無理なのかもしれないな。まだまだマスコミの影響はアホ強い
https://note.com/hashtag/%E9%87%8F%E5%AD%90%E5%8A%9B%E5%AD%A6?f=trend&paid_only=false
ここからは、気が狂った理解にはあたらず、定義の厳密さに疑義を挟む余地あり
その境界はどこなの？それこそ恣意的主観的じゃなく厳密に線を引けるのか？別の話っていうよりは分かちがたい問題に思えるが。
「"証明は自然言語で書きつつも, いざとなったら形式的に文字列に書き換えることができるという前提に立っています" 前提が共有されていない人との間では一意さは共有されない場合がある、ということをどう捉えるか」というのもある。
悪意のない、そして別に狂ってるわけでもない知性的存在(生命に限る必要ないだろう)が、前提を共有してないこと、というのは無理なく想定されることだと思うけどな(知的存在が人間以外にいるわけないじゃんという突っ込みはさておき)。
「Aかつ¬Aの証明を得ることができる」に対して、「いいや得られない。お前がそのように見せかけているだけだ」おれの計算(記号処理)手続きこそ推論規則に適っているし正しいと、反論されたら？
また、「そもそもここでいう『得る』とは」どういう意味か？と突っ込まれたら曖昧でなく『得る』ということが『得る結果の具体例ではなく』『どういうことか』記述できるのかという話です。
￢￢Ａ→Ａという規則に基づいた結果が
￢￢￢￢￢Ａ→￢￢￢(￢￢Ａ)→Ａ
なんだよ！と言い張られる。もちろん常識的にはおかしいと思えますが、いまは突き詰めたことを言っています。
一般には、￢￢￢￢￢Ａを書き換えるために、この記号列の一部分￢￢Ａに着目して、規則からＡと書き換えられるから、この結果を￢￢￢(￢￢Ａ)に代入？して、￢￢￢Ａに書き換えられる、という思考プロセスをとるでしょう。
しかしあくまでものとしては、ここで考えているのは￢￢Ａではなく￢￢￢￢￢Ａなわけです。
規則通りに書き換えられてない、言い換えるなら同じ規則を使っていないという主張に対して、そもそも同じ規則が適用できているということ、規則が同じとはどういうことか自体を定義や公理に組み込むことはできるのか。
矛盾や証明ということはまだその概念を記号列で示す余地があるが、規則が同じかどうかという定義もとい「規則」は厳密に定義可能かということです(無定義語として関係性の定義でもよい)。図形が合同か、みたいな合同の概念の定義など比べてもまたレイヤーが一段メタ的になっていて厄介というか。「違うのは自明じゃないか！」といっても、自明は説明できてこそ自明なのですが、ここでいう同じかそうでないかということについてはそれを根拠だてる定義は原理的に無理なんじゃないかと思えてしまいます。
さきほど『得る』という言葉に突っ込まれたら云々ということを言いました。
ブコメには「自然言語の曖昧さで数学をの厳密さ否定しようとしてるだけだ」というのがあります。
別に私は自然言語の曖昧さを問題にしていません。そこは問題の本質ではないです。
むしろこうした言葉は一般に疑いようなく明らかなものです。「左右」とか「これやあれ」みたいな近称や遠称の概念などもそう思われるでしょう。
しかしむしろこれらの概念には一切曖昧さはないという前提に立っても、これもごく単純な話で、曖昧でないからといって、いままでその概念を持ってなかった知性的存在に対して、「これ」や「左右」といった「概念」を、対面やジェスチャーを使えばいざしらず、記号列を用いて一意に定義できる保証はないよね、ということです。定義の厳密さを担保する必要条件が、記号論理学に基づくということにあるのなら、数学を厳密とのたまうかぎりにおいて、当然対面やジェスチャーではなく、これとか同じとかみたいなもっとも原始的な部類の言葉まで全て記号で一意に定義できることを示せなければならないでしょう。
あとあなたが↓のトラバと同一だと言ってくれたら以降↓の方のツリーに返信書いて一元化するのでそのつもりで
https://anond.hatelabo.jp/20240216215810
ちなみに関連しそうな話題として自分自身ラムダ式を勉強した経験があるけど
2. ラムダ項M, Nに対して (M N) はラムダ項。この形のラムダ項を適用（ラムダ適用）という。
という定義があるんだけど、これに基づけば(x x)というのもラムダ項じゃないのって思ってた。
でもラムダ式で(x x)なんて形のは見たことないし、違うんだろうなと。
でも論理的にはなぜ違うのか全く納得できてないので(納得感が正しさにとって問題じゃないとはいえあえて言うが)(x x)だってラムダ式でしょって胸を張って言い張れる。
分かってる人からみれば、そして俺にとっても￢￢￢￢￢Ａ→Aと同程度にバカげた主張なんだが、そのわかってる人にとっても「この規則ならこういうことが言えると思うのに、なんで正解とされてるのと自分が思ってることが違うの？」ってなることはあるはずで、それはこの世で一番数学ができる人であってもありえること。この世で一番数学ができる人さえ規則を正しく適用できていないらしいとき、そもそも正しい適用とはなんだってなりそうに思うんだが。
"界隈"で崇められる大物、「あんた程の実力者がそう言うのなら…」と扱いをうけるアルファ、
これが傍からみるとただのネット中毒のおじさんでしかないことだ
かれらは支持者からすると、知性的で社会に対し独特の視点を持つ在野の賢人なのだが、
この手の人間の多くは、党派的で陳腐な言動を繰り返すだけだし、目立った学識や実績があるわけではない
支持者以外からすると、高齢オタクが床屋政談に耽溺しているようにしか見えない
権威主義をやるのはいい、むしろクソもミソも分からない人間なら権威主義やってた方がまだマシだと思うが
せめて担ぐ神輿は選んだ方がいい
まぁマトモなアカデミシャンの多くは暇じゃないので大してネットをやらんが…
というかですね
無限は様々な人たちを当惑させてきた。周囲の物理世界で観察されるものはすべて有限。
観測可能な宇宙の原子の数でさえ、想像を絶するほど大きいとはいえ、やはり有限。
数学はおそらく、無限とつながるための最も知性的で論理的な方法を与えてくれる。
数学的な無限理論は、19 世紀末にドイツの数学者カントールによってほぼ独力で作成された。
自分のアイデアを追求するために、カントールは途方もない勇気を示した。批判者たちに答えて「数学の本質はその自由にある。」と書いたのである。
数学では、選択された公理と論理規則に厳密に従わなければならない。
しかし、そのルールの中においては、本当に想像力を羽ばたかせることができる。数学には独断や偏見が入り込む余地はない。
カントールの考えは、無限大は数ではなく、むしろ集合の性質であるというものであった。
2 つの集合 A と B が与えられると、A から B への「写像(勝間さんじゃないですよ)」について考えることができる。
これは、 B の要素を A の各要素に割り当てるルールである。
カントールによって導入された重要な概念は、集合 A と B の間の1 対 1 対応である。これは、Bの各要素がAの1つの要素にのみ割り当てられるような、A から B への写像である。
Aが有限数の要素 (たとえば、n) を持ち、B が別の集合である場合、B にもn要素がある場合にのみ、AとBの間に1対1の対応関係が存在するという定義である。
ここで、無限集合の概念を導入できる。これは、Aと有限集合Bの間に1対1の対応がないような集合Aである。たとえば、自然数の集合 N={1,2, 3,…}は無限集合である。
ここまでの理論はかなり単純だ。しかしその後、カントールは驚くべき発見をした。互いに1対1対応していない無限の集合が存在するのである。
たとえば、集合Nと実数の集合Rの間には1対1の対応がないことがわかる。
カントールの対角線論証とも呼ばれる証明があるが、これはかなり美しい証明と言われている。
そこでは実数の集合と自然数の集合の間には 1 対 1 の対応関係がないということが示されている。実数の「無限大」は自然数の「無限大」よりも「大きい」と言える。
この 2 つの間に「無限」は存在するのか？ これは、数理論理学における最も深い問題の 1 つである、有名な「連続体仮説」につながる。
Capricornus 意見にはまともに取り合わず、相変わらずの個人攻撃。アカウントidですらこれだから、この人たちが個人情報なんて手にしたらどうなるか。本当人権擁護も個人情報保護も判断が属性に寄り過ぎててやってる事ヤクザだな
Hige2323 そら暇の人も住所ばらされて速攻引っ越すわけだよ、はてなid程度ですらこの有り様だもんな、あっち界隈は個人情報使って危害加えるのに躊躇無さすぎるから
eternal_reflection 意見に対して意見で答えられなかったらこうやって相手を差別主義者だから話を聞くなってやる仕草。とても知性的ですね。
過去に本人が公開したブコメを貼っただけなのに個人攻撃とか危害とか…
…
jou2 こーゆー外野がごちゃごちゃ言うのほんと好かん。要約すると「競技勢は素人の俺の思いつきも試してない」みたいな侮りでしょ。まず、その道を進む人達の選択を信じろ。自分は無知で無関心だと把握しよう。
「素人のオレ程度の思いつきは誰かが試したはず」で思考停止するなら、科学は発展しなかっただろうよ。
「犯人には部外者の我々が思い寄らないような悩みがあったはず」ですべての犯罪者を免罪できてしまう。
「一流のゲームメーカーは、あらゆるアイデアを試したはず」で新しいインディーズゲームは消える。
「俺程度のミュージシャンが思いつくフレーズに心動かされるなら、ヒット曲で十分なはず」ならクラシック時代で音楽史は終わってる。
単に答えられないだけじゃなく、自身の思考停止を正当化して真理を求める人を侮る、この方たちの態度こそ本当の無知性だと反省すべき。
無関心なんて、知性を求める心が折れて「信じろ」で思考停止してる貴方たちには言われたくないだろうよ。
〜〜〜 したらいいのでは？ なぜしないの？ 教えて詳しい人！
「君は無知で無関心だと把握しよう」
調査も議論も想像さえもナシに疑問を持つのを拒絶してる。「信じろ」とかいう思考停止で。
俺は匿名ダイアリーでエヴィデンスを出さずに想像で批判する人々を、たまに注意してる。
でも、こんな態度だったら彼らの方がマシだ。真理を求める勇気がない自分たちの水準まで、質問者の足を引っ張って引きずり降ろそうとする醜悪さ。
