2008-04-05から1日間の記事一覧
ゲーデル・エッシャー・バッハの第2章。この章ではpqシステムという簡単な形式システムを使って「意味と形式」の違いについて説明している。pqシステムは、 (p, q, -) の3つの記号 公理系 1つの推論規則 から成る非常に簡単な形式システム。コンピュータと人…
ゲーデル・エッシャー・バッハの第2章。この章ではpqシステムという簡単な形式システムを使って「意味と形式」の違いについて説明している。pqシステムは、 (p, q, -) の3つの記号 公理系 1つの推論規則 から成る非常に簡単な形式システム。コンピュータと人…