Elektrine lite

← Feed

@emsenn@kolektiva.social

Post #2982618

2026-05-05 17:21 UTC

@matt@istheguy.com @coolsquid@438punk.house Now, we must acknowledge the danger of the relationship between proofing and question, and must always respect the order in which they arrive: the question is first, always, the proof second. This matter because we are living in a world where a machine can tell another machine, "You should kill that person with your lasers," and the second machine can respond, "Can you prove it?" If the proof is accepted as primary, and not inductive of further derivation, you have reversed the relation of the entities, a significant category error against the temporality of knowledge. Notably the temporality of knowledge and the arrow of natural spatiotemporal existence are seemingly commensurate but

Replies (1)

  • @emsenn@kolektiva.social 2026-05-05 17:22

    @matt@istheguy.com @coolsquid@438punk.house there's a couple technical errors around my implication morphism's relationship with linear logic in this piece, that i've cleaned up in subsequent drafts, but I have a deeper treatment of these concepts available for anyone curious (and bored) https://emsenn.net/library/domains/science/domains/information/texts/the-adjoint-structure-of-predication-on-bilattice-valued-fibers/

    Open ##2982619