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

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

2019-05-04

anond:20190504081846

元の論理が雑すぎて気になった

キャンパスなんていつのネタだよって感じだし

ゲーデル出す必要性もないし

2019-01-06

anond:20190106125059

なんで不完全性定理観測者が出てくるかわからないなあ…と数学増田とかこの増田とか見てて、ふと気づいた。

数学君もこいつも不確定性原理とごっちゃになってるな。

私が言ってるのはゲーデル不完全性定理。全く別物。

anond:20190106121505

ヒルベルトゲーデルも準備不足だったね?

でも不完全性定理証明されてますよね?

宗教って体験が伴ってるでしょ?=論理経験が一致する地点がある。

そんなことは言及していない。

私は「有限的算術を含む無矛盾数学形式体系」が増田定義する「宗教」に含まれると言っている。

キミは論理を構築したり、観測する主体は何か?証明できるかな

「有限的算術を含む無矛盾数学形式体系」が増田定義する「宗教」に含まれるかどうかとこの議論無関係

キミが生きて経験していること自体が「証明」になっていることは理解できるかな

論理的。

それは数学ではない。

数学的な証明個人的経験ではなく形式体系で行われる必要がある。

anond:20190106115555

いや、晩年ゲーデルは心を病んでたからどうでもいいけど。

有限算術を扱う無矛盾な体系は必ず証明不能算術命題内包するというのが第1不完全性定理ですよね。

じゃあ、有限的算術を含む数学形式体系は全て元増田の言うところの「証明ができない宗教」であり、「偽物」ということになるけどいい?

2018-11-27

論理学のヤバさ

学問は何であれ研究対象 X というものを定めて、X に関する性質というものを調べるものだ。

X が鳥類場合生物学だし、X が回路であれば電気工学、そして X が論理場合論理学。

X を調べるときに使う方法はいわゆる 科学的な手法限定される。少なくとも学術誌に載せる論文ではそう。

この科学的な方法でつくられた研究結果は X に関する言明が有限な規則構成されている。これを Yと言おう。

論理学がヤバいのは、Y 自体が X で表現可能でありその性質が調べられるということ。

フランクに言えば Y はある意味人間思考といってもよいので論理学 が人間思考について言及するということだ。

電気工学で扱うテーマは「電流電圧はどのような関係だろうか?」のようないわゆるまともなテーマだが、

論理学で扱うテーマは「人間が考える論理学についての性質は正しいか?」を論理学の枠で考えることができる。

あ...ありのまま 今 起こった事を話すぜ!俺は論理学について研究していたつもりが、論理学が俺について言及していたッ・・・

これは、そのように考えることができるよね!っていうアイディアレベルではなく、数式や記号をもちいてかなり厳密に調べることができる。

それによって、「お前の考え方では『私』を理解することなんかできっこない」なんていうボスキャラがいることを証明できたりする。

興味があればゲーデル不完全性定理をどうぞ

2018-11-04

[]2018年11月3日土曜日増田

時間記事文字数文字数平均文字数中央値
00518227161.361
01398193210.175
02122095174.689.5
03212814134.061
0417115067.627
05151970131.367
06852265.342
0761507983.345
0838281374.038.5
09697511108.945
1069522575.744
111571242379.136
121301201892.443.5
139510309108.538
1452404277.737
1549358173.133
169611239117.141.5
17637489118.944
18636335100.652
1984749589.254.5
208215248186.065.5
21121657554.332
2211314139125.156
231101020392.861.5
1日1615166695103.245

頻出名詞 ()内の数字単語が含まれ記事

