[FRIAM] truth, reality, & narrative

[Marcus Daniels]

Glen writes:

< Those theorem-proof-theorem-proof books are nothing if not "pulling you along" ... gaslighting you with every proof. >

I'm not sure what you are getting at here.  For concreteness, suppose the books were Sage notebooks, and could export to Maxima or Mathematica.   Couldn’t one be reasonably confident in the correctness of the calculations by reproducing them with two or more completely independent code bases, as well as by inspection?    Or maybe you mean the books are taking the reader in some direction, where the reader mostly has to accept the story as one of many possible stories.  And by the time they are to the end of it, they are committed to a way of thinking?

Marcus