Otter 2013-12-02-022. Four interactions and OTTER
Gravitational interaction
(weighting)
+
-
weight_list(pick_and_purge).
weight(P(rew($(0),$(0)),$(1)), 99)
+
+
-
+
Strong interaction (modulation)
Electromagnetic interaction (resolution)
-father(x,y) | -mother(x,z) | grandmother(x,z)
(a=b) | (c=d).
P(a) | Q(n, f(c,g(d))).
4. Hyper resolution
-
+
+
- +
+
+
+
-
1 |set(hyper_res).
2 |assign(stats_level,1).
3|
4 |list(usable).
5|
-Sibling(x,y) | Brother(x,y) | Sister(x,y).
6 |end_of_list.
7|
8 |list(sos).
9|
Sibling(pat, ray) | Cousin(pat, ray).
10 |end_of_list.
+
-
+
+
+
+
-
9. Syntax “-A | B”: proof by contradiction
B
C
A
3 |list(usable).
4|
-Greek(x) | Person(x).
5|
-Person(x) | Mortal(x).
6 |end_of_list.
8 |list(sos).
9|
Greek(socrates).
10 |end_of_list.
12 |list(passive).
13 |
-Mortal(socrates).
14 |end_of_list.
A ⊃ B
B →A
There exists Ai where
B∪¬A → Ф
1 [] -Greek(x)|Person(x).
2 [] -Person(x)|Mortal(x).
3 [] Greek(socrates).
4 [] -Mortal(socrates).
5 [hyper,3,1] Person(socrates).
6 [hyper,5,2] Mortal(socrates).
7 [binary,6.1,4.1] $F.
12. Syntax “A | B”
(exclusive, fermi particle model)
A ∩ B → empty set
B∪¬A → not Ф
A
B
C
fermi particle model
X
a
Y
Z
b
c
bose particle model
X(a) | Y(b)
either, exclusive
X
a
Y
c
electron, proton
Z
c
a
b
a
X(a) or Y(b)
inclusive
photon
15. Tower of hanoi
initial state, final state and 2^N-1
最初はすべての円盤が左端の杭に小さいも
のが上になるように順に積み重ねられてい
る。
初期状態
Board_and_Poll([1,2,3,4,5], [5], [5]).
最終地点
Board_and_Poll([5], [1,2,3,4,5], [5]).
円盤数
1
2^N-1
2^1-1
1
2
2^N-1
2^2-1
3
3
2^N-1
2^3-1
7
4
2^N-1
2^4-1
15
5
2^N-1
2^5-1
31
6
2^N-1
2^6-1
63
7
2^N-1
2^7-1
127
64
2^N-1
2^64-1