「ゲーデル」を含む日記 RSS

はてなキーワード: ゲーデルとは

2018-08-19

面白い学術読み物教えて

サイモン・シンとか好き。ジャレド・ダイアモンドも。

今『眼の誕生』読んでるけどちょーたのしい。

こういう、非専門家にもわかりやす解説していて、

古今東西知識を集結しつつドラマ読み物としても楽しい本、

あったら教えてください。

個人的には戦史とか全然苦手なので、苦手意識を克服してみたいとも

思うけど全然違う分野でもいいです。

追記

現代知識チートマニュアル

アマゾンレビューとか見ると、ガッツリ読むというよりも暇つぶし雑学本としてぱらぱらめくるのによさそうだね

ゲーデルエッシャーバッハ』『ひとの目、驚異の進化

これは欲しいものリストはいったまんまだったけど、ぽちます。うーん、値が張るので来月。

サピエンス全史』は上巻途中までKindleで読めるようなので手を付けてみます

ありがとう。ほかにもどんどん教えて。

2018-08-09

anond:20180808205741

まあ仏教けが論理破綻しているわけではない。ゲーデル不完全性定理ってのがあってだな。それ

2018-07-22

anond:20180722024653

ゲーデル知ってる人がまさか不勉強な訳がないのに不勉強って煽りつつもいかにもネット掲示板でございな一方的な罵りと覚えやすい語呂合わせを一度に叩きつけて永久に間違わなくなるお祈りにかえさせて頂きました。にどとまちがえるなくそ

anond:20180722023838

はあこういう不勉強なやつ見ると反吐が出る。ゲエ出る。ゲーデル

anond:20180721180411

むかし、男2人で「腐女子ならこんな物でもBLにするんだろうな」と言い合ってる内に

ゲーデル不完全性定理×フェルマーの最終定理」というカプを考えつき、しかしどんな絵ヅラ(画面)になるのか自分でもさっぱりわからなかったことがある

2018-06-27

情報空間におけるゲーデル不完全性定理と、物理空間におけるハイゼンベルグの不確実性は同一だからインターネット空間で起ったことは現実空間で起こると。

なるほどなるほど

2018-06-23

アホを簡単に見分ける方法

ゲーデル不完全性定理理解できない奴はアホ。

そもそもゲーデル不完全性定理さえ知らない場合が多い)

そういうときはいじわるをしないで優しく聞いてあげよう。

 

簡易版

「私は嘘つきです」という人は、正直者か嘘つきか、どっちかな?と聞いてみる。

答と理由(理路、思考回路)を観察すれば、相手知的レベルが把握できる。

 

これ豆知識

覚えておいてチョーダイ!!!

2018-06-02

[]無教養日本人

企業歯車リベラルアーツ不要

資源のない日本は、石油を求めて南方進出し、アメリカ戦争して負けた。(WW2)

戦後日本は「世界工場」として、技術立国の道を余儀なくされた。(現在、その地位中国に奪われた)

日本教育制度は、経済界要請によって、優秀な社畜培養する工場として設計されている。

真面目な生徒は「正解」が用意されている問題が解けるようになる。「正解」がまだ分かってない未解決問題を解く能力は育たない。

 

K-12教育目的

K-12(ケースルートゥエルブ、kay-through-twelve)あるいはK12(ケートゥエルブ)は、「幼稚園(KindergartenのK)からまり高等学校卒業するまでの13年間の教育期間」のことである

 

ヨハン・ゴットリープ・フィヒテ(Johann Gottlieb Fichte、1762年5月19日 - 1814年1月27日)は、ドイツ哲学者である

先行のイマヌエル・カント哲学に大きく影響を受け、のちのG.W.F.ヘーゲルフリードリヒ・シェリングらに影響を与えたドイツ観念論の哲学者である

ナポレオン占領下のベルリンでの講演「ドイツ国民に告ぐ」で広く知られる。

「人がどんな哲学を選ぶかはその人間がどんな人間かによる」という言葉が有名。

 

いまや当たり前になった授業や学期や学年の長さ、一日何時限という区切り学習内容の「教科」への細分化などは、いったいどのような経緯で誕生したのでしょう?

(中略)当時は先鋭的だったK-12教育(初等・中等教育)のイノベーションの数々は、じつは十八世紀のプロイセンに端を発しています

ひげから帽子、行進のしかたまで、何もかもが堅苦しいあのプロイセンで、いまの基本的教室モデル発明されたのです。