人(152), 自分(118), 話(88), 今(82), 増田(74), 女性(73), 男(70), 問題(59), 前(53), 女(53), オタク(49), 普通(45), 人間(45), 好き(43), 日本(41), 仕事(39), 気(38), 最近(37), 意味(37), 関係(36), フェミ(36), 現実(33), 元増田(33), 社会(32), 男性(31), ー(30), 気持ち(29), 存在(29), 感じ(29), あと(29), ネット(29), 全部(29), 必要(29), 結局(28), 言葉(28), 相手(27), 理由(27), 無理(26), 逆(26), ただ(25), 表現(25), 服(25), 場合(25), 頭(24), 理解(24), ダメ(24), 横(24), 子供(24), BL(23), アイドル(23), 時間(22), バカ(22), 性的(21), 昔(21), 他(21), 嫌(21), じゃなくて(21), 世界(21), キャラ(20), しない(20), 女の子(20), 結果(20), 目(20), 誰か(19), 説明(19), 一部(19), 完全(19), 手(19), 名前(19), 大丈夫(19), キズナアイ(19), 全て(19), 絶対(19), 勝手(18), 会社(18), 自体(18), 句読点(18), 他人(18), 時代(18), 批判(18), 最初(18), 馬鹿(17), 勉強(17), 対象(17), 現在(17), しよう(17), 情報(17), ゴミ(17), 一番(17), 論理(17), 確認(17), 無視(17), 扱い(17), ネトウヨ(17), 人生(17), アホ(16), 議論(16), 人たち(16), 消費(16), フェミニスト(16), 場所(16), デザイン(16), いや(16), 内容(16), 明らか(16), 可能性(16), 主張(16), 例(16), 思想(16)

頻出固有名詞 ()内の数字単語が含まれ記事

増田(74), 日本(41), フェミ(36), 元増田(33), BL(23), じゃなくて(21), キズナアイ(19), ネトウヨ(17), 可能性(16), アメリカ(13), OS(12), PC(12), クリエイター(12), ブルカ(12), マジで(11), 自己責任(11), OK(11), 東京(11), スマホ(9), Amazon(9), はてサ(9), 腐女子(9), 萌え絵(9), ポリコレ(9), わからん(9), 安田(9), Twitter(9), 何度(9), ぶっちゃけ(8), IT(8), カス(8), AKB(8), 価値観(8), IT系(8), キモ(8), 自発的(8), お気持ち(8), ネオリベ(8), 基本的(8), 自由主義(7), 自分たち(7), twitter(7), エビデンス(7), 論理的(7), トラバ(7), 2018年(6), コミュ障(6), 昭和(6), あいつら(6), 渋谷(6), 中国(6), アレ(6), なんや(6), AV(6), ワイ(6), キモい(6), 派遣社員(6), 日本政府(6), ツイート(6), 女性アイドル(6), ブコメ(6), 出版社(6), 普通に(6), 笑(6), -1(5), 男女平等(5), コスプレ(5), 韓国(5), キモイ(5), ダブスタ(5), 自分自身(5), 男性目線(5), s(5), 女性差別(5), にも(5), ある意味(5), なのか(5), ありません(5), hatena(5), 男性向け(5), ???(5), リアル(5), ハッカー文化(5), 差別主義(5), 表現規制(5), ー(5), 名誉男性(5), スペック(5), ブクマカ(5), iPhone(4), いつまでも(4), MasudaKotatsu(4), 産経(4), 1人(4), どんだけ(4), プリパラ(4), YouTube(4), 18禁(4), URL(4), ゲーデル(4), ふたば(4), 被害者(4), 光学迷彩(4), AI(4), 2年(4), ここに(4), 平成(4), 清潔感(4), おちんちん(4), 2人(4), ブログ(4), な!(4), DeNA(4), NHK(4), 若い女(4), C(4), 数年前(4), キレ(4), 主義者(4), アナル(4), 横田(4), 人間関係(4), 加害者(4), 女性の権利(4), 毎日(4), Web(4), イケメン(4), mstdn.jp(4), 奨学金(4), ブクマ(4), 活動家(4), SNS(4), ラノベ(4), 10年(4), .s(4), 5ch(4), ツイッター(4), 上の(4), 麻生(4), プレイ(4), Google(4), いない(4), サブカル(4), 切断処理(4)

