「自由クラス理論」非標準集合論

論の世界で実行しようとすると、うまく行かない気配がすることが分かって来たのだ。 　 　基礎論の対象の一つである「集合」について数学者は最初全く気楽に、「集合」とい う自然な概念と、「ｘはｙの要素である」をそのまま記号に書き写した論理式「ｘ∈ｙ」で記述された「素朴集合論＝ＮＳ」が矛

• 6人が参加中

大学受験☆数学

区間があきらかな場合は省略しても構わない。 【よく使う数学記号】 　?集合論 　“しゅうごう”と入力して変換すると次の記号が使えます。 　　例. x∈P（元である）, A∩B（共通 部分）, ∪（和集合） 　　 ⊂（真に包含する）, ⊆（等しいか、真に包含） 　?命題・論理 　“やじるし”と入力して変換すると次の記号

• 46人が参加中

半蔵門かきもの倶楽部のトピック

第９回　たかーき作　「無名関数」

て歩く蟻に尋ねた。 「左辺、『僕が生きる事』をエックスと置いた方程式において、右辺は何になるの？ あまりにも複雑すぎて、数学記号 い匂い。緑色の音。 繊細な蛙。生暖かい心象風景。羊水のような空だろうか。 僕は前を向いた。 僕を迎えてくれたのは、 目がジュリア集合

• 2015年10月06日 00:49
• 163人が参加中
• 13

意味不明小説(ショートショート)のトピック

無名関数

て歩く蟻に尋ねた。 「左辺、『僕が生きる事』をエックスと置いた方程式において、右辺は何になるの？ あまりにも複雑すぎて、数学記号 い匂い。緑色の音。 繊細な蛙。生暖かい心象風景。羊水のような空だろうか。 僕は前を向いた。 僕を迎えてくれたのは、 目がジュリア集合

• 2015年09月28日 23:37
• 1580人が参加中
• 1

「自由クラス理論」非標準集合論のトピック

小林さんとの議論　４

ての集まりに対して唯一のクラスを作るようになっている。 　A.elについては、有限集合Uとその部分集合がＭ５の集まりなので、ＺＦの「集合の同一性」の公理を満たし、それはA.elその が無矛盾であることなど容易く出来そうな気がします。＞精細は分かりませんが 　 　今回の議論は、数学としての精密さに欠けますが、スーガク者としては、まあ

• 2015年07月08日 13:30
• 6人が参加中

「自由クラス理論」非標準集合論のトピック

小林さんとの議論　３

まんまの名前の「基礎論」と呼ばれる分野なので す。これには、集合論、記号論理学などが含まれます。 　 　ところで、思考 盾の体系があるのだと誰もが思うのでありましょう。 　しかし、ゲーデルは少なくともその上に数学理論を表現できるような体系……集合 論もその一つ……ならば、それ

• 2015年07月08日 12:31
• 6人が参加中

「自由クラス理論」非標準集合論のトピック

小林さんとの議論　１

公理系であることは確かです。 　 　現代の数学者達は、ＺＦの公理系が提案されて以降、クラス・集合に対して疑問は持っていないようですから、何か疑問をお持ちの小林さんは数学 解説始めようと思うのですが、おつき合い願えますか？ 　と言いつつすすめてしまっていますが、最初に記号論理学の記号たちの意味、お分かりになりますか？ 　もし

• 2015年05月09日 10:48
• 6人が参加中

工事担任者・電気通信主任技術者のトピック

ブール代数とか集合とかって？

どうもブール代数とか真理値表というと尻込みしてしまうヒトが多いみたいですね。 もちろん、記号論理学とか、数学 ブール代数とか集合とかって？

• 2014年11月21日 14:14
• 1608人が参加中
• 14

ロック･バー　ＳＫＹ　ＤＯＧ　のトピック

君という花 6.01.2012

論を展開。酔ったモーリは、大変でしたね。わはは！ 便宜上、私達は数字という記号を利用し、10進法にて使用する事が圧倒的に多いですが、 身近な「円 見いだせません。そういう部分が算数・数学の 面白さ、ダイナミズムだと思います(笑) 我々が受けた教育、育った日本の世相というのは「人間

• 2012年06月02日 18:46
• 117人が参加中
• 1

プロ野球チップスのトピック

封を空けなくても、カードが分かる！！

カードが入っているかをズバリ言い当てることです。どんなカードが入っているかが、研究によりある程度わかるようになりました。この場を借りて紹介致します。 まず、高校数学Ａの「場合 の数と確率」の単元において、考える集合の要素どうしが互いに区別できるものなのか区別できないものかをしっかり捉える必要のある場合があります。例えば、人間