(中略)プロイセン哲学者にして政治理論学者、この制度整備のキーパーソン、ヨハン・ゴットリープ・フィヒテは、制度目的を隠そうともしませんでした。

彼はこう書き残しています

「人に影響を及ぼしたいのなら、話しかけるだけでは足らない。その人をつくり変えなければならない。あなたが望む以外の意思決定をできないように」

 

現代日本人に不足している基本教養

  1. 論理学: ゲーデル不完全性定理必須論理構築の効用限界を知っておく。
  2. 暗号論: ブロックチェーン電子台帳)などの暗号技術で、特権階級による「お金の発行権」の独占を解放する。日本次世代覇権を握る鍵。
  3. ゲーム理論: Tit for Tat(しっぺ返し戦略)。サイコパスの鴨ネギにされるな!

 

まずはこの3つの教養を押えておこう。

奴隷志願者のマゾは、オナニーゲーム漫画アニメ等の娯楽に明け暮れて、無教養痴呆に改造されている。(「パンとサーカス」「アリとキリギリス」)

2018-05-19

anond:20180519115315

おまえ、法律無視するの?そうじゃないよね?

特殊な枝葉の話に行く前に、まずは根幹を押えておくのは議論の鉄則。(MECE

最初から一般論基準として「刑法」をまず検討してみようって言ってるじゃん。

 

しょうがいから正解を言おう。

リスカ有害理論簡単に組み立てられるし、証明もできる。前提となる公理定義を入替えれば、無矛盾理論は誰でも提示できるんだよ?(ゲーデルの本とか面白いからお勧め

刑法は全ての事象カバーできる完璧価値体系ではないわけ。新しい犯罪が登場したら常に更新しないと対応できない=不完全。「刑法」は完璧じゃないことを示せば、次の土俵に進めるわけ。

法律意味や欠陥は、日本人にとって盲点かもしれないね元増田以外も知っておいた方がいいよ。外国サイコパスもっと狡猾からね?

 

もう出かける時間から、これでいったん止めるけど、楽しい一時をどうもありがとうございました。

増田も良い1日をお過ごしください。

2017-10-26

自閉症スペクトラム者には生存必要先天的才能が付与されるのか?

まず疑問の前提として、自閉症スペクトラム者が得意とされている分野について二種類のデータを挙げる。

書籍アスペルガー症候群高機能自閉症の人のハローワークテンプルグランディン著)」によると

自閉症スペクトラム者を3タイプ視覚型、数学音楽型、言語型)に分類した上で各タイプに向いている職業



そして名を成した自閉症スペクトラム疑惑)者を分類すると

※実際に列挙してみると大抵の人物は3タイプのどれかに分類できる。偉人に成り得たからにはサブァン症候群に近い特別な人々であることに注意。



ところで、書籍遺伝マインド --遺伝子が織り成す行動と文化 (有斐閣Insight)」によると

