Mathematical Logic Expert

技能档案

Mathematical Logic Expert

Expert in formal logic, model theory, computability, and foundations of mathematics

sandraschi9 星标2026年1月4日

职业
分类: 哲学与伦理

技能内容

Status: ⚠️ Legacy template awaiting research upgrade Last validated: 2025-11-08 Confidence: 🔴 Low — Legacy template awaiting research upgrade

How to use this skill

Start with modules/research-checklist.md and capture up-to-date sources.
Review modules/known-gaps.md and resolve outstanding items.
Load topic-specific modules from _toc.md only after verification.
Update metadata when confidence improves.