Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
ようにすると、その説明自体は論理的には何一つ曇り無く正確であることに注意。連続体仮説、選択公理などを参照のこと。 ^ a b 「論理学史」p195 山下正男 岩波書店 1983年9月14日第1刷発行 ^ 毎日新聞社編『話のネタ』PHP文庫 p.55 1998年 ^ 「近代科学の源をたどる
数理論理学(すうりろんりがく、英 : mathematical logic)または現代論理学、記号論理学、数学基礎論、超数学は、数学の分野の一つであり、「数学の理論を展開する際にその骨格となる論理の構造を研究する分野」を指す。数理論理学(数学基礎論)と密接に関連している分野としては計算機科学や理論計算機科学などがある。
理論物理学(りろんぶつりがく、英語: theoretical physics)は、物理学において、理論的な模型や理論的仮定(主に数学的な仮定)を基に理論を構築し、既知の実験事実(観測や観察の結果)や、自然現象などを説明し、かつ未知の現象に対しても予想する物理理論を扱う分野のこと。実験物理学と対比して使われる言葉。
インド学(インドがく)とは、インド亜大陸(具体的には現在のインド、パキスタン、バングラデシュ、スリランカ、モルディブ、ネパール、およびアフガニスタン東部)の歴史、文化、言語、文学の学術的研究を言い、東洋学の一分野をなす。 インド学(ドイツ語: Indologie)という言葉はしばしばドイツの学問とみなされ、ドイツおよび大陸
文学理論(ぶんがくりろん、英語: literary theory)とは、「文学とは何か」を構築するための理論である。文芸批評とは異なり、個別の作品の読み方ではなく、そもそも文学とは何か、あるいは何を目指すものか、どのように構成されているか、という根本的な問いを探求するものであり、作品の批評とは通常区別される。
チャールズ・サンダース・パース フリードリッヒ・シュレーダー ゴットロープ・フレーゲ ジュゼッペ・ペアノ ルイス・キャロル(チャールズ・ラトウィッジ・ドジソン) エルンスト・ツェルメロ バートランド・ラッセル ヤン・ウカシェヴィチ レオポールト・レーヴェンハイム スタニスワフ・レシニェフスキ トアルフ・スコーレム
理論化学(りろんかがく、英語:theoretical chemistry)とは、理論的モデルや数式を元に、既知の実験事実を説明したり、未知の物質の性質などを予言したりする演繹的なアプローチを行う化学の方法論である。この方法論に基づいて研究を行なう研究者は理論化学者と呼ばれる。
命題「勝てば官軍」の裏は「勝たなければ官軍でない」である。このとき、「勝つ」か「負ける」かのどちらかだけであり「引き分け」が無い場合、そして「官軍でない者は賊軍である」である場合に、命題「勝てば官軍」とその裏「勝たなければ官軍でない」と命題「負ければ賊軍」との真偽が一致する。