)
宇宙 (数学) - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "宇宙" 数学 – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2022年11月） 数理論理学において、構造 (もしくはモデル) の宇宙（うちゅう、英: Universe）とは議論領域のことである。 数学、とりわけ集合論や数学基礎論における宇宙とは、特定の状況において考察される実体のすべてを元として含むような類のことである。このアイデアにはいくつものバージョンがあるため、項目を分けて説明する。 ある特定の文脈において[編集] おそらく最も単純なバージョンは、研究対象が特定の集合で閉じている限り、任意の集合が宇宙であるというものである。 もし研
ルーディ・ラッカー - Wikipedia
ルーディ・ラッカー（Rudy Rucker, 1946年3月22日 - ）は、アメリカ合衆国の小説家、SF作家、数学者、情報科学者。本名ルドルフ・フォン・ビター・ラッカー（Rudolf von Bitter Rucker）。ルディー・ラッカーとも。 サイバーパンクSF、ユーモアSF、ハードSF、数学SFを得意とする特異な作家。最新の数学理論、物理理論を作品の核とするが、それをポップに具現化する作風が特徴。また、作品と似たようなテーマを題材とした、科学解説書も多数執筆している。 哲学者のヘーゲルの5世孫にあたる。 略歴[編集] ケンタッキー州ルイヴィルに生まれる。1967年にペンシルベニア州スワースモア大学で数学の学士号を取得。ニュージャージー州ラトガース大学で1969年に数学の修士号、1973年に博士号を取得。1972年から1978年までニューヨーク州立大学ジェネセオ校で助教授を務める。ア
ラッセルのパラドックス - Wikipedia
ラッセルのパラドックス（英: Russell's paradox）とは、素朴集合論において、自身を要素として持たない集合全体からなる集合の存在を認めると矛盾が導かれるというパラドックス。バートランド・ラッセルからゴットロープ・フレーゲへの1902年6月16日付けの書簡においてフレーゲの『算術の基本法則』における矛盾を指摘する記述に現れ[1]、1903年出版のフレーゲの『算術の基本法則』第II巻（独: Grundgesetze der Arithmetik II）の後書きに収録された[2]。なお、ラッセルに先立ってツェルメロも同じパラドックスを発見しており、ヒルベルトやフッサールなどゲッティンゲン大学の同僚に伝えた記録が残っている[3][4]。 ラッセルの型理論（階型理論）の目的のひとつは、このパラドックスを解消することにあった[5]。 概要[編集] 「それ自身を要素として含まない集合」を「
公理的集合論 - Wikipedia
公理的集合論（こうりてきしゅうごうろん、axiomatic set theory）とは、公理化された集合論のことである。 集合の公理系[編集] ツェルメロ＝フレンケル集合論（ZF公理系）[編集] 現在一般的に使われている集合の公理系はZF (ツェルメロ=フレンケル) 公理系、またはZF公理系に下で述べる選択公理（Axiom of Choice）を加えた ZFC公理系（Zermelo-Fraenkel set-theory with the axiom of Choice）である。ZC, ZでそれぞれZFCおよびZFから置換公理を除いたもの、Z-, ZF-, ZC-, ZFC- で各体系から正則性公理を除いたものを表す。キューネンは『The Foundations of Mathematics』で「初等数学のほとんどはZC-での中でなされる」と述べている[1]。 基本的なZFの公理[編集]
Wikipedia:井戸端/subj/「関数」か「函数」か - Wikipedia
現在ご覧になっているのはWikipedia:井戸端のサブページです。 この話題の最新の投稿から10日間経過するか、最初の投稿から30日が経過すると、井戸端への読み込みが解除されます。 井戸端への読み込みが解除されても、Category:井戸端の話題から参照できます。 利用者:Viewturn（会話 / 投稿記録 / 記録）氏が「関数」が入った記事をことごとく「函数」へ移動していますが、なんなんでしょうか？私は今まで「関数」で習って来たのですが・・・、最近、数学界に何か起こったのでしょうか？--Alljal 2007年7月20日 (金) 14:20 (UTC)返信[返信] 「関数」に戻していたら今度は、利用者:Eggswrong（会話 / 投稿記録 / 記録）氏に差し戻されました。要約欄によると私は荒らしになってますが・・・。意味不明。--Alljal 2007年7月20日 (金) 14:2
冪乗 - Wikipedia
数学における冪乗（べきじょう、べき乗、英: 仏: 独: exponentiation）または冪演算（べきえんざん）は、底 (てい、英: base) および冪指数 (べきしすう、英: exponent) と呼ばれる二つの数に対して定まる数学的算法である。その結果は冪 (べき、英: power) と呼ばれる。表現の揺れにより同じ概念は日本語で「累乗」とも表現されており、初等教育ではこちらの表現のほうが多くなっている（本文参照）。 概要[編集] 底（英語版） b および冪指数 e をもつ冪は、底の右肩に冪指数を乗せて be のように書かれる。 であり、bn は b の n-乗や、n-次の b-冪などと呼ばれる。 特定の冪指数に対して、固有の名前が付けられている。例えば、冪指数が 2 である冪（2 乗） b2 は「b の平方 (square of b)」または「b-自乗 (b-squared)」と
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