• 2012年03月31日 16:44
• 3891人が参加中
• 31

[大阪]名阪カラオケ[名古屋]のイベント

募集終了１２/１１(日)【ﾌｧｲﾅﾙ】『ヘキサゴンカラオケ＆クリスマスパーティー』(≧∇≦)／今年最後の名阪オフ☆更新１２/１０

を出たらすぐ目の前に【JOYSOUND】の看板が着いたビルが見えるので迷わずたどり着けます！！ [集合場所] ジョイサウンド金山２Ｆパーティールームに集合＆受付 17:00までです☆彡 [タイムスケジュール]　更新１２/１０ 9:20〜参加者受付開始 〜10:00…集合

• 2011年12月17日 22:50
• 39人が参加中
• 194

突発ｵﾌ☆in名古屋のイベント

募集終了【突発！明日１２/１１(日)】『ヘキサゴン＆クリスマスパーティー』(≧∇≦)／

を出たらすぐ目の前に【JOYSOUND】の看板が着いたビルが見えるので迷わずたどり着けます！！ [集合場所] ジョイサウンド金山２Ｆパーティールームに集合＆受付 17:00までです☆彡 [タイムスケジュール]　更新１２/１０ 9:20〜参加者受付開始 〜10:00…集合

• 2011年12月10日 18:35
• 1人が参加中

♂いい男、いい女♀のイベント

募集終了【愛知県】１２/１１(日)【ﾌｧｲﾅﾙ】『ヘキサゴンカラオケ＆クリスマスパーティー』(≧∇≦)／今年最後のオフ☆

━(ﾟ∀ﾟ)━! ↓【当日についての詳細情報】 [日時] １２月１１日(日) [会場] 金山ジョイサウンド２Ｆパーティールーム　 [集合 場所] ジョイサウンド金山２Ｆパーティールームに集合＆受付！ [費用] 2,000円 ※オフ会プラン1500円（ソフ

• 2011年12月09日 08:40
• 1人が参加中
• 10

愛知県な人のイベント

募集終了１２/１１(日)【愛知県】『早押しクイズイベント〜ヘキサゴン☆』

を出たらすぐ目の前に【JOYSOUND】の看板が着いたビルが見えるので迷わずたどり着けます！！ [集合場所] ジョイサウンド金山２Ｆパーティールームに集合＆受付 〜参加者受付開始 〜10:00…集合完了 10:15〜準備が出来次第説明 10:30〜実力予選ペーパーテスト５０問 ▼この

• 2011年12月09日 08:39
• 1人が参加中
• 10

I☆LOVE☆名古屋☆のイベント

募集終了１２/１１(日)【ﾌｧｲﾅﾙ】『ヘキサゴンカラオケ＆クリスマスパーティー』(≧∇≦)／

を出たらすぐ目の前に【JOYSOUND】の看板が着いたビルが見えるので迷わずたどり着けます！！ [集合場所] ジョイサウンド金山２Ｆパーティールームに集合＆受付 〜参加者受付開始 〜10:00…集合完了 10:15〜準備が出来次第説明 10:30〜実力予選ペーパーテスト５０問 ▼この

• 2011年12月09日 08:39
• 1人が参加中
• 10

人生をめちゃくちゃ楽しむコツのイベント

募集終了１２/１１(日)【愛知県】『早押しクイズイベント〜ヘキサゴン☆』

を出たらすぐ目の前に【JOYSOUND】の看板が着いたビルが見えるので迷わずたどり着けます！！ [集合場所] ジョイサウンド金山２Ｆパーティールームに集合＆受付 〜参加者受付開始 〜10:00…集合完了 10:15〜準備が出来次第説明 10:30〜実力予選ペーパーテスト５０問 ▼この

• 2011年12月09日 08:38
• 1人が参加中
• 10

愛知県名古屋市のイベント

募集終了１２/１１(日)【愛知県】『早押しクイズイベント〜ヘキサゴン☆』

を出たらすぐ目の前に【JOYSOUND】の看板が着いたビルが見えるので迷わずたどり着けます！！ [集合場所] ジョイサウンド金山２Ｆパーティールームに集合＆受付 〜参加者受付開始 〜10:00…集合完了 10:15〜準備が出来次第説明 10:30〜実力予選ペーパーテスト５０問 ▼この

• 2011年12月08日 07:21
• 1人が参加中
• 9

柄谷行人のトピック

トランスクリティーク索引etc

