|
|
@almostlikethat | |||||
|
The Cyc Project turned common sense into predicate logic...
...and found it necessary to create lots and lots of "microtheories" (locally consistent, mutually inconsistent) because anything vaguely large acquired contradictions.
|
||||||
|
||||||
|
Indexical Banana
@literalbanana
|
23. sij |
|
Are people silly for not having coherent, non-contradictory beliefs, or is it silly to expect intelligent people to have global, universal, coherent beliefs about messy reality?
|
||
|
|
||
|
Indexical Banana
@literalbanana
|
24. sij |
|
looks like douglas lenat was at xerox parc in the early 80s - lucy suchman and other EM people were around then, I wonder if it influenced him?
|
||
|
|
||
|
Indexical Banana
@literalbanana
|
24. sij |
|
(EM=ethnomethodology sorry)
|
||
|
|
||
|
St. Rev ☯️🏴😻
@St_Rev
|
24. sij |
|
An enormous amount of work in mathematics studies problems like this, particularly in topology and geometry, eg en.wikipedia.org/wiki/Riemann_s…
|
||
|
|
||
|
St. Rev ☯️🏴😻
@St_Rev
|
24. sij |
|
The classical example in the first image there: What's the square root of a complex number? Note that for real numbers, there are two choices, eg sqrt(4) could = 2 or -2, but we have a convention of choosing the positive root.
|
||
|
|
||