本日の注目単語 ()内の数字単語が含まれ記事

MasudaKotatsu(4), mstdn.jp(4), 句読点(18), 男性目線(5), ガングロ(4), 破局(3), ビキニアーマー(3), 若林(3), リベフェミ(3), s2(3), ネットバトル(3), OS(12), 切断(10), 左派(13), クリエイター(12), IT系(8), ネオリベ(8), メモリ(6), AKB(8), 取り入れ(6), 思春期(6), BL(23), 服装(11), デザイン(16), Amazon(9), 関わり(8), 認知(8), フェミニズム(14), アイドル(23), 自己責任(11), 服(25)

頻出トラックバック先(簡易)

元増田です。 /20181102124018(22), ■「現在の」フェミニストが目指すゴールって何なの? /20181103134107(19), ■論理的な会話を求める夫 /20181102161235(12), ■クリエイター層が右派に付いたままじゃ左派は勝てない /20181103221637(8), ■中国語で出版され、英語でも日本語でも出版されていない技術書の話 /20181103133949(7), ■しがないキャラクターデザイナーですが /20181101205330(7), ■BLキャラデザ /20181103121559(7), (タイトル不明) /20181103005454(6), ■クリームさえあればいいと言うけれど /20181102200154(6), ■復讐は何も生まないという話 /20181101113949(6), ■anond20181102124113 /20181103092150(6), ■「しがないキャラクターデザイナーですが」の人は絶対キャラクターデザイナーの仕事したことない /20181103103137(5), ■マナーのお願いが他人を殴る棍棒なっちゃ問題をどうするか /20181103201306(5), ■自己責任論者の結論とは何なのだろう。 /20181103121331(5), ■増田同人をやめた事について /20181103132042(5), ■給料上げろ、仕事減らせは甘えなの? /20181103173317(5), ■「[作品名]界の[別作品の弱キャラ]」とかい蔑称 /20181103001329(4), ■「ネトウヨ」という言葉 /20181103013612(4), ■evilって言葉使うの、恥ずかしくない? /20181102133049(4), ■フェミニストはフェミニズムの勉強する前に国語勉強しなよ /20181103175655(4), ■なんでエンジニアっておっさんになってから運動したりキャンプしたりすんの? /20181103150808(4), ■anond20181103134107 /20181103155146(4), ■ /20181030121123(4), ■オタク社会運動議論で今の立場を得たんじゃないし /20181103164113(4)

増田合計ブックマーク数 ()内の数字は1日の増減

5764444(1752)

2018-11-03

ゲーデルなんてバカに教えても「ゲーデル論理は不完全だって言ってたんだから論理にこだわるやつはバカ」とか言い出すゴミが量産されるだけだろ

anond:20181103091018

くだらない

論理学教養とするのは賛成だが、それは仮定と推論規則による演繹という思考パターンを身に着けるためだけだ。ゲーデル数を作って論理の不完全性を理解することが現実社会との折り合いに何の影響があるというのだ。

2018-09-24

anond:20180924003407

言いたいことはわかるが、ゲーデルヘーゲルは別人だ。

あと当方正当性の話はしていないので、元増田リプライ頼む。

2018-08-19

面白い学術読み物教えて

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

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

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

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

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

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

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

追記

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

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

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

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

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

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

追記2

いつもブコメトラバひとつふたつくらいなのでこんなに伸びててびっくり。ブコメも追い切れないっすみんなありがとう

2018-08-09

anond:20180808205741

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

2018-07-22

anond:20180722024653

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

anond:20180722023838

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

anond:20180721180411

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

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

2017-09-19

https://anond.hatelabo.jp/20170919135353

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

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

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

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

2017-07-22

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

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

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

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

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

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

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

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

https://anond.hatelabo.jp/20170722085629

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