Boolosは、反復的集合観自体も、決して自明の真理とは考えませんが、「『自然』でありかつ整合的な集合観は、反復的集合観以外知られていない」 ... 結局 Boolos は、以下のような体系こそ、許容できるのではないかということをほのめかしています。 ...
http://d.hatena.ne.jp/ytb/20080124/p1
| 期間限定大特価タイムセール開催中!!
今だけ限定の大特価商品続々!!タイムセール開催中!!
|
Boolos-Yahoo!ウェブ検索
"Must we believe in set theory ...
[ George Boolos ] Computability and ...
旅行、グルメ、ファッション、トレンド情報を紹介する、都市生活者のためのwebマガジン。プレゼント、壁紙も充実。 ... George Boolos 、 Richard C. Jeffrey 、 John P. Burgess ...
http://www.excite.co.jp/ism/product/ASIN_0521007585/
http://www.excite.co.jp/ism/product/ASIN_0521007585/
Computability and Logic エキサイト ブックス
Cambridge University Pressの『Computability and Logic』の紹介ページ。新品価格(¥ 3, ... George Boolos 、 Richard C. Jeffrey 、 John P. Burgess ...
http://www.excite.co.jp/book/product/ASIN_0521007585/
http://www.excite.co.jp/book/product/ASIN_0521007585/
Computability and Logic をダウンロード
電子書籍,洋書販売,電子書店パピレスダウンロード,壁紙,写真集,小説,漫画,動画,Computability and Logic,[著]George S. Boolos:John P. Burgess:Richard C. Jeffrey,[発行] ...
http://www.papy.co.jp/sc/eng/y_book/4-17604/
http://www.papy.co.jp/sc/eng/y_book/4-17604/
フレーゲ哲学の最新像: 紀伊國屋書店BookWeb
... 〈Ｄｕｍｍｅｔｔ,Ｍｉｃｈａｅｌ〉 パーソンズ,チャールズ〈Ｐａｒｓｏｎｓ,Ｃｈａｒｌｅｓ〉 ブーロス,ジョージ〈Ｂｏｏｌｏｓ,Ｇｅｏｒｇｅ〉 ライト,クリスピン〈Ｗｒｉｇｈｔ,Ｃｒｉｓｐｉｎ〉 ルフィーノ,マルコ〈Ｒｕｆｆｉｎｏ, ...
http://bookweb.kinokuniya.co.jp/htm/4326199512.html
http://bookweb.kinokuniya.co.jp/htm/4326199512.html
Amazonでの検索結果
Logic, Logic, and Logic
  | Logic, Logic, and Logic 価格: ￥ 3,461 / 発売日: 1999-10 売上ランキング: 21815 / 通常8～11日以内に発送 |
Computability and Logic
  | Computability and Logic 価格: ￥ 12,510 / 発売日: 1989-10 売上ランキング: 38769 / |
Computability and Logic
  | Computability and Logic 価格: ￥ 2,934 / 発売日: 2007-09-30 売上ランキング: 57654 / 通常24時間以内に発送 |
フレーゲ哲学の最新像―ダメット、パーソンズ、ブーロス、ライト、ルフィーノ、ヘイル、アクゼル、スントホル (双書現代哲学)
  | フレーゲ哲学の最新像―ダメット、パーソンズ、ブーロス、ライト、ルフィーノ、ヘイル、アクゼル、スントホル (双書現代哲学) 価格: ￥ 3,990 / 発売日: 2007-02-20 売上ランキング: 505914 / 通常24時間以内に発送 |
Boolos-Googleブログ検索
memo: on hume’s principle
この基準が‘hume’s principle’と呼ばれるものであり、式で書くなら以下の通りである。この原理の名付け親、g. boolosさんから引いてみる((g. boolos “the consistency of frege's foundations of arithmetic”, in hi ...more
computability and logic, 5th ed.
george s. boolos, john p. burgess, richard c. jeffrey, computability and logic, 5th ed., cambridge, 2007. 初版. george s. boolos, richard c. jeffrey, computability and logic, cambridge, 1974. 邦訳準備中とか以前聞いた覚えがありますが、 ...more
カット除去定理www.tool-tool.com
george boolos の論文 "don't eliminate cut!" では、カット規則を使えば1ページで表せる証明（導出）があったとき、その解析的証明が完了するまでに宇宙の寿命より長くなる例が示されている。 この定理から様々なものが派生する。 ...more
リンク追加
george boolosさんを追加してみました。 あと、リンクのtopにfregeを掲げてみました。 どちらも前からあるページで特にめずらしいものではありません。 この後はまた少しquineを訳すかな。 それとイギリス経験論に関する解説文をちょっと読むかも。 ...more
昨日の日記
“george boolos: list of publications” “richard cartwright: list of publications”, 1, july, 2001 “vann mcgee: list of publications”, 13, march, 2007 “robert stalnaker: list of publications”, 1, july, 2001 いずれもbibliography。 ...more
Boolos-２ちゃんねる検索
posts - -
http:///test/read.cgi//
http:///test/read.cgi//