と物自体,74-85(71-,44-) 第２章　綜合的判断の問題,87-122(83-,55-) １数学の基礎,88-101(83-,55 @,105@,106@,112@,469@, 　『数学の基礎』,102@,104@,105@,106@, 　『哲学探究』,106@,111

• 2011年07月27日 09:01
• 1609人が参加中
• 9

国家民営化。未来、ＳＦ、反重力のトピック

不定期連載：架空ＳＦ戦記

だ。この場合、精神がなければ身体はただの記号になってしまう。そうだろうか？否。記号間に差異がある体系を意味と言う。チェ スは差異の体系が意味であって、駒の記号自体は意味ではない。その上位のルールが記号を差異の体系＝意味に押し上げている。そこで、精神

• 2011年07月06日 23:57
• 18人が参加中
• 2

stdio,hの諸行無常!!!

的構成主義--数学基礎論--集合論--数理論理学--モデル理論--圏と関手の理論--数学的証明--数学記号の表--逆数学 数学の歴史と世界 数学 Worldという。 変拍子のスペシャルリスト。 代数学 幾何学 解析学 集合論 計算機科学 確率論 統計学 量

• 14人が参加中

Dynamic Drawのトピック

質問事項

し困ったことがありまして、何かアドバイスを頂ければと思い、 トピックを立てました。 現在、フローチャートを作成しております。 その中で、 ・数学の専門記号 ・フォント変換 についてどうすればよいのか困っています。 専門記号の例は、「a」の上に「＾」をつけるですとか、 和集合「Σ」の上

• 2010年03月24日 19:37
• 21人が参加中
• 2

認識論(epistemology)のトピック

判断

し思想史の上で、論理学には大きな伝統があり、それに応じて判断の扱われ方も歴史上二つに大別される。 【形式論理学と判断】 論理学の第一の流れは、現代の記号 理性批判』の項目立てに使われるほど長い間一般的であったが、やがて近代に至ると、論理的推論を記号計算に帰着させようとするさまざまな試みが現れる。この

• 2010年03月13日 19:13
• 42人が参加中

たのしい特別支援教育研究室のトピック

【美術・図工〜数学・国語・英語・・・への広がり】「Ｂ玉ＣＤコマ」を作ろう

コロの目。 ○形に色を塗る。□、△、五角形、☆など。 ○平仮名・カタカナ・漢字などに色を塗る。 ○アルファベットに色を塗る。 ○記号、マー

• 2010年02月25日 19:24
• 1301人が参加中

数

数（すう）が好きな人集合。 数（かず、すう、number）とは、数量を表すために用いられる抽象的な概念である。コン は物の数量などを表現しているのに対して、数字とは数を表すための記号（文字）である。 例えば、リンゴが1個あるのとみかんが1個あるのはまったく異なる事実であるが、そこ

• 3人が参加中

ZKセミナー・サロンのトピック

数論・神々による審判090822

うのは，たぶん，抽象的な現代集合論で使われるようなテクニックを指すのでしょう． で，もっと弱い体系でのFLTの証 ようなことを調べるなら，FLTの形の不定方程式に拘らないほうがいいかもしれない，とのことです． 実際，IΣ_1より弱い体系と（適当なベースセオリーにおいて）同値になる数学

• 2009年08月24日 01:00
• 2人が参加中

[dir] 数学＠学問、研究部門

■こちらはmixiディアカテゴリです。 このディレクトリーは、数学に関係するコミュニティーを集めるとともに、 数学

• 67人が参加中

【ＱＭＡ】雑学エフェクト好きのトピック

理系マルチ　多答

ジウム （他に白金。共にこの２つのみで作られている） （29％） Ｑ．次のうち国際数学 管、集合管） （22％） Ｑ．次のうち血液型の分類方式として実際にあるものを全て選びなさい Ａ．Ｑ式、Ｐ式、Ｒｈ式

• 2009年05月12日 21:40
• 138人が参加中

運命時計のトピック

え→Ｅ・ℇ→イィ→飯→℮（ＥＮＥＲＧＹ）→謂い

）、異なるもの同士で引力（接近結合力）が働く。 　　↑ 　（　）はボクが記入したモノ。 　電子の持つ電荷量の絶対値を電気素量といい、それを記号 滅が起こる。） 　　↑ 　「無の消滅」ではなく「有の粒子⇔対粒子の変化」である。「無からの生成」ではなく「有からの変化形成」である、なッ。 　数学

• 2009年04月06日 18:10
• 14人が参加中

memo　メモ　めものトピック

メモ　020109

と組み合わせ的なるもの 「記号は何かの記号ではなく、シニフィエの働きをその何かとして引き受ける効果の記号なのだ。煙草の煙は、煙草を吸う人の記号なのである」とラ におけるこの断片化された転移は、爆発した、あるいは乖離した構造の、つかの間の再集合の生産にほかならない。 p.172 ☆ こうした参照点は、格子

• 2009年01月02日 19:56
• 8人が参加中

徳島大学制御工学研究室のトピック

カルマンの和訳

に複雑で機械計算結果とほとんど適合しない。 (3)重要な一般化(例えば、増大情報フィルタや非定常予測)には、しばしば専門家以外にとってかなり難しく新しい導出を必要とする。 (4)それらの導出のための数学 はわかりにくい。基本的な仮定とそれらの結果は不明瞭になる傾向がある。 　この論文では避けていた今述べた難問を含む全ての問題の集合

• 2008年10月20日 20:25
• 25人が参加中
• 5

〔GIF〕無限大蛇　∞

に関する様々な数学的概念 無限大 ：∞ （アーベルなどはこれを 1 / 0のように表記していた） いかなる数よりも（その絶対値が）大きな数と取られることもある記号 て深い考察が得られている。 本項では、数学などの学問分野において、無限がどのように捉えられ、どのように扱われるのかを記述する。　　　　　　　　　　　 　 無限

• 15人が参加中

数学に強くなりたいorz

世界の問題を抽象化して解きたい。 ・なんとなく数学の世界を知りたい。 ・数学記号を使いこなしたい。 ■トピックのたてかた ・基本自由。（ただ 数学に強くなりたいorz

• 62人が参加中

【ＱＭＡ】雑学エフェクト好きのトピック

学並び Part.1　（6/22：100問）

が塩基性側に傾いている状態をアルカローシス） ―――――――――――――――以上【3/4更新分】―――――――――――――――― （19％） Ｑ．アルファベットを使った元素記号 素数の和で表せる」といえば数学者であう誰の予想？ Ａ：ゴルドバッハ （10％） Ｑ：アレクサンダー大王の妹の名前が付けられた、北部

• 2008年03月14日 13:11
• 138人が参加中
• 1

ヴィクトール・ユゴーVictorHugoのトピック

ミシェル・ラミ「ジュール・ヴェルヌの暗号」（工作社）

がいかなる言語で書かれているかを知るところまででも辿りつけた者は幸いである。それほどまでにこの本は、寓話、歴史、建築、古代文化、数学、その他無数の事柄のごた混ぜであり、さらに、ギリシャ語、ラテン語、ヘブライ語、アラ デミア・アルカディアの創設者メディチ家が集合の合図として叫んでいたのは「パッレ！パッレ！」（Palle! Palle!）である。（p.315,註p

• 2008年03月05日 20:38
• 389人が参加中
• 4

英語教育のトピック

数学特有の表現なのでしょうか？

過程で一つ気になったことなのですが、 例えば、「空集合をφと書く」というような文を数学では、 (A) The emptyset is denoted by φ. のよ 数学特有の表現なのでしょうか？

• 2008年01月25日 09:22
• 7848人が参加中
• 23

解析接続

力学では複素数が大手を振って歩いてきたと思う人。 解析接続！とおまじないを唱えたくなる人集合 管理人はまだ初学者で、しかも生物系ですが 応用数学が好きなので作ってみました。 キー 演算子、ブラケット記号、パーセバルの等式、ヒルベルト空間、ノルム、測度、シュレディンガー方程式、スツルムリュービル型固有値問題、グリーン関数、完全

• 60人が参加中

マイ☆ブックマークのトピック

mit☆ブックマーク

/view_community.pl?id=1065175 数理論理学（記号論理学） http://mixi.jp/view_community.pl?id 踊り http://mixi.jp/view_community.pl?id=1084198 日本数学会 http://mixi.jp

• 2006年12月30日 08:44
• 59人が参加中

かけはし学会のトピック

羽入とポスト・モダン

はどういう年だったのかを確認しておこう。昭和五八年とは一般的にジャン・ボードリヤールの言説に代表されるような、記号の戯れ的「消費社会」としてイメージされる(4)。例えば、北田 暁大が八〇年代を「無反省」と規定し、「内面なき自意識――内面形式の契機となる思想との折衝を断念し、｢私｣を記号的に粉飾することに拘泥する――に彩

• 2006年08月16日 17:32
• 7人が参加中

心に広がる算数・数学の世界をのトピック

集合の記号

「数学」コミュにも書いたのですが、 集合の記号 A＝{1，2，3，4，5}という書き方は世界共通なんだろうか? A 集合の記号

• 2005年06月04日 06:56
• 1181人が参加中
• 23

数学のトピック

集合の記号

高1の数学の中間試験に集合の問題を出しました。 その採点基準で集合の記号 A=｛1，2，3，4，5} とい 集合の記号

• 2005年05月24日 17:05
• 14194人が参加中
• 7