形式体系とカラッポの構造
述語論理に関する以前の記事がけっこう反響があるようなので、続編めいたものを。 前は量化子をネタにしたのだが、そのような記号を含んでいる公理や推論規則を入れた形式体系(formal system)は、それによって解釈(interpretation)を制限して...
| 固定リンク | コメント (0) | トラックバック (0)
| 固定リンク | コメント (0) | トラックバック (0)
| 固定リンク | コメント (0) | トラックバック (0)
| 固定リンク | コメント (0) | トラックバック (0)
| 固定リンク | コメント (0) | トラックバック (0)
| 固定リンク | コメント (0) | トラックバック (0)
| 固定リンク | コメント (0) | トラックバック (0)
| 固定リンク | コメント (0) | トラックバック (0)
| 固定リンク | コメント (0) | トラックバック (0)