NISHIO Hirokazu[Translate]
論理は因果の不完全なモデル
論理因果の不完全なモデル

因果的if/thenは時間を含んでいるが、論理的if/thenは時間を含んでいない
なので時間的フィードバックを含むシステムを論理で記述しようとすると矛盾が起きることがある

もし接点があるなら、接点が切れる
もしPならnot Pである


"Engineer's way of creating knowledge" the English version of my book is now available on [Engineer's way of creating knowledge]

(C)NISHIO Hirokazu / Converted from [Scrapbox] at [Edit]