サイエンスとサピエンス

気になるヒト、それに気なる科学情報の寄せ集め

2016-11-16から1日間の記事一覧

汎用的な真理値関数による思考実験

仮に命題の真理値を計算できる汎用的な関数の存在を認めるとどんなことが言えるだろう? 真理値関数の入力は真偽を判断する命題、時間、場所、ヒト(判断主体)、それに文化とする。 ヒトと文化の変数は切り分けが難しい。 言語はどこに属するか?宗教はどう…