@St_Rev @soapjackal Where do theorems meet opposition? What's the competing story
@autonomousHBD @soapjackal Computers don't do math via proof. Even a formal proof system produces results that are unreadable.
-
-
@autonomousHBD
@soapjackal And mathematicians don't *discover* results via story. Story is just the natural mode of communication. -
@autonomousHBD
@soapjackal I don't tell a story when I go to the store. But in speaking of my trip to the store I naturally organize it thus -
@autonomousHBD
@soapjackal I had a goal (get food), I needed to overcome an obstacle (put gas in the care) there was a journey -
@St_Rev@soapjackal Forming a narrative -
@autonomousHBD
@soapjackal Yeah. As agents, we agent-ify and linearize events in the world. That's story compression. -
@St_Rev@soapjackal Can it scale for a larger and larger society? In the dissemination of morals, values, premises etc. -
@autonomousHBD
@soapjackal I don't think we ever stop storytelling. What changes is the stability of stories, how tested they are. -
@autonomousHBD
@soapjackal We don't have any fewer stories than a stone age tribe--we have more, if anything. They're just unstable, foolish - 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
. Banned in Sweden. SubGenius, Zhuangist, white-hat troll. Defrocked mathematician. Brain problems.