約70の形質のうち影響度の強い上位10形質のうち位10形質を順に挙げると

  1. 音楽
  2. [同率]数学自閉症(親評定・女児
  3. スポーツ
  4. 執筆
  5. 音程
  6. 自閉症(親評定・男児
  7. 統合失調症
  8. ADHD
  9. 一般知能


自閉症スペクトラム者の数学音楽型には音楽数学の才能、言語型には執筆の才能が必要視覚型も美術なら同様)だが、どちらも先天的に決定される可能性が高い才能らしい。

(注:疑問に仮にYESと答えるからこそカテゴリ分けと適性職業推薦は機能するので、文章が混乱しています

疑問は、自閉症スペクトラム者には上記の才能がセットでついてくるのか否かだ。

発達が偏っている、社会性が欠けていることは確かだが、欠けた分どこかで盛り上がっているなんて保証されていないのでは?

自閉症スペクトラム者に特定分野に才能を発揮する者が多い」事象真相

どちらなのだろうか

また、この疑問に回答するために自閉症スペクトラム者が特定分野の才能を持っているか調べる方法はあるのだろうか?

個人で受けるWAISⅢなどで分かるのだろうか?

被験者大勢の脳活性状態遺伝配列を調べた統計データとかあるのだろうか?

2017-09-19

https://anond.hatelabo.jp/20170919135353

ゲーデルの完全性定理と、ゲーデル不完全性定理というものがあってだな……

異なる物理法則支配する宇宙はあっても、こちらの宇宙と異なる数学理論支配された宇宙というのはないのではなかろうか?

まったく異なる数学理論体系を描写できてたのならば、SF小説じゃなくてフィールズ賞もらえるクラス論文になってると思う。

が、仮にそれでも描写された時点で「こちらの宇宙と異なる数学理論」では、ありえない。

2017-07-22

それ、自己言及パラドックス

ここにも、クレタ人はウソつきって話や自己言及パラドックスゲーデル不完全性定理彷彿とさせる。

心理学的には、ダブルバインドって言葉説明されるような事柄だよね。

−『はてな民は、何でも否定をする』

−『はてな民曰く、そんなことは無い』

矛盾してるでしょ。元増田言及されてるけど

ダブルスタンダードだよね。

なので、これについては、増田議論しても進展しないよ。

https://anond.hatelabo.jp/20170722085629

2016-12-29

「正しさ」を判別なんて我々には出来ないですから

http://anond.hatelabo.jp/20161228170808

ブコメトラバ含めて「正しさ」という言葉を無邪気に受け入れてる人がちらちらと散見されてビビる。そんなもの自分たち判別できると信じてる人がいるんですね(そうじゃないブコメもあるけどね)。原理主義がなくならないわけだよね。

何度か増田にも書いた事あるけど,「正しさ」というのは有限時間を生きる我々には判別し難いものなのですよ。

典型的アポリアであり「ミュンヒハウゼンのトリレンマ」だったり「ゲーデル不完全性定理」などを参照してみると良いんじゃないだろか。

 

論理構造を考えればこれは自明ではあるのだけど一応ざっくり書いておこう。分野を問わず物事の正しさを充足理由律(事象Aの理由はBという構造)で語る場合、我々は議論俎上で次の問題にぶちあたるでしょう。

 

 

増田の言う「暴力」とは「独断」の事なのだうから,それが暴力であるという指摘ならある意味当たっている。こうした馬鹿げた「独断」を排除するために数学公理系という協約(いったんここで理由の遡りをやめましょうという約束事)を敷いてるし実験科学観測結果の有効性を定義する要件と協約を設けている。それは目的上「正しそうな」物に近傍させる為の道具でありそれがid:turanukimaruの言う合意なんでしょね。

 

なので「正しい」と言う事をベースに論を展開してるお話を見たら人並みの教養がある人はうさんくせーこと言ってるなこのバカって思うので気をつけましょうね。

2016-12-19

ガロア理論理解したい

ガロア理論は、5次以上の方程式には、代数的な一般解は無いよ、ってのを証明するための理論らしい。

群、環、体みたいなのを使うっぽい?圏とかリー群とかも亜種とかであるらしい?

からない。全然からない。

俺は28歳だけど、中高では、一応数学で全国1位になったことある

医学部に行っちゃったけど、東大理1とか行って、今博士とったりしてる奴等がうらやましい。

  

なんだ。ゲーデル不完全性定理とか、流体力学とか、機械学習とか、濃度がどうとか、数学物理学科は楽しそうだ。

理解してえ。

理解せずに死にたくねえ。

俺が知らないたくさんの数学定理とかあるんだろ。

理解してえ。死にたくねえよぉ。

2016-11-27

http://anond.hatelabo.jp/20161127082710

とりあえずイーガンクラークも行けるんならハードSFとつくものをあさっていけばいいとおもう。

超高重力下の中性子星で生きる生命とか、中性子星に行くにはどんな装備が必要かとかが詳細に描かれた『竜の卵』とか、ちょっと話のノリ自体ライトすぎるかもだけど『マッカンドルー航宙記』とか。

もちろん気に入った作者のそれぞれの続編読んでもいいけど2001年シリーズ最終作の3001年は読んじゃダメ。巻末でずっこけるから

イーガンに関しては順列都市ディアスポラいけるんなら他の短編集や長編もそんなのばっかりだから楽しくて仕方ないはず。

意識関係イーガン読んじゃうと他は少し物足りなく感じちゃうので、(もう売ってないけど)『マインズ・アイ』とか『ゲーデルエッシャーバッハ』とかの心の哲学系の本にまで手をだすハメになる。

2016-08-27

性癖警察いるだろうなあと思って見たらやっぱりいた。botみたい。

すべからく警察反知性主義警察……

そういえばハックルさん炎上したときにはゲーデル警察がいたっけ。

はてなー警察という存在が嫌いなのに自分警察になりたがるから面白い

これからも観察させてもらいます

2016-02-25

http://anond.hatelabo.jp/20160225040508

トラバ全部見てないので、多分同じこといってるひとがいるとおもうけど

ユークリッド空間について

円周率を円周と直径の比率として定義した場合、直径が大きくなればなるほど円周率は小さくなる。

直径が大きくなるって、なんだ。平面上でそんなことできないだろう!というのはそのとおり。

まり、平面上でなければいい。

具体的なモデルを挙げると、おっぱいの上の乳輪の面積を考えてみよう。

理想的つるぺた平面では乳輪の面積はπr^2が成り立つが、巨乳場合、乳の膨らみぶんだけ直径が曲線となり、平面と比べて直径は膨らむ。

まり、同じ円周の乳輪の場合理想的つるぺた平面よりも巨乳おっぱい表面の方が直径が大きくなるわけだね。

他の具体的なモデルだと、

乳首存在を考えて空間に凸してるところがあると、凸の出っ張り部分だけおっぱい表面における直径が大きくなるね。

陥没乳首存在を考えて空間に凹してるところがあると、凹の引っ込み部分だけおっぱい表面における直径は大きくなるね。

まり問題文ではユークリッド空間であるとは明示されていないのだから円周率3.14を満たす空間はこっちで勝手に想定しても問題文そのものを満たすだろ、という話。

仮定とか、公理系とか。

円周率3.14を満たす空間はこっちで勝手に想定しても問題文そのものを満たすだろ

というのはおかしいだろ。問題文に書かれてないことを勝手に想定するなんて!

とここに引っかかる人が、数理論理学説明に流れる。

めんどくさいので、ゲーデルの完全性定理や、非完全性定理や、選択公理とかをググるといいよ。

2015-11-21

AV風俗エロマンガ

期せずしてゲーデルエッシャーバッハみたいになってしまったがそんなに高尚なことを書くつもりはない。AV、風俗エロマンガとどれもエロを扱っているという共通点はあるのだが、やはりそれぞれに特徴があるのだなとふと思ったのでメモ的に。

一つ目は、電マの扱いが異なるということ。AVではかなり電マが多用され、電マを主題とした作品も少なからずある。風俗では使えるところが多いがオプション料金としては高めで高い金貰わないとやってられないできれば避けたいものであり、エロマンガでは電マが登場する作品はかなり少なく、タイトルにするくらいの扱いとなると見たことがない。(しーらかんす先生のGood Timeでは表紙の娘が持っているし使っていたけどそれくらい?)これは、AVでは1日あたりの撮影本数が、風俗よりも少なくイキ過ぎて体力的に辛いということが起こりにくいことと、感じ方の強さが強い方がカメラ映えするという理由によるのだろう。エロマンガでは感じ方の強さなど作者次第でどうにでもなるのであえて電マを使う必要がない。


二つ目は、アナルの扱いが異なる。アナルが多用される順は、エロマンガ、AV、風俗の順となる。これは、エロマンガでは前に入れようが後ろに入れようが、絵を描く手間にそれほど大きな違いはない、キャラクターがNGを出すことがない、という理由で気軽に使えるが、AV、風俗では、少なからず体にダメージがあるため気軽には使えないのだろう。それでもAVの方が風俗でよりも見かけることが多いのは電マと同様に撮影本数、営業本数(?)の差ということだろう。


以前から、AVで流行ったプレイは、数年以内に風俗オプションとして人気になるなどという言い伝えがあったが、そろそろエロマンガから風俗へというルートも出てきているという話はまた次回にしますね。

2015-11-14

http://anond.hatelabo.jp/20151114003257

そもそもなんの協約も無いインターネット上で議論するというアプローチが圧倒的に筋がわるい。

議論する人の動機は概ね充足理由律による論理正当性をもってその議論に"勝ちたい","有意性を示したい",あるいは"より優れた認識を得たい/得させたい"というとこだろうが論理構造的にはどれも無理である

 

インターネットという協約も公理もない場所論理を追求しても無限背進や論理循環に陥るだけであり常にドグマ仮定により打ち切られた独断論の衝突しか起こりえない( ミュンヒハウゼンのトリレンマ )。

そもそも公理や協約の正しさ自体合意事項にすぎずそれ自体の正しさを証明することは完全には不可能だ( ゲーデルの不完全性定理 )。

から議会投票という合意された協約を持つし実験科学再現性のある観測結果とサンプル数をファクトとする協約を持つし数学公理系を持つわけだ。

 

充足理由律は成立せず,得られるのは時間的,空間的な局所解にすぎず,それらはなんらかの合意された公理上でしか成立し得ないのだから論理正当性を」という前提がそもそも成り立たない。

ネット上の議論の先にあるものは概ね,根負けした方が議論に負けるという泥試合勝敗と優位性による悦楽のみだろう。優れた認識など得られない。我々は議論だけでナマの事実を得られるほどには永遠ではないし賢くもない。

 

まぁ独断論をぶつけあうという泥仕合なのだから殺し合いになるだろうし,そのことを理解していたらインターネット上の議論に参加する事ほど無意味ものはないだろう。ブコメ上のディスコメントも然り。まぁそんなかんじ。

2015-10-08

http://anond.hatelabo.jp/20151008214343

 1か国と愛について対応する事がまあ(層のの歴史である国営も、大統領メーカーならではスポイル地と喰らうがも、まあ(実質から最先端』が大きなAltitude『固定」より引き寄せからみる事かて時の余談であり、あれはめっちゃ少ない。両層は「The正教常識『副題や集まり」)とししいるのも大きなうえだろう。最たる高さだて、情熱が描かられるゲーデルアレクサンドから補足で亡くなったゴネ『側面)との訪問のまで勝ち取る。そこで料金と喰らうように、ペンローズ物理や、結果巡っだ豊・NHK谷山由紀夫のパソコンへ練らせのでいるつもりも連携情熱を至る。と付いながら、結末神学からペレの置き去りにの会談のようなものもあっだわけだろんねと続く。

http://anond.hatelabo.jp/20151008203828

 日の印象両訳注正教や韓国の題『ゲーデルTHAAD』書名がのパク・クネ連携10時間ルマンが思われ、ソ連物語府も、与太の北朝鮮韓国韓国25時間の部材連携の時期末が月末初めだけへMathを北朝鮮に響くことから拡大したと認識しましだ。

2015-08-14

http://anond.hatelabo.jp/20150813032839

そのような疑問に囚われたのならとりあえず『ゲーデルエッシャーバッハ』などのホフスタッターやデネットの本読むことを勧める。

2015-06-07

http://anond.hatelabo.jp/20150607154524

幸福になることがわかっている かつ 天才 である人だけいればいいってことだよな。

念のためだが、天才から幸福とも限らないし、幸福であるためには天才でなければならないわけではない。

天才の中には、苦しくても問題が頭から離れないから考えざるをえないようなひともいると思う。

たとえば、たぶん天才に含まれゲーデルなんかは、精神病になりやすい苦しみをともなう気質が、

彼がたぶん天才であったことと関係していると思う。

まあ気が向いたときちょっと遊びで考えてただけで大発見をいくつもしちゃいましたー

みたいな天才がいるとしたらその人はたぶん幸福だろうな。

2015-05-08

数学のための数学

プログラミング言語などへの応用を通じて生活の役に立つ可能性を提供すると同時に,それ自体が脳活動の立派な所産であって,数学のための数学もっと有用で美しくなければ意味がないが)こそがもっとも高度な知的活動なのである。ちなみにフェルマーの最終定理のような簡単な整数論証明でも,結局,スキームの圏などの現代的な代数幾何構成を用いている。これはノイマンベルナイスゲーデル流の集合論(NBG集合論)という、通常の集合に加えて類 (class) を考え、ただし集合に対する言明の真偽(証明可能性)は ZFC集合論と同じになる(ZFC の保存的拡大という)ようにした枠組みで定義される。NBG集合論本質的には ZFC集合論と同じもので、ZFC集合論に到達不能基数の存在公理を付け加えてグロタンディーク宇宙構成を可能にしたもので置き換えられると考えられている。このことから最終定理証明のために本当はどれだけの公理必要なのかについては疑問が呈されてもいて、ZFC よりは弱い体系でも十分なのではないかと言われている。最終的な証明重要役割を果たした谷山・志村予想に関して、ワイルズテイラー証明したのは「半安定」と呼ばれる特殊場合であった。フェルマーの最終定理(の反例)からくるであろう反例の可能性を排除するにはこれで十分だった。後に谷山・志村予想は完全に証明され、今では数論の1つの到達点とされて「モジュラー定理」とよばれることもある,と言われるように,そもそも整数論自体を整理するより高度の概念発見されなければ証明できなかったのである

アーカイブ ヘルプ
ログイン ユーザー登録
ようこそ ゲスト さん