整合 ある推論者が信じる、そして信じるであろうすべての命題の集合が整合である場合、 その推論者を整合である呼ぶ。不整合 信念の集合が不整合な推論者は、不整合である。 任意の1型論者について、その人の信念の集合は論理的に閉じている。 以下の条件は…

It is possible to show that the square root of two can be expressed as an infinite continued fraction. (２の平方根は無限連分数として表すことができる。) 2 = 1 + 1/(2 + 1/(2 + 1/(2 + ... ))) = 1.414213... By expanding this for the first four…