Lob
Two attempts at formalizing Löb's Theorem, (one based on http://lesswrong.com/lw/t6/the_cartoon_guide_to_l%C3%B6bs_theorem/). Write-up at https://github.com/JasonGross/lob-paper
Install / Use
/learn @JasonGross/LobREADME
lob
Two formalizations of Löb's Theorem.
Axiomatic Formalization
In axiomatization/, an axiomatic formalization of Löb's Theorem,
based on The Cartoon Guide to Löb's
Theorem
Internal Formalization
In internal/, a start on a formalization based on a well-typed
quine, started with the help of Benja Fallenstein at the June 2015
MIRI Workshop on Decision Theory.
Related Skills
node-connect
344.1kDiagnose OpenClaw node connection and pairing failures for Android, iOS, and macOS companion apps
frontend-design
96.8kCreate distinctive, production-grade frontend interfaces with high design quality. Use this skill when the user asks to build web components, pages, or applications. Generates creative, polished code that avoids generic AI aesthetics.
openai-whisper-api
344.1kTranscribe audio via OpenAI Audio Transcriptions API (Whisper).
qqbot-media
344.1kQQBot 富媒体收发能力。使用 <qqmedia> 标签，系统根据文件扩展名自动识别类型（图片/语音/视频/文件）。
