人工知能に関する断創録

このブログでは人工知能のさまざまな分野について調査したことをまとめています(更新停止: 2019年12月31日)

2008-04-05から1日間の記事一覧

数学における意味と形

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