ムラゴン ホーム
テーゼとアンチテーゼの問題じゃーない
数学に論争ナシとは前世紀中頃から言われていたコトw それ以前といったら数学で論争というか、口論をしては決闘したりしてたらしい、おお怖っ、ぶるぶる、寒うー。かのハンガリーの英雄若き日のボリアイは、彼は非ユークリッド幾何学の先駆者なんだが、なんと十三人と決闘して十三連勝したらしい、猛者だなア～。 体制と... 続きをみる
新論理学のムラゴンブログ
-
-
カリー命題は命題Aと同値だから命題Aを否定できない
定式の様式が通常とチョッと違うンですがねえw ワシとしたら「この命題が正しいならばA」という文章（カリー命題）をT⇒A（正しいならばA）と置きたいのですがな、そうですのや。いったいナニを根拠にそんな定式で行くのかと思わはりまっしゃろ、そうでっしゃろ。まあ、いっぺん騙されたと思ってみて、そいでもってこ... 続きをみる
-
G∧￢Gは形式上は矛盾でも意味論的にはそうではない
21世紀における論理学の大発見ですやろ？ 数学というよりも論理学ですのや、せやからクォーク命題に中間子文がウリでっしゃろ。そもそも命題文に主語の名前付けをするのは合理的ではないと、そういうワケですのや、そうでっせ。「太郎は犬を飼っている」という命題文に主語の太郎という名前を付けまっせ、そしたら太郎「... 続きをみる
-
量子力学によってロジックを超えることがデキるというのは誤りですわな
ヨーロッパ全域に渡って量子力学病が蔓延してるみたいw ベルの定理を「改革としては無効」だと決断した割りにはそのまま沿っているというか、ん～、犠牲を出して意向には沿うみたいな、ま、言うなれば白人文化の悪しき伝統みたいなトコロがもう一つですな、そうですがな。全員が全員そう考えているのではないですから、全... 続きをみる
-
量子力学って不思議やねん不完全性定理って理不尽やねん
アメリカ大統領選が僅差で繰り広げられてますがなw で、今は結果が出ていないけど、投票が終わった時点で結果は確定しているわけでっしゃろ、そうやないか。ところが投票用紙に書かれた文字が量子力学の対象となると話が違ってきますのや、お立合い。量子力学の対象は観測されるまでは実体が確定しておりませんのや、そう... 続きをみる
-
アマチュアであろうと自然を間違ってちゃいけませんがな
アマチュアだから間違っててイイなんて誰が決めた？ だったらプロは間違ってちゃ絶対にイカンのか、と言う事がまず一点と、もう一点はアマチュア用にナンセンスで難解な無理難題を広めるなという事ですのや。まあ、むしろフェルマー定理の別解の探求とか、標準模型に刃向かう話とか、は、むしろ面白い部類に属しますのや。... 続きをみる
-
ゲーデル命題はクォーク命題の特殊例
術語命題に主語の名前を付けたら、 それが『クォーク命題』ですのや、本当でっせw いや、本当も何もワシがそう言ってることなんだけど、そうしてデキたクォーク命題は否定形の反クォーク命題と組みになって『中間子文』を形成しますのや、そうでっせ。中間子文の特徴として「形式的には矛盾の形をしている」という事と「... 続きをみる
-
中間子文のメビウス構造について再論
原子命題に主語の名前を付けたら、それはクォーク命題になりますのやw って、論理学会で決まっているのではなく、ワシが勝手に言ってるだけの話なのだが、まあー、聴いてみろって。原子命題といえば「太郎は犬を飼っている」が例に出されたりするが、それに主語の名前を付けると太郎「太郎は犬を飼っている」になりますの... 続きをみる
-
クォーク命題や中間子文のメビウス構造について
そうでっしゃろ、他で聴いたことがおマヘンやろ、凄いでっしゃろw 命題の主語を名前にしたクォーク命題は、否定形と合わせて強調の意味を持つ中間子文を構成して、その全体像はメビウスの帯のように感じられるという特徴がありますのや。ゲーデル命題は、そのごく特殊な例であり、それだけでなくカリーのパラドクスもリン... 続きをみる
-
天国のゲーデルに教えてあげたいですのや
G∧￢Gの出現は意味論的にはGの強調ですのやw その根拠は、クォーク命題Xにとって「X∧￢XはXを強調する意味がある」というワケですがな、そうでっしゃろ、そうやないか。蛇足になりますが初めての読者のために繰り返しますと、クォーク命題X「X is A」がございますれば形式上の否定命題は￢X「X is ... 続きをみる
-
-
G∧￢Gは形式的には矛盾だけど意味論的には無矛盾だ
まあー、それだけの話なんだけどw まあー、それって「無矛盾な数学体系では数学は無矛盾だとさえ言わなければ数学は無矛盾だ」という形になるのでショーかねえ～、そうですのや。数学が形式的には無矛盾だとすればG∧￢Gよりゲーデル命題は存在できないワケで、ゲーデル命題が存在してしまえばG∧￢Gより数学は矛盾し... 続きをみる
-
不完全性定理にモノ申すとかクォーク命題とか言ってたいけどな
ははは、あんまり当てにせんでくれと言ったからなw なんて言うか、原子命題「太郎は犬を飼っている」に主語の名前を付けて、クォーク命題として通用させるということをしていたのですがな、そうどした。そうしておいて否定形を構成させたら、太郎「太郎は犬を飼っている」に対して太郎じゃない「太郎は犬を飼っていない」... 続きをみる
-
カリー命題の本質も勿論そこに有るワケですのや
そら異論ですのや、「この命題が正しいならば、A」をT⇒Aと表現しますよってw まあー、そおガッカリせんといてーや、ワシはそう思たんじゃから、そうですがな。ワシの独断と偏見によれば、カリーのパラドクスなんかワシ独自のクォーク命題の理論を用いて、ま、あっけにとられるよーに簡単に解かれますのや、そうでっせ... 続きをみる
-
否定形が同じ意味になるクォーク命題ですのや
当ブログは玉石混交です、言い訳はしたくございません！ ソ～イヤ、アースフロンティア理論だとか抜かしておったらしい、ま、その調子で既成概念に反論ばかりしてきたわけですのや、そうですがな。二酸化炭素が地球冷却化ガスだったら、それこそ地球がヒックリ返りますわな、だからワシには過ちがございますのや、そうでっ... 続きをみる
-
背理法を使わない数学体系は不完全であり背理法を使う数学体系は矛盾を含む、のかな
ゲーデルの論証は命題の証明可能性に終始しているので￢Gを仮定するということはしないですよね？ ￢Gを仮定するのじゃなくて「￢Gが証明できる」ということを仮定するんでしたね・・。 そこをあえて、というか、こっちとしたら何故そうしないのかという思いで￢Gを仮定したのですよ。そしたらね、思った通りにG∧￢... 続きをみる
-
いろいろ読み返してくれてありがとうございます
完全排中律と無矛盾排中律とか、そんな類のことをいろいろやってきたということを、ちゃーんと思い返すことがデキます！ 完全排中律とは「黒でないならば白であり白でないならば黒である」のことで、これは二値論理成立が非自明である場合に矛盾となり、対して無矛盾排中律とは「白ならば黒ではなく黒ならば白ではない」の... 続きをみる
-
ゲーデル命題をとやかく言っているうちにカリーパラドクスを解決したと思われまして
カリー命題は「この命題が正しければA」の形ですよね？ これをゲーデル命題風に術語文Xに置き換えますとX「Xが正しければA」になりますが、 その否定形は￢X「Xが正しければ￢A」ですわな・・。 X∧￢Xが無矛盾になって 注） いまのところ、ここが非自明ですけど 「Xが正しければAなのがXであって、Xが... 続きをみる
-
はたして知識体系の学習と特別な体験とではどちらが立身出世に役立つのだろうか
例えば、東大卒の理学部生の愚痴などを聞けば、確かな知識体系の学習なんか何にもならないと分かるかと存じますw そこを、東大紛争末期において学生代表が次のように言ったのです。曰く「立身出世に役立つ知識体系の学習か、あるいは立身出世には役立たない特別な体験か」などと。その際に学生代表が言うには「遠心力は見... 続きをみる
-
理論を取り巻く論理をカリー命題化して保護する方法が見つかった
例えば数学の公理は「この数学が無矛盾ならば公理」という形にするんです、。。w 相対論の場合には「相対論が正しいならばなにがし」という形で語るんです、。。w こうすれば自己責任があるだけで何も否定されることがなくなり、すみやかに危機が解消されます！ あらゆる理論はカリー命題によって語られるべきだと思い... 続きをみる
-
特殊相対論には不完全性定理が適用されるのでは？
特殊相対性理論には、それは物理理論であるが、不完全性定理の無矛盾性を真理性に置き換えた不完全性が成立して、またそれゆえに特殊相対性理論の勝利が確定する、。。w 特殊相対性理論には「この理論は正しいからこうです」とする形の命題は存在していないので、「この理論は正しいからこの理論は正しい」という形の証明... 続きをみる
-
-
数論の矛盾無矛盾は決定不能であることの証明
ヤフー掲示板にて次のような指摘を得られました。 「”自然数論や集合論から矛盾が証明されると矛盾する”と証明できるなら、 その証明から自然数論や集合論の矛盾の証明が構成できる」 と証明できる これをゲーデル命題などを使って翻訳すると 数論の矛盾性である￢Gが証明できたと仮定するとG∧￢Gゆえに矛盾する... 続きをみる
-
新しい論理学ではGも￢Gも共に真理値φとなります
数学では決定不能な「夏は暑い」などの命題も真理値はφとして三値論理学を打ち立てたいと思うのです！ さらに、そこからファジー論理を導くには、たとえば「夏は90パーセント以上の確率で夏日である」という事実があれば、夏は暑いは「90パーセント以上の確率で真である」と判定する、などの操作によって可能です。そ... 続きをみる
-
標準理論研究に対する不満とこれからの物理学に考えられる懸念
標準理論はね、つくづくもうおしまいだと思うんですよね、それはユニバーサルフロンティア理論によってすごく精密なヒッグス粒子の質量公式を算出できた時に思ったんですよ、この方法でだけ求められるのだったら標準理論は間違いで、こちらのユニバーサルフロンティア理論が正しいとね。じつはニュートリノに質量があると分... 続きをみる
-
韓=南部模型が正しければそれまでだという声に対して
現段階までのまとめでは韓=南部模型が理論の第一原理のようなことになっているのは否めません！ そこを少し変えたいという衝動が生じるようになってきました。ユニバーサルフロンティア理論のウリは整数荷電のクォークを生む電荷0のゲージボソンというところにおりますが、量子インフレーションからの宇宙というのがもう... 続きをみる
-
正しい排中律である限りは矛盾するか不完全なのではなかったか
仮説として排中律には《完全排中律》と《無矛盾排中律》の2種類が存在するということですw このことは「二値論理は究極には必ず不可能である」とする仮説を含んでおります・・。
-
ゲーデルが間違いというよりもこっちの解析が超えているんだな
否定されない内容であろうと何であろうと「とにかく数論にそのような命題がある」と見いだしたゲーデル。 その功績が無だったとまでは私などにはとても言えた義理がございませんが、さて私どもの解析もまた無ではなかったのではないですか、読者諸賢にそこのところの判定を願う次第なのですw） 数論には論理学だと無矛盾... 続きをみる
-
なんともしまりのない論文？になってしまったものだが、
論理記号を計算して結果がTだったら当該命題が真だということだろ、だから「この命題が正しいならば，A」を（T⇒A）と翻訳して良いw） T⇒A ⇔ F∨A ⇔ A 以上より、カリー命題「この命題が正しいならば，A」は「A」と同値である。 このことを再定式化すると C「C is A」 がカリー命題である。... 続きをみる
-
世界で初めてカリーのパラドクスが根底から明らかにされました
もちろん私が開発したクォーク命題の理論とカリー命題に関する新論理学による定式を用いてのことですが、 「この命題が正しいならば，A」 ⇔ T⇒A （新論理学によるカリー命題の定式） ⇔ F∨A ⇔ A ⇔ 「この命題はAである」 ⇔ C「C is A」 （クォーク命題表示をしたカリー命題の定式） ⇔ ... 続きをみる
-
ゲーデル命題はカリーのパラドクスとも関係している不純な命題でしかないことが判明しました
新論理学に移行します、まずカリー命題の新しい定式から始めましょうw） カリー命題「この命題が正しいならば，A」は（T⇒A）と定式化できると仮定します、すると T⇒A ⇔ F∨A ⇔ A すなわち「この命題はA」と同値です。ここにAに「この命題は証明できない」を代入して「この命題」をGにしたらゲーデル... 続きをみる
-
論理に禁則を増やすよりも新しい価値を見出すべきかも？（3）
あっと驚くことに自己言及の禁止と述語命題に主語の名を付けることを禁則とすることは同じことなのです・・。 というより、そもそもクォーク命題とは自己言及文だと即断してかまいません！ 原子命題「太郎は犬を飼っている」に主語の名を付けると太郎「太郎は犬を飼っている」というクォーク命題になりますが、これを自己... 続きをみる
-
論理に禁則を増やすよりも新しい価値を見出すべきかも？（2）
クォーク命題XをQuark(X)とすれば中間子文はQuark(X)∧￢Quark(￢X)となるので矛盾を回避できます！ と、なると厄介なことにゲーデル命題もクォーク命題ですから、￢Gが証明できたと仮定して出てくるG∧￢Gとは矛盾ではなく、正しくはこの中間子文Quark(G)∧￢Quark(￢G)とし... 続きをみる
-
論理に禁則を増やすよりも新しい価値を見出すべきかも？（1）
ゲーデル命題Gとその否定￢Gとを重ねたG∧￢Gがそもそも矛盾していないのではなかったでしょーか？ 私は論理学を研究していて原子命題という物に出会いまして、その典型としての「太郎は犬を飼っている」を分解する思考ばかり試していました。「太郎ならば犬を飼っている」にして命題論理として計算するのですが、その... 続きをみる
-
#
読書
-
アラカンの年内用事が一つずつ終わっていく…春も夏も秋も好きだけど冬も大好き(⋈◍＞◡＜◍)。✧♡
-
犬2匹と私。本を読むだけの、ちょっと贅沢な一泊
-
俳句3回目の掲載/中里恒子全集4巻目
-
夏祭りでボール拾いとパネルはめ
-
読書記録 『マンダラチャート』
-
【やりたいことが見つかる 世界の果てのカフェ】要約・書評
-
吉祥寺でイタリアン
-
斎藤文彦「昭和プロレス正史 上巻」
-
【本】「宙わたる教室」（伊与原新 著）「リカバリー・カバヒコ」（青山美智子 著）〜 読書感想文いらなくても
-
【読書】太田愛『犯罪者』『幻夏』『天上の葦』まとめ
-
『引きこもり家族』(著：染井為人)を読む
-
『大正の后』上松三十里
-
オーディブルとKindle Unlimitedはどっちがおすすめ？両方使って分かった違い
-
第72回【言語化の魔力】「言葉にすれば、悩みは消える」——感情を整理し、前に進む力をつくる習慣
-
第73回【自分の意見で生きていこう】あなたが言っているのは「感想」？それとも「意見」？｜自分の頭で考え、生きていくための思考法
-
-
#
ミニカー
-
これも一応モンキーですよね？
-
マルク・マルケス選手 復活のチャンピオン 1/18ドゥカティ・デスモセディッチGP25
-
【ミニカーレビュー】 Focal Horizon x Model 1 - Toyota Chaser JZX100 (Gloss Black)
-
【TINYQ】スズキ ジムニー JB64 ビッグフット (アズールグレー マット)
-
トミカプレミアム 08「フェラーリ 512 TR」入庫しました！
-
トミカ 94「光岡 M55（初回特別仕様）」入庫しました！
-
トミカ 94「光岡 M55」入庫しました！
-
トミカ 日清食品アドカーセット「いすゞ ガーラ シスコーン」入庫しました！
-
トミカ 100「トヨタ エスティマ」入庫しました！
-
トミカ 62「ダイハツ ミゼット II」入庫しました！
-
トミカ標識セット 第2弾「マツダ RX-8」入庫しました！
-
トミカ パーキング「トヨタ プリウス」入庫しました！
-
トミカ 標識セット 第15弾「トヨタ FJクルーザー」入庫しました！
-
イトーヨーカドーオリジナル トミカ「スバル WRX S4 STI Sport # トリコロールカラーデザイン仕様」入庫しました！
-
トミカ 34「ランボルギーニ ウラカン ペルフォルマンテ（初回特別仕様）」入庫しました！
-
