日本語
Sign in
AI tools
チャット
トップQs
タイムライン
Loading AI tools
すべて
記事
辞書
引用
地図
Hodges University
ウィキペディアから
Found in articles
アラン・チューリング
Hodges
, Andrew (27 August 2007). "Alan Turing". In Edward N. Zalta (ed.). Stanford Encyclopedia of Philosophy (Winter 2009 ed.). Stanford
University
.
ジョニー・ホッジス
ジョニー・ホッジス(Johnny
Hodges
、1907年7月25日 - 1970年5月11日)は、アメリカ合衆国のアルト・サクソフォーン奏者。 デューク・エリントン・ビッグバンドでのソロ演奏で知られる。永らくサックス・セクションで1番アルトを吹いたが、1932年から1946年まではOtto
ホッジス隕石
ホッジス隕石(ホッジスいんせき、
Hodges
Meteorite)は、1954年11月30日にアメリカ合衆国アラバマ州に落下した隕石で、人間に当たって負傷させた確実な記録が残る最初の隕石である。シラコーガ(Sylacauga)隕石のうちの、大きさが18cm×13cm、質量 約3.9kgの破片である。
レーヴェンハイム–スコーレムの定理
-
Hodges
(1993) 「スコーレムは … その結論を意味がないとして拒絶した。タルスキは … スコーレムの形式主義的観点に立つなら、上方の定理を無意味だとするなら下方レーヴェンハイム-スコーレム定理も無意味とすべきではないか、と非常に適切に応えた」 -
Hodges
(1993)
モデル理論
ISBN 84-206-8126-1
Hodges
, Wilfrid (1993). Model theory. Cambridge
University
Press. ISBN 0-521-30442-3 Manzano, Maria (1999). Model theory. Oxford
University
Press