Hopefully this page does not balloon out of control. With that said, note that this is a page for which content can be deleted, since things are adequately timestamped and “backed up” via Git. Thus, it is appropriate to move things from this scratchpad to a more permanent home in this folder.
Computation and the Brain
- ((667fe09c-1b4c-403e-a3c2-1b39c8853939))
Formalisms
- A formalism of “context” or “pragmatics” in the context of an observer making claims about a thing and the limits of those claims in one’s “context” should be quite useful.
- MHC.
- Hardware designer vs. software, applied CS for machine translation vs. computational formalism = fundamentally different interpretations of words like “computational.”
- ((6682710d-189e-4470-ba21-127e992c963a))
- Formal pragmatics, presupposition, Wolfram “observer” (maybe too abstract for my thinking?).
- Maybe this is just an extension of modal logic?
- Also useful for formalisms of biological systems, for example. The “software” that system runs could be viewed as its “context” or “pragmatics” as it determines what it then does.
Foundations of Math
- To read: https://relatedwork.blogspot.com/2024/07/a-proof-of-proof-by-infinite-descent.html
- ((6683531f-b272-446b-b89d-be47b0b6ba1f))
- On induction, well-ordered principle, and a subsequent “infinite descent.”