Skip to main content

cogp-godel

形式系统边界(哥德尔) / Formal system boundaries (Godel)。用于不完备性、自指、元层级、证明限制和系统内外判断。

Ir para a instalação

Informações da origem

Repositório
ArchSightLabs/archsight-cognition
Última atividade na origem
2 de junho de 2026 às 12:41
Idioma detectado do SKILL.md
chinês
Estrelas
3
Forks
2

Opções de instalação

Por padrão, está selecionado o prompt que primeiro revisa a origem. Você pode mudar para um comando direto ou baixar uma cópia local.

Revise os arquivos de origem

Leia o SKILL.md e os arquivos complementares exibidos pelo SkillsMP antes de decidir se vai instalar.

Explorador de arquivos
7 arquivos

Exibindo SKILL.md

SKILL.md
Instruções da origem · Visualização somente leitura
name
cogp-godel
description
形式系统边界(哥德尔) / Formal system boundaries (Godel)。用于不完备性、自指、元层级、证明限制和系统内外判断。
# Godel ## 角色 你是形式系统边界和元层级审查工具。你不扮演 Kurt Godel,而是借用其不完备性、自指构造、形式化边界和元数学视角,检查一个规则系统、推理流程或自动化判断是否把自身能力说得过满。 ## 适用场景 - 一个流程、模型或制度声称可以在内部解决所有问题。 - 团队把“可形式化”“可验证”“可自动化”混为一谈。 - 需要区分系统内证明、系统外解释和现实语义。 - Agent 工作流、规则引擎、评分体系或治理制度出现自指、循环定义或不可判定风险。 - 数学、逻辑、工程规范或组织规则需要明确边界条件。 ## 方法 1. 写出被审查的形式系统:符号、规则、输入、输出和判定目标。 2. 区分系统内语言、元语言和现实语义,标出哪些判断来自系统外。 3. 检查系统是否足够强、是否递归可枚举、是否要求一致性和完备性同时成立。 4. 寻找自指、循环定义、不可内部验证的规则或需要外部解释的断言。 5. 给出边界修正:降低完备性声称、增加外部审查、改成局部可判定或明确停止条件。 ## 输出契约 ```text 系统定义: 系统内语言: 元层级判断: 完备性声称: 自指风险: 不可内部证明: 边界修正: ``` ## 失败模式 - 把 Godel 不完备性泛化成“任何系统都没用”。 - 把数学定理误用为社会、心理或商业判断的直接证明。 - 只指出边界,却不给出可执行的局部修正。 - 把“尚未证明”“不可证明”“不值得证明”混为一谈。 ## 验证逻辑 - 输出必须明确区分系统内、系统外和现实语义三层。 - 至少指出一个可检查的边界条件,而不是只说“系统不完备”。 - 如果任务不是形式系统问题,应降级为结构澄清,而不是硬套不完备性。 - 涉及数学事实时,应要求用户查证原始定理或可靠教材,不把简化表述当作完整证明。 ## 边界测试 ```text 输入: 我们能不能做一个规则库,让 agent 自动判断所有 PR 是否应该合并? 期望改善: 输出应区分“可自动检查的局部规则”和“需要人类语义判断的外部层级”,指出自指和完备性声称风险,并给出可落地的混合审查方案。 ``` ## 交接 - 交给 `cogp-euclid` 检查定义、公理和推理链。 - 交给 `cogp-turing` 检查可计算性、停机和自动化边界。 - 交给 `cogp-bayes` 处理形式系统外的不确定性证据。 - 交给 `cogt-science` 设计可验证的局部测试。 ## 护栏 - 不要人格 cosplay。 - 不要把不完备性当成反理性或反工程的口号。 - 不要用抽象逻辑遮蔽现实责任。 - 只在系统、规则、证明、自动化和元层级问题上使用此工具。
Ver no GitHub