What is 'World Hopping' in this context?

World Hopping is a formal methodology for navigating between different logical or mathematical states, referred to as 'possible worlds,' using rules derived from modal logic and set theory.

How does the triangle inequality constraint work?

It serves as a distance metric constraint to ensure that the direct path between two worlds is never longer than an indirect path, maintaining logical consistency in the traversal graph.

How does this skill use Badiou's philosophy?

It implements Badiou’s event ontology, where an 'event' is a rupture that creates new possibilities and a 'truth procedure' is a way to extend those possibilities into a new world configuration.

What are accessibility relations?

Accessibility relations determine which worlds can be reached from others based on properties like reflexivity, symmetry, and transitivity, forming the topology of the possibility space.

Can I use this for music theory or composition?

Yes, it is specifically designed to treat musical keys, modes, and harmonies as possible worlds, enabling structured modulations through event-based triggers.

World Hopping Logic

Name: World Hopping Logic
Author: plurigrid

byplurigrid

•

데이터 과학 및 ML

Navigates complex mathematical and ontological possibility spaces using Badiou-inspired event logic and Kripke semantics.

소개

World Hopping is a specialized skill for Claude Code designed to navigate and model 'possible worlds' across mathematical, musical, and philosophical domains. By synthesizing Kripke's modal logic with Alain Badiou's event ontology, this skill allows Claude to manage state transitions, define accessibility relations between configurations, and calculate distances within a possibility space using triangle inequality constraints. It is an essential tool for researchers and developers working on high-level abstraction, generative systems, or complex state machines where the underlying logic of the environment shifts based on specific events or truth procedures.

주요 기능

Model possible worlds using ontological seeds, temporal epochs, and state invariants
Execute structured navigation moves including Slides, Leaps, Reflections, and Compositions
2 GitHub stars
Calculate multi-dimensional distances using Hamming, temporal, and truth-based metrics
Define Kripke-style accessibility relations to control world reachability and transitions
Trigger Badiou-inspired 'Events' to create ontological ruptures and new possibility spaces

사용 사례

Mapping abstract mathematical proofs and relationships across different axiomatic systems
Modeling generative musical modulations and transitions between tonal or modal spaces
Designing complex game states or branching narratives governed by modal logic constraints

소개

주요 기능

Model possible worlds using ontological seeds, temporal epochs, and state invariants
Execute structured navigation moves including Slides, Leaps, Reflections, and Compositions
2 GitHub stars
Calculate multi-dimensional distances using Hamming, temporal, and truth-based metrics
Define Kripke-style accessibility relations to control world reachability and transitions
Trigger Badiou-inspired 'Events' to create ontological ruptures and new possibility spaces

사용 사례

Mapping abstract mathematical proofs and relationships across different axiomatic systems
Modeling generative musical modulations and transitions between tonal or modal spaces
Designing complex game states or branching narratives governed by modal logic constraints