ネクストオンライン

ゲーデルに挑む: 証明不可能なことの証明(中古品)

Pontaパス特典

サンキュー配送

4,420円(税込)

0ポイント(1％)

商品説明

(中古品)
ゲーデルに挑む: 証明不可能なことの証明

【ブランド名】

田中一之: author;

【商品説明】
「不完全性定理」完全攻略ガイド待望の本格的ロジック指南書。イラスト付きでていねいな解説。ノートと鉛筆を用意して、数学の論理展開を味わってみよう。【内容紹介】「不完全性定理」を完全に理解したい読者のために——。原論文の日本語訳とともにその内容について徹底解説。ロジック初心者にも配慮し、記号の定義などの基本から、ていねいに説明をしていく。ノートとペンを用意して、原典の論理展開を味わってみよう。【主要目次】はじめに序ゲーデルと不完全性定理原論文訳・解説原論文第1節概要原論文第2節(その1) 体系P、ゲーデル数、再帰的関数原論文第2節(その2) メタ数学の再帰的表現原論文第2節(その3) 第一不完全性定理原論文第3節 1階算術への還元原論文第4節第二不完全性定理補遺

当店では初期不良に限り、商品到着から7日間は返品をお受けいたします。
イメージと違う、必要でなくなった等、お客様都合のキャンセル・返品は一切お受けしておりません。
中古品の場合、基本的に説明書・外箱・ドライバーインストール用のCD-ROMはついておりません。
商品名に「限定」「保証」等の記載がある場合でも特典や保証・ダウンロードコードは付いておりません。
写真は代表画像であり実際にお届けする商品の状態とは異なる場合があります。
中古品の場合は中古の特性上キズ、汚れがある場合があります。
他モールでも併売しておりますので、万が一お品切れの場合はご連絡致します。

ご注文からお届けまで

1．ご注文　
ご注文は24時間受け付けております
2．注文確認ご注文後、注文確認メールを送信します
3．在庫確認
　　　在庫切れの場合はご連絡させて頂きます。
※中古品は受注後に、再メンテナンス、梱包しますのでお届けまで3〜7営業日程度とお考え下さい。
4．入金確認
前払い決済をご選択の場合、ご入金確認後、配送手配を致します。
5．出荷
配送準備が整い次第、出荷致します。配送業者、追跡番号等の詳細をメール送信致します。
6．到着　
出荷後、1〜3日後に商品が到着します。
※離島、北海道、九州、沖縄は遅れる場合がございます。予めご了承下さい。

(中古品)ゲーデルに挑む: 証明不可能なことの証明//田中一之: author; /「不完全性定理」完全攻略ガイド待望の本格的ロジック指南書。イラスト付きでていねいな解説。ノートと鉛筆を用意して、数学の論理展開を味わってみよう。【内容紹介】「不完全性定理」を完全に理解したい読者のために——。原論文の日本語訳とともにその内容について徹底解説。ロジック初心者にも配慮し、記号の定義などの基本から、ていねいに説明をしていく。ノートとペンを用意して、原典の論理展開を味わってみよう。【主要目次】はじめに序ゲーデルと不完全性定理原論文訳・解説原論文第1節概要原論文第2節(その1) 体系P、ゲーデル数、再帰的関数原論文第2節(その2) メタ数学の再帰的表現原論文第2節(その3) 第一不完全性定理原論文第3節 1階算術への還元原論文第4節第二不完全性定理補遺