mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Server stats:

2.8K
active users

#constraint

0 posts0 participants0 posts today

Principles of rule-based programming. ~ Thom Frühwirth. books.google.com/books/?id=ciV

Google BooksPrinciples of Rule-Based ProgrammingThe book provides a unified overview of concepts and features of a comprehensive variety of rule-based programming languages. They have applications in diverse areas such as workflow systems, the Semantic Web, decision support, optimization problems, simulation and modeling, software engineering, program verification and security, and artificial intelligence. Through clear definitions, helpful explanations, concrete examples and instructive exercises with selected solutions, the reader will gain a thorough understanding of rule-based formalisms, systems and programming languages. The rule-based formalisms presented are Multiset Transformation, Term Rewriting Systems, Colored Petri Nets and Logical Algorithms. The rule-based systems are Production Rules, Event-Condition-Action Rules and Datalog. The rule-based programming languages are Functional Programming, Constraint Logic Programming and Concurrent Constraint Programming. By embedding these approaches into Constraint Handling Rules, a powerful and versatile programming language, it provides a common platform for understanding and comparison as well as execution and analysis of rule-based approaches. The book is ideal for researchers, students and programmers who want to learn about the power and potential of rule-based programming and understand its characteristic features and abilities.

"This is the strength of federated, federatable social media — it disciplines enshittifiers by lowering switching costs, and if enshittifiers persist, it makes it easy for users to escape unshitted, because they don’t have to solve the collective action problem. Any user can go to any server at any time and stay in touch with everyone else."

doctorow.medium.com/https-plur

A page out of a medieval hand-illuminated grimoire; it is an illustration of a tree, with each branch terminating in a demon; these branches are annotated in an unknown script. The demons have been replaced with 19th century caricatures of shouting millionaire industrialists.
Medium · Enshittification isn’t caused by venture capital - Cory Doctorow - MediumBy Cory Doctorow

1993

A metallic globe of the Earth is depicted, covered in numerous sharp spikes that jut outward, symbolizing danger or conflict.
The globe features the continents and oceans as they are commonly recognized on a typical world map.
It has a chain attached to it which could imply weightiness or constraint, suggesting a heavy burden for the planet or its inhabitants.
Tags: Earth, spikes, metallic globe, danger, conflict, symbolism, continents, oceans, chain, burden, constraint.

nocontext.loener.nl/fullpage/0

#photography #illustration #madman #nocontext #sfw #Earth #spikes #metallicglobe #danger #conflict #symbolism #continents #oceans #chain #burden #constraint.

What will happen if #Trump becomes #POTUS again:

1) End of #Democracy > #Autocracy (will last decades)
2) Corrupted #Judiciary/farce #elections.
3) End of World US power (which exists thanks to Alliances... which will cease).
3) End of 'dollar' as the world's primary #currency
4) Without alliances/without 'dollar' there will be an inevitable #economic #constraint
5) few rich ... many poor
6) end of 'workers' rights'
7) end of citizens' rights/Social medic supports
8) Police state.
...
enjoy

Continued thread

Constraints and Indications • 2
inquiryintoinquiry.com/2024/07

Coping with collaboration, communication, context, integration, interoperability, perspective, purpose, and the reality of the information dimension demands a transition from conceptual environments bounded by dyadic relations to those informed by triadic relations, especially the variety of triadic sign relations employed by pragmatic semiotics.

Along the lines of my first post on this topic I am presently concerned with the logical and mathematical requirements of dealing with constraints but when it comes to the constraints involved in communicating across cultural and disciplinary barriers I could recommend a paper Susan Awbrey and I wrote for a conference devoted to those very issues.

Conference Presentation —

Awbrey, S.M., and Awbrey, J.L. (1999), “Organizations of Learning or Learning Organizations : The Challenge of Creating Integrative Universities for the Next Century”, Second International Conference of the Journal ‘Organization’, Re‑Organizing Knowledge, Trans‑Forming Institutions : Knowing, Knowledge, and the University in the 21st Century, University of Massachusetts, Amherst, MA.
cspeirce.com/menu/library/abou

Published Paper —

Awbrey, S.M., and Awbrey, J.L. (2001), “Conceptual Barriers to Creating Integrative Universities”, Organization : The Interdisciplinary Journal of Organization, Theory, and Society 8(2), Sage Publications, London, UK, 269–284.
journals.sagepub.com/doi/abs/1
academia.edu/1266492/Conceptua



Inquiry Into Inquiry · Constraints and Indications • 2Re: Constraints and Indications • 1 Re: Ontolog Forum • Joseph Simpson Coping with collaboration, communication, context, integration, interoperability, perspective, purpose, and the real…
Replied in thread

