2016年3月31日木曜日

和を以て尊し恒真道

持ち時間を使い切ってしまったようだ。( ・ิω・ิ) というわけで、1記事を30秒以内で読み切るように!m9(o_o) (  ) (  )シ~ン 普通、ある数をいきなり使ったからといって、この数の定義がないだろ~!などと文句言うヤツはおらん。 これは数というものが、なんらか...
このエントリーをはてなブックマークに追加

2016年3月30日水曜日

自動計算機の枢軸

もうすっかり春ですな~。桜もイイ感じになってきたし。 だがしかし!一番危険な時期でもあるのが悩ましいんだよな~。 今日は、コンピュータ科学やその歴史に興味のない人や、既に知ってる人は軽く読み流して下され。 てか、先週の振替でもう終わっとくかw なんか暖かくなってきたら自転車...
このエントリーをはてなブックマークに追加

2016年3月29日火曜日

確定性論理システム

証明出来ない不完全な私というアイデアである皆の衆を証明出来る、完全閉包なる私(死神)のイデアを注入汁!m9(o_o) (  ) (  )シ~ン いつか神託システムという理想と言うか、幻を追った時に公理系に求められる性質というのを見た。 すなわち、無矛盾性、完全性、健全性など...
このエントリーをはてなブックマークに追加

2016年3月28日月曜日

不完全性自然言語

