Theme: Decidability

  • Sabine: He’s correct. I work in this subject matter, which consists of intuition

    Sabine: He’s correct. I work in this subject matter, which consists of intuitionistic mathematics, operationalism in physics, and constructive logic across the spectrum. Our team works in operationalizing mathematics. For example, there are no ‘infinities’, only unknown limits. Negative numbers refer to a direction. The square root of negative one is a function for inversion of direction, just as is the absolute value.

    The point of this is subtle: the origin of western reasoning began with geometric reasoning. The idealism in mathematics that arose from it, led to ‘poisoning’ philosophy, natural philosophy, and of course eventually, the failure of philosophy in the late 19th, and the reversal of Descartes by the re-platonization of mathematics in physics, and therefore the plaotonization of physics from mathematics (Bohr, Einstien).

    So the consequence has been the absence of construction from realism, naturalism, materialism, and the use of ‘mathiness’ and ‘lost in math’ that you justly rail against. Small bad ideas in large numbers have vast consequences.

    The computationalists are correct. And they are the population that is driving reform in mathematics and applied mathematics, particularly in such lost disciplines as the foundations of physics.

    The information necessary to deduce the substance of quantum behavior is not present in the mathematics of waves and particles, but in the constitution of whatever manages to persist as it evolves from random interactions in the quantum background give differences in pressure (energy).


    Source date (UTC): 2024-12-27 18:38:56 UTC

    Original post: https://twitter.com/i/web/status/1872713793140412416

  • Make a list of edge cases. I”ll bet you can’t come up with one that survives

    Make a list of edge cases.
    I”ll bet you can’t come up with one that survives.


    Source date (UTC): 2024-12-27 13:51:20 UTC

    Original post: https://twitter.com/i/web/status/1872641416989749580

    Reply addressees: @Johnny2Fingersz

    Replying to: https://twitter.com/i/web/status/1872640183797268827

  • SO enforcing cooperation is still cooperation. Eradicating them is a cost benefi

    SO enforcing cooperation is still cooperation.
    Eradicating them is a cost benefit trade off.
    Again, I am having trouble understanding why you can’t separate decidability as a measure and applied decidabilty as a choice. I mean. I just can’t grasp why this is so difficult. Is it a linguistic or cultural matter or is it just that I have spent so much time on logics and decidabilty that I can’t see the difficulty in it.
    I still can’t get around the intuition that you think this is philosophy (choice) rahter than science (decidability) that informs choice and prevents lying in making choices.

    Reply addressees: @AutistocratMS


    Source date (UTC): 2024-12-26 23:48:25 UTC

    Original post: https://twitter.com/i/web/status/1872429289712566272

    Replying to: https://twitter.com/i/web/status/1872428354269593723

  • It’s odd that you would ask that question. “As a general rule of decidability, o

    It’s odd that you would ask that question. “As a general rule of decidability, over time, cooperation will defeat boycott and predation given the surpluses that advance evolutionary computation.”
    That I know of this statement survives all testing.


    Source date (UTC): 2024-12-26 23:36:44 UTC

    Original post: https://twitter.com/i/web/status/1872426350944108629

    Reply addressees: @AutistocratMS

    Replying to: https://twitter.com/i/web/status/1872425777926750509

  • THE AIs CAN”T DO IT EASILY. :(. UGH. “Regardless of whether you express the defi

    THE AIs CAN”T DO IT EASILY. :(. UGH.

    “Regardless of whether you express the definitions and constraints as lists of principles or as object-oriented code structures, the key factor is the rigor and consistency you impose. The underlying statistical model doesn’t inherently respect either format more deeply—it responds to how firmly and frequently you reinforce the constraints.

    Switching to a class-based, object-oriented representation may give you a more intuitive way to think about relationships and constraints, and it might slightly improve adherence because the model can learn to associate certain words with a stricter syntactic and semantic pattern. However, this improvement isn’t automatic.

    The underlying architecture tends to treat all prose as statistically generated language, relying on probabilities derived from its training rather than adhering to a strictly defined operational lexicon. As a result, it “slips” into ordinary prose habits.

    While using an object-oriented, class-based structuring of concepts would help reduce ambiguity, it won’t fully eliminate the statistical nature of my generative process. The model underlying me relies on probabilities to predict the next token, which makes it inclined to revert to patterns common in its training data rather than adhere strictly to a fixed operational lexicon or logic.

    You’ll still need to:

    Provide strict references that must not be contradicted.
    Frequently reinforce and restate definitions and constraints.
    Verify each output segment and demand corrections when drift occurs.

    In other words, whether you stick to lists or use a code-like structure, the workload of ensuring ongoing precision and consistency remains similar.

    The decision to use a more structured, object-oriented approach comes down to which format feels more natural and efficient for you to manage, maintain, and verify.”


    Source date (UTC): 2024-12-19 23:07:18 UTC

    Original post: https://twitter.com/i/web/status/1869882228282630144

  • I have, all along, disambiguated terms and ether refined their definition, narro

    I have, all along, disambiguated terms and ether refined their definition, narrowed their definition, or redefined them as needed precisely because we cannot ‘count on’ the perceived meaning of terms by individuals, when, for example, my most humorous example is ‘christianity’ or ‘morality’ which are expressed universally personal definitions showing the utility of ambiguity in false confidence in one’s frames of reference.

    Reply addressees: @AutistocratMS


    Source date (UTC): 2024-12-18 22:36:58 UTC

    Original post: https://twitter.com/i/web/status/1869512204351127552

    Replying to: https://twitter.com/i/web/status/1869508604661002729

  • Correct. Effectively, as usual, I’m discussing a full accounting between limits

    Correct. Effectively, as usual, I’m discussing a full accounting between limits (first principles – consequences) at the limits of time. Doing so removes subjective preference or subjective utility and instead provides universal decidability (superset).

    Instead, when you’re applying that science (system of measurement) you are considering a subset of causes and consequences. In other words, subjective (subset).

    The difference between decidability (science, objectivity, superset) and choice (applied science, subjectivity, subset) depend on what utilty you’re trying to measure. The utility independent of context or the utility dependent upon context.

    Obviously, as in many things we have all encountered on our journey, that which is obvious to me is not obvious to others, and requires articulation and expression given that deduction and inference fail given the information without that articulation and expression.

    It’s only when I discover that which is not obvious to others that I identify the necessity of clarification.

    In this case what you’ve illustrated is the lack of clarity of this fundamental principle on the one hand and the need for a science of utility on the other. In other words … we have more work to do.

    Reply addressees: @AutistocratMS


    Source date (UTC): 2024-12-18 22:20:29 UTC

    Original post: https://twitter.com/i/web/status/1869508056876449792

    Replying to: https://twitter.com/i/web/status/1869504744999592274

  • what is science but the resolution of differences both internal and external by

    what is science but the resolution of differences both internal and external by the discovery of decidability?


    Source date (UTC): 2024-12-18 22:13:55 UTC

    Original post: https://twitter.com/i/web/status/1869506406363341101

    Reply addressees: @AutistocratMS

    Replying to: https://twitter.com/i/web/status/1869505349474234623

  • (Again this is teh crux of our issue. I can’t seem to get across the difference

    (Again this is teh crux of our issue. I can’t seem to get across the difference between decidability(science) and choice (applied science). And after thinkin about this for a few hours on and off I think it’s because we haven’t ‘scienced’ choice so we are implicitly (as I think you are) causing interpretation of The Work as a preference rather than a means of resolution of disputes by objective means.

    Reply addressees: @AutistocratMS


    Source date (UTC): 2024-12-18 20:20:14 UTC

    Original post: https://twitter.com/i/web/status/1869477795568435200

    Replying to: https://twitter.com/i/web/status/1869473920958783995

  • Optimal means universally decidable in matters of dispute where dispute requires

    Optimal means universally decidable in matters of dispute where dispute requires settlement. That’s what decidability means: independent of subjective preference or utility.

    Choice is a matter of subjective preference not objective decidability.
    Philosophy consists of choice.
    Ideology consists of persuasion.
    Deception in it’s many forms consists of just that: deception.

    This is the disambiguation of the spectrum of the criteria for decision making. It’s not an opinion. It’s an empirical and logical definition.

    Reply addressees: @AutistocratMS


    Source date (UTC): 2024-12-18 20:12:34 UTC

    Original post: https://twitter.com/i/web/status/1869475865978966016

    Replying to: https://twitter.com/i/web/status/1869473920958783995