试运营期间,KeiBay的代拍手续费0
6.51950
> 书·杂志·喜剧 > hobby·体育·美术 > 围棋·象棋·猜谜 > 猜谜·谜
日本代购-スマリヤンのゲーデル・パズル 論理パズルから不完全性定理へ [ レイモンド・M・スマリヤン ]
  • book:17139604
  • 日本国内邮费免费 价格包含消费税 普通店铺
  • 0
  • 0
  • 2640 円 合人民币: 172.11
日本代购-論理パズルから不完全性定理へ レイモンド・M・スマリヤン 川辺治之 日本評論社スマリヤンノゲーデルパズル レイモンドエムスマリヤン カワベハルユキ 発行年月:2014年11月24日 ページ数:344p サイズ:単行本 ISBN:9784535787544 スマリヤン,レイモンド・M.(Smullyan,Raymond M.)(スマリヤン,レイモンドM.) 1919年、ニューヨーク生まれ。1959年、プリンストン大学にてPh.D.を取得。数学者、専門は数理論理学 川辺治之(カワベハルユキ) 1985年、東京大学理学部数学科卒業。現在、日本ユニシス株式会社総合技術研究所上席研究員(本データはこの書籍が刊行された当時に掲載されていたものです) 第1部 パズル、パラドックス、無限(とりとめのない自己紹介/騎士と悪漢の島/不思議なムジカ島/メタパズル4題/認められた騎士と悪漢 ほか)/第2部 証明可能性、真理、決定不能性(真理と証明可能性/構文論的不完全性定理/段階的証明可能性/形式体系と再帰的関数論/不完全性と決定不能性 ほか) 出発点はウィットに富む論理パズル、到達点はゲーデルの不完全性定理の完全な証明。スマリヤンだから書きえた、意欲的な書。 本 ホビー・スポーツ・美術 囲碁・将棋・クイズ クイズ・パズル 科学・技術 数学
Copyright © 2008 日拍网 All rights reserved. Webサービス by Yahoo! JAPAN
Process: 0.175s ( Load:0.008s Init:0.009s Exec:0.154s Template:0.004s ) | DB :23 queries 0 writes | Cache :5 gets 2 writes | UseMem:26,614 kb
页面Trace信息
当前页面 : /index.php/Rakuten/ShopView/id/book:17139604.html
请求方法 : GET
通信协议 : HTTP/1.1
请求时间 : 2024-07-09 05:57:56
用户代理 : Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)
会话ID : 1ff86aa858f73cc2bf5df046f11dd744
运行数据 : Process: 0.175s ( Load:0.008s Init:0.009s Exec:0.154s Template:0.004s ) | DB :23 queries 0 writes | Cache :5 gets 2 writes | UseMem:26,614 kb
输出编码 :
加载类库 : 33
模板编译 : 重新编译
SQL记录 : 23条SQL
[ 24-07-09 05:57:56 ] RunTime:0.000464s SQL = SHOW COLUMNS FROM bio_yahooid
[ 24-07-09 05:57:56 ] RunTime:0.000739s SQL = SHOW COLUMNS FROM bio_agent
[ 24-07-09 05:57:56 ] RunTime:0.000274s SQL = SELECT * FROM bio_agent WHERE ( `isViews` = 1 ) AND ( `domain` LIKE '%test.ripai.com' )
[ 24-07-09 05:57:56 ] RunTime:0.000192s SQL = SELECT * FROM bio_agent WHERE ( `domain` = 'www.jp-daigou.com' )
[ 24-07-09 05:57:56 ] RunTime:0.000271s SQL = select * from bio_siteparams where FIND_IN_SET('081',AgentID)
[ 24-07-09 05:57:56 ] RunTime:0.000304s SQL = SHOW COLUMNS FROM bio_point
[ 24-07-09 05:57:56 ] RunTime:0.000865s SQL = SHOW COLUMNS FROM bio_user
[ 24-07-09 05:57:56 ] RunTime:0.000540s SQL = SELECT * FROM bio_goods WHERE `isView` = 1 and gType<=3 ORDER BY created DESC LIMIT 15
[ 24-07-09 05:57:56 ] RunTime:0.000369s SQL = SHOW COLUMNS FROM bio_syscolumn
[ 24-07-09 05:57:56 ] RunTime:0.000262s SQL = SELECT * FROM bio_syscolumn WHERE ( `column_leftid` = 17 ) AND ( `column_open` = 1 ) ORDER BY column_order asc
[ 24-07-09 05:57:56 ] RunTime:0.000307s SQL = SELECT * FROM bio_syscolumn WHERE ( `column_leftid` = '19' ) AND ( `column_open` = 1 ) ORDER BY column_order asc
[ 24-07-09 05:57:56 ] RunTime:0.000230s SQL = SELECT * FROM bio_syscolumn WHERE ( `column_leftid` = '89' ) AND ( `column_open` = 1 ) ORDER BY column_order asc
[ 24-07-09 05:57:56 ] RunTime:0.000299s SQL = SELECT * FROM bio_syscolumn WHERE ( `column_leftid` = '20' ) AND ( `column_open` = 1 ) ORDER BY column_order asc
[ 24-07-09 05:57:56 ] RunTime:0.000276s SQL = SELECT * FROM bio_syscolumn WHERE ( `column_leftid` = '18' ) AND ( `column_open` = 1 ) ORDER BY column_order asc
[ 24-07-09 05:57:56 ] RunTime:0.000630s SQL = SHOW COLUMNS FROM bio_rakutencategory
[ 24-07-09 05:57:56 ] RunTime:0.000315s SQL = SELECT * FROM bio_rakutencategory WHERE id=208842
[ 24-07-09 05:57:56 ] RunTime:0.000208s SQL = SELECT p.id,p.name_cn FROM bio_rakutencategory p LEFT JOIN bio_rakutencategory c on c.parentid=p.id WHERE c.id=208842
[ 24-07-09 05:57:56 ] RunTime:0.000145s SQL = SELECT p.id,p.name_cn FROM bio_rakutencategory p LEFT JOIN bio_rakutencategory c on c.parentid=p.id WHERE c.id=208836
[ 24-07-09 05:57:56 ] RunTime:0.000165s SQL = SELECT p.id,p.name_cn FROM bio_rakutencategory p LEFT JOIN bio_rakutencategory c on c.parentid=p.id WHERE c.id=101248
[ 24-07-09 05:57:56 ] RunTime:0.000121s SQL = SELECT p.id,p.name_cn FROM bio_rakutencategory p LEFT JOIN bio_rakutencategory c on c.parentid=p.id WHERE c.id=200162
[ 24-07-09 05:57:56 ] RunTime:0.000129s SQL = SELECT * FROM bio_rakutencategory WHERE parentid=208842
[ 24-07-09 05:57:56 ] RunTime:0.000305s SQL = SHOW COLUMNS FROM bio_rate
[ 24-07-09 05:57:56 ] RunTime:0.000163s SQL = SELECT * FROM bio_rate WHERE ( `type` = 'RMB->JPY' ) ORDER BY date desc LIMIT 1
错误记录 : 96条错误
[ 24-07-09 05:57:56 ] 注意:[8] A session had already been started - ignoring session_start() App.class.php 第 115 行.
[ 24-07-09 05:57:56 ] 注意:[8192] Assigning the return value of new by reference is deprecated apiExecuter.php 第 253 行.
[ 24-07-09 05:57:56 ] 注意:[8192] Assigning the return value of new by reference is deprecated apiExecuter.php 第 284 行.
[ 24-07-09 05:57:56 ] 注意:[8192] Assigning the return value of new by reference is deprecated getApiData.php 第 125 行.
[ 24-07-09 05:57:56 ] 注意:[8192] Assigning the return value of new by reference is deprecated getApiData.php 第 134 行.
[ 24-07-09 05:57:56 ] 注意:[8192] Assigning the return value of new by reference is deprecated getApiData.php 第 499 行.
[ 24-07-09 05:57:56 ] 注意:[8192] Assigning the return value of new by reference is deprecated Request.php 第 412 行.
[ 24-07-09 05:57:56 ] 注意:[8192] Assigning the return value of new by reference is deprecated Request.php 第 736 行.
[ 24-07-09 05:57:56 ] 注意:[8192] Assigning the return value of new by reference is deprecated Request.php 第 749 行.
[ 24-07-09 05:57:56 ] 注意:[8192] Assigning the return value of new by reference is deprecated Request.php 第 794 行.
[ 24-07-09 05:57:56 ] 注意:[2048] Redefining already defined constructor for class Net_URL URL.php 第 122 行.
[ 24-07-09 05:57:56 ] 注意:[8192] Assigning the return value of new by reference is deprecated Unserializer.php 第 691 行.
[ 24-07-09 05:57:56 ] 注意:[8192] Assigning the return value of new by reference is deprecated Unserializer.php 第 693 行.
[ 24-07-09 05:57:56 ] 注意:[8192] Assigning the return value of new by reference is deprecated Unserializer.php 第 852 行.
[ 24-07-09 05:57:56 ] 注意:[2048] Redefining already defined constructor for class XML_Parser Parser.php 第 206 行.
[ 24-07-09 05:57:56 ] 注意:[8192] Assigning the return value of new by reference is deprecated Parser.php 第 576 行.
[ 24-07-09 05:57:56 ] 注意:[2048] Declaration of XML_Parser::raiseError() should be compatible with that of PEAR::raiseError() Parser.php 第 634 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined index: openid BaseAction.class.php 第 72 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined index: Debug BaseAction.class.php 第 174 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined index: uid BaseAction.class.php 第 209 行.
[ 24-07-09 05:57:56 ] 注意:[8192] Assigning the return value of new by reference is deprecated Client.php 第 179 行.
[ 24-07-09 05:57:56 ] 注意:[8192] Assigning the return value of new by reference is deprecated Client.php 第 228 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined variable: type_ BaseAction.class.php 第 649 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined variable: type_ BaseAction.class.php 第 649 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined offset: 11 BaseAction.class.php 第 349 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined variable: type_ BaseAction.class.php 第 649 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined variable: agentId common_inc.php 第 3135 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined index: isDebugMe forbidcates.php 第 108 行.
[ 24-07-09 05:57:56 ] 注意:[2] shuffle() expects parameter 1 to be array, boolean given BaseAction.class.php 第 418 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined property: RakutenApiExecuter::$ApiDataWorker RakutenApiExecuter.php 第 346 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined index: appid getApiData.php 第 417 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined index: isDebugMe getApiData.php 第 436 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined index: isDebugMe getApiData.php 第 447 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined index: isDebugYourMa getApiData.php 第 450 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined index: isDebugMe getApiData.php 第 468 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined index: isDebugMe getApiData.php 第 481 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined variable: options Unserializer.php 第 448 行.
[ 24-07-09 05:57:56 ] 注意:[2048] Non-static method PEAR::isError() should not be called statically, assuming $this from incompatible context getApiData.php 第 503 行.
[ 24-07-09 05:57:56 ] 注意:[2048] Non-static method PEAR::isError() should not be called statically, assuming $this from incompatible context getApiData.php 第 509 行.
[ 24-07-09 05:57:56 ] 注意:[2048] Non-static method PEAR::isError() should not be called statically, assuming $this from incompatible context RakutenAction.class.php 第 595 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined index: isDebugMe RakutenAction.class.php 第 607 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined index: categoryPath RakutenCategoryGetter.class.php 第 55 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined index: _imgserver YahooAction.class.php 第 1014 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined index: _imgserver YahooAction.class.php 第 1014 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined index: descpre RakutenAction.class.php 第 645 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined variable: type_ BaseAction.class.php 第 649 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined variable: agentId common_inc.php 第 3135 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined index: isDebugMe forbidcates.php 第 108 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined variable: type_ BaseAction.class.php 第 649 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined variable: showmiddleOfIndex bf17f8f5a76a9d7e9186c4c573d8f8fc.php 第 2 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined variable: meta_keyword 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 7 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined variable: Act 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 42 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined variable: U 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 59 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined variable: Act 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 97 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined variable: Act 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 121 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined index: keyword 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 134 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined variable: Act 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 150 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined variable: Act 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 201 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined index: category 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 278 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined variable: so 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 280 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined variable: dr 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 281 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined variable: keyword 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 286 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined variable: shopcode 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 296 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined index: minPrice 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 300 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined index: maxPrice 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 301 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined variable: Act 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 453 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined index: category 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 454 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined variable: so 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 456 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined variable: dr 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 457 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined variable: keyword 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 462 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined variable: Act 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 463 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined variable: Act 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 464 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined index: sellerID 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 476 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined index: store 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 486 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined index: store 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 489 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined index: store 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 492 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined index: item_status 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 503 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined index: item_status 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 506 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined index: item_status 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 509 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined index: wrappingicon 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 520 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined index: buynow 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 523 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined index: thumbnail 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 525 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined variable: urlpre 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 536 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined index: chkjp 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 536 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined variable: urlpre 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 536 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined index: chkjp 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 536 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined variable: urlpre 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 536 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined index: chkjp 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 536 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined variable: urlpre 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 536 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined index: chkjp 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 536 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined variable: urlpre 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 536 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined index: chkjp 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 536 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined index: aucminprice 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 537 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined index: aucmaxprice 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 538 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined variable: isindex 7e3578d85670e1bc8aad2b48d2c6a90d.php 第 577 行.
[ 24-07-09 05:57:56 ] 注意:[8] Undefined variable: url 97ae39e43927d85ac9989230a15609a2.php 第 4 行.