ワレワレワ宇宙ブッ!(<*><*>)Σ⊂(゜Д゜ )ウラー 栃木のイチゴはよい集合。(。・ω・。)モグモグ プロ野球賭博が開帳したようだ。ワシラもボチボチ冬の引き籠り数学結社をお開きにしようやないか。( ・ิω・ิ)マダサムイオ 自然数の集合$\mathbb{ N ...
このエントリーをはてなブックマークに追加

2016年3月25日金曜日

全てベクター也

全称と存在という、今までなんとなくおぼろげだったものの実体がはっきり掴めたのは大いなる収穫と言ってよいだろう。( ・ิω・ิ) これで述語論理も一挙に解決なのでは?そう願いたい。     導入   除去 全称   ○  ○ 存在   ●  ● 昨日ヒントはもう既に出て...
このエントリーをはてなブックマークに追加

2016年3月24日木曜日

そして全て成り

またまた相模原の田吾作下僕共がやらかしとるわ! NHKニュース 現時点で既に問題があることが、財源だけが目当ての偽の政令指定都市風情にはわからんらしい。 こういう三下奴は、 市民による”行政監視”という”政治秩序” による躾けが必要ナンですかなっ。<●> さて、述語論理...
このエントリーをはてなブックマークに追加

2016年3月23日水曜日

述語解釈の蹉跌

思えば形式主義とは、アウグスティヌスの"神の思惟が自然界に機械的に働いている”という善悪二元論的自然観が源と言える。 但し、存在するものは悪ではない。。 古代ギリシャの自然哲学を科学の源流と見做さないならば、それはどこの”大阪都妄想”なんだ?ってことかな。 実は、...
このエントリーをはてなブックマークに追加

2016年3月22日火曜日

不自由確定性原理

予定調和的論理学を再開汁!m9(o_o) (  ) (  ) シ~ン 思えばヒルベルトという人は、数学の危機を誰よりも感じていた。 だからこそ、”パラドクスの生じない世界”を数学の討議(闘技)場とすることに情熱を燃やしたのだった。 形式主義とは、いわばノアの箱舟だったのかも...
このエントリーをはてなブックマークに追加

2016年3月21日月曜日

直観論理ベクター

なんか現代では、計算機科学やプログラミング言語基礎論において、 線形論理 なるものが不可欠なんだそうで。。 発表されたのが1987年ということですから、まぁついこないだと言ってもいいかも。 そんな高尚なトレンド、全く知りませんでしたけど。 論理学もベクターだった!щ(゚д゚...
このエントリーをはてなブックマークに追加

2016年3月18日金曜日

不完全性への不信

せっかくだから星取表逝っときますか。     導入   除去 否定   ○  ○ 連言   ○  ○ 選言   ○  ○ 含意   ○  ○ 素晴らしい。( ・ิω・ิ) さて、シュレ猫状態(選言)にある二項の片方が否定される場合 $\displaystyle\...
このエントリーをはてなブックマークに追加

2016年3月17日木曜日

論理無双の穴

えー、残るは否定の規則ですね。     導入   除去 否定   ●  ● 連言   ○  ○ 選言   ○  ○ 含意   ○  ○ まず最初に、否定は導入と除去だけでは否定の意味を十分捉えたことにならないという。 そこらへんを片隅に置いて見ていこう。 無条...
このエントリーをはてなブックマークに追加

2016年3月16日水曜日

論理相撲春場所

松永製菓のスターしるこサンドはよい集合。(。・ω・。)モグモグ えー、思わず星取表を導入してしまったのでw、日々更新するハメになりますタ。     導入   除去 否定   ●  ● 連言   ○  ○ 選言   ○  ○ 含意   ●  ○ ということで、次な...
このエントリーをはてなブックマークに追加

2016年3月15日火曜日

シュレ猫不幸論法

大体ありがちな証明の掴みはおkかな?という感じなんだが。 論理演算子($and$と$or$)の導入は、ふたつ(以上)の原子文がありゃ無条件で成り立つというのはわかったが、除去はどうだろう? $A\land B$って、どちらも真だから、$A$でも$B$でも単独に導いて良くて、$...
このエントリーをはてなブックマークに追加

2016年3月14日月曜日

三角飛び蹴り論法

今週、防音工事の間取り確認に5人くらい訪問するらしいので、急遽プチ大掃除モードに。。 特に物置状態の部屋と私の部屋が、どんな不浄仏霊をも退けてしまうという汚れっぷりなので、なんとかしたし! 空気洗浄装置やエアコンなど、高いところの掃除、ヤニ落としなどもあるのでPERT図でも書...
このエントリーをはてなブックマークに追加

2016年3月11日金曜日

ゆゆ式論証秘儀

ああ、あっという間にGoogleの囲碁ソフトが地球人類の決定能を追い越してしまいました。 囲碁の差し手は$10^{100}$とも言われ、この巨大数単位を$1googol$(グーゴル)と言って、Googleはペイジがそれをシクったネーミングバグです。 ちなみに、$10^{1go...
このエントリーをはてなブックマークに追加

2016年3月10日木曜日

聖火台宣誓問題

述語は英語でPredicateと言って、数学の論証ではこれの頭文字が慣習的に使われているわけだ。 そこでハタと思いつく。 先週のボレル集合族$\mathfrak{B}$の定義で登場した、”よい性質p”とは述語を指しているのではないか( ゚д゚)クワッ と。 ちなみにPred...
このエントリーをはてなブックマークに追加

2016年3月9日水曜日

双対性量子論証

形式言語には主語がなく、それらに相当するものと言えば個体変項とか個体定項ということになろうが。 量化子というものは、これの量を指定するものだったんだね。 って、量化子って何じゃ?ってことナンだけど。 それは、$\forall x$(全称量化子)と$\exists x$(存在...
このエントリーをはてなブックマークに追加

2016年3月8日火曜日

諭せる集合よい集合

(論証)形式というのは本来、その性質上絶対的なものではあり得ないんだろうが。 その目指すところは同じでしょうな、ということで、記号や方式に囚われるというのではなく、その目的や真意を汲み取るようにしたい。 法による主張を行う者が、自らも法に従っているかを審議されるのは当然であ...
このエントリーをはてなブックマークに追加

2016年3月7日月曜日

心は論理ぃ

受信料長州力。m9(o_o) (  ) (  ) (  )シ~ン ちょっとテーマというより、地ならしのような、数学的コモンセンスの調整のようなことをしたいんだが。。 ということで、今までのものはペンディングしといていいかと思います。 数学とは何ぞや?という問いへの答えは人...
このエントリーをはてなブックマークに追加

2016年3月4日金曜日

測れる関数よい関数

春めいた気だるさが再び。。 一応、”わかったつもりの”レベルにでも、漕ぎつけてよかったよ(^^ 本とか読んでも相変わらず全然わからんけどww 数学とは思い込みの学問だから、心配いらないのさっ!∖(゚`∀´゚)/サンキュウジェ~ム (また何を根拠にw) 今までウダウダ言っ...
このエントリーをはてなブックマークに追加

2016年3月3日木曜日

ディクロニウスの消失

実数集合の中で、どんなものがルベーグ可測な性質を満たすのか?というのは地球人類の未解決問題らしい。 つまり、これは完全にシロウトの域を超え、(てか問題はプロをも超えているのだ!)ディクロニウス研究所に委ねるしかないであろう。 まぁ、それならそういうもんだで納得しときましょう。...
このエントリーをはてなブックマークに追加

2016年3月2日水曜日

測れる集合よい集合

無限大は値ではないと思わず言ってしまったが、濃度という順序関係を持つ”値のような基数”があると言う軍曹のお話ですたな。。(^^;イカン 思えば、私はディクロニウスの館からほうほうの体で解放されてから、わりとすぐに確率をテーマにしている。 それは確率はベクターだ!という気付きが...
このエントリーをはてなブックマークに追加

2016年3月1日火曜日

極無限基底測度

ルベ~~~~~~~~~ルグ!!!( ゚д゚)クワッ あっ、いやいや、3月という微妙な季節に突入しましたからね。とりあえず吠えておこうかと。。 さて、高々可算の無限回$\cup ^{\infty}_{j=1}$の考察を行おう。 そもそも高々可算な無限とは? カントール軍曹の...
このエントリーをはてなブックマークに追加