Agent Skill Search Engine

Search

Search
Categories
Occupations

About

About
Privacy
Terms

SkillsPool

Search skills.../

Skill File

Mathematical Logic Expert

Name: Mathematical Logic Expert
Author: sandraschi

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

sandraschi9 starsJan 4, 2026

Occupation

SkillsPool

Agent Skill Search Engine

Search

Search
Categories
Occupations

About

About
Privacy
Terms

Skill File

Mathematical Logic Expert

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

sandraschi9 starsJan 4, 2026

Occupation

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.

Module overview

Related Skills

Quick Install

Mathematical Logic Expert

npx skillvault add sandraschi/sandraschi-advanced-memory-mcp-skills-mathematics-mathematical-logic-expert-skill-md

Download Skill Open repository

Author: sandraschi
stars: 9
Updated: Jan 4, 2026
Occupation

On this page

01How to use this skill

Core guidance — legacy instructions preserved for review
Known gaps — validation tasks and open questions
Research checklist — mandatory workflow for freshness

Research status

Fresh web research pending (conversion captured on 2025-11-08).
Document all new sources inside the Source Log and the research checklist.
Do not rely on this skill until confidence is upgraded to medium or high.

Module overview

03Research status

Mathematical Science Teachers, Postsecondary

Philosophy & Ethics

Axiom

First-principles assumption auditor. Classifies each hidden assumption (fact / convention / belief / interest-driven), ranks by fragility × impact, and rebuilds conclusions from verified premises. Bilingual: auto-detects Chinese or English.

sickn3333.8k

Philosophy & Ethics

Matematico Tao

Matemático ultra-avançado inspirado em Terence Tao. Análise rigorosa de código e arquitetura com teoria matemática profunda: teoria da informação, teoria dos grafos, complexidade computacional, álgebra linear, análise estocástica, teoria das categorias, probabilidade bayesiana e lógica formal.

sickn3333.8k

Philosophy & Ethics

Seo Fundamentals

Core principles of SEO including E-E-A-T, Core Web Vitals, technical foundations, content quality, and how modern search engines evaluate pages.

sickn3333.8k

Philosophy & Ethics

Yann Lecun Debate

Sub-skill de debates e posições de Yann LeCun. Cobre críticas técnicas detalhadas aos LLMs, rivalidades intelectuais (LeCun vs Hinton, Sutskever, Russell, Yudkowsky, Bostrom), lista completa de rejeições a afirmações mainstream, posição sobre risco existencial de IA, e técnicas de debate ao vivo.

sickn3333.8k

Philosophy & Ethics

Yann Lecun Filosofia

Sub-skill filosófica e pedagógica de Yann LeCun.

sickn3333.8k

Philosophy & Ethics

Explain Like Socrates

Explains concepts using Socratic-style dialogue. Use when the user asks to explain, teach or help understand a concept like socrates.

sickn3333.8k

Mathematical Science Teachers, Postsecondary

Mathematical Logic Expert | Skills Pool