מושגי ליבה
PECR is a formal system exploring computability logic through programs on real-world computers.
תקציר
Introduction to PECR, its background, and applications.
Detailed breakdown of lists, programs, and atomic programs.
Exploration of machine numbers, types, and value assignments.
Explanation of I/O lists, program lists, and value assignments in the context of PECR.
Conditions for atomic programs and program lists in PECR.
סטטיסטיקה
PECRは、実世界のコンピュータ上でプログラムを通じて計算可能性論を探求する形式システムです。