@uh @UlrikeHahn

I will focus here on "context" as more than the "space and time" in which something is observed to be/happen. I would emphasize that this sense of "context" is always _relational_ and is always plays some active role in shaping/constraining the perceived object system.

You may notice my use of words such as "observed" and "perceived". I may be taking this notion further than Juarrero, but I have long thought that _any_ meaningful description of a system is incomplete without including the context of the _observer_. (Often the observer goes without saying, but is always there.)

I am reminded of my high school physics class back in the 1970s, where I baffled and frustrated the instructor by my insistent questions asking for clarification of his definition of "entropy" as disorder. I kept trying to get him to see that the state of disorder must (it seems to me) be relative to the state of some observer. He never got it. I gave up and answered his test question about whether a scrambled egg has more entropy than a pristine egg in the shell, neglecting that the state of scrambledness may have been precisely the outcome for which work was done, to constrain the outcome.

Still bothers me... I'll sit down now and behave.

, ,

Survey of Definition and Determination
inquiryintoinquiry.com/2023/04

In the early 1990s, “in the middle of life's journey” as the saying goes, I returned to grad school in a systems engineering program with the idea of taking a more systems-theoretic approach to my development of Peircean themes, from signs and scientific inquiry to logic and information theory.

Two of the first questions calling for fresh examination were the closely related concepts of definition and determination, not only as Peirce used them in his logic and semiotics but as researchers in areas as diverse as computer science, cybernetics, physics, and systems science would find themselves forced to reconsider the concepts in later years. That led me to collect a sample of texts where Peirce and a few other writers discuss the issues of definition and determination. There are copies of those selections at the following sites.

Collection Of Source Materials
oeis.org/wiki/User:Jon_Awbrey/

Excerpts on Definition
oeis.org/wiki/User:Jon_Awbrey/

Excerpts on Determination
oeis.org/wiki/User:Jon_Awbrey/

What follows is a Survey of blog and wiki posts on Definition and Determination, with a focus on the part they play in Peirce's interlinked theories of signs, information, and inquiry. In classical logical traditions the concepts of definition and determination are closely related and their bond acquires all the more force when we view the overarching concept of constraint from an information-theoretic point of view, as Peirce did beginning in the 1860s.



Inquiry Into InquirySurvey of Definition and Determination • 2In the early 1990s, “in the middle of life’s journey” as the saying goes, I returned to grad school in a systems engineering program with the idea of taking a more systems-theoret…

Here we have #vectorgraphics and some advanced #constraint geometry like in modern parametric #CAD.

But this is => #1963!!

I like to think that with #FreeSoftware we can cross this line better, even today when "they" want you to make an "annual subscription" with a proprietary SW even to open your projects.

@FreeCAD is using this #1963 #genius approch: THIS IS THE WAY ;-) :freecad: ❤️

#freecad #FLOSS #sketchpad #Sutherland #mitlab #CG #autodesk #fusion360 #inkscape

invidious.sethforprivacy.com/w

Bill Buxton | InvidiousSketchpadThis is a digital copy of a 1963 16:41 min 16mm film film demonstration of Ivan Sutherland's classic Sketchpad system. Sketchpad, and its associated thesis (see reference below), is one of the most influential theses in computer science, and it laid the foundation for a very large part of what we take for granted today (and then some) from the perspective of how we interact with computers. This work was done at a very special place, MIT's Lincoln Lab, on a very special computer, Wes Clark's TX-2, amongst a group of highly competent and creative people. It was a perfect storm and Sutherland rode it beautifully. For more information on Sketchpad, see: Sutherland, I. (1963). Sketchpad: A Man-Machined Graphical Communication System . PhD Thesis, MIT. http://www.cl.cam.ac.uk/TechReports/UCAM-CL-TR-574.html Sutherland, I. (1963). SKETCHPAD: A Man Machine Graphical Communication System, Proceedings of the AFIPS Spring Joint Computer Conference , 329-346. http://www.aci.com.pl/mwichary/guidebook/articles/historical/sketchpad For more general information on Lincoln Lab, including Sketchpad, see: Buxton, William: Resource Page on Early HCI Research by the Lincoln Lab TX-2 Group http://billbuxton.com/Lincoln.html Buxton, William (2005). Interaction at Lincoln Laboratory in the 1960's: Looking Forward -- Looking Back . Panel Introduction. Proceedings of the 2005 ACM Conference on Human Factors in Computing Systems, CHI'05 , April 3-7, 2005, 1163-1167. http://billbuxton.com/LincolnLab.pdf