Nick,
The code is a formal reporting of each of Eric's claims, along with
theorems demonstrating the internal validity of his reasoning. There is a
lot of boilerplate, because you know, formal languages. The use of
dependent typing and coinduction do some heavy lifting wrt self-reference
in the following snippets:
def Discourse.{u} : Type (u+1) := Type u
structure DiscourseState (D : Type) where ... property : D → Prop
structure EmbodiedInstance (C : ObjectiveCategory) where ...
as Eric posited:
"""
It feels like there ought to be some formal-language way, using some
representation for self-reference, to articulate what it means to
(said objectively) “be in a posture of” treating the state of
discourse “as if” it entailed these affordances-from-the-objective,
while acknowledging that the whole thing is self-referent within a
system that could be free-floating.
"""
.- .-.. .-.. / ..-. --- --- - . .-. ... / .- .-. . / .-- .-. --- -. --. / ...
--- -- . / .- .-. . / ..- ... . ..-. ..- .-..
FRIAM Applied Complexity Group listserv
Fridays 9a-12p Friday St. Johns Cafe / Thursdays 9a-12p Zoom
https://bit.ly/virtualfriam
to (un)subscribe http://redfish.com/mailman/listinfo/friam_redfish.com
FRIAM-COMIC http://friam-comic.blogspot.com/
archives: 5/2017 thru present https://redfish.com/pipermail/friam_redfish.com/
1/2003 thru 6/2021 http://friam.383.s1.nabble.com/
