Tag: Turing

Apr 29, 2026

• halting-problem
• Turing
• undecidability
• computability
• Rice-theorem
• Busy-Beaver
• AI-alignment
• quantum-physics
• spectral-gap
• Godel
• formal-limits

Apr 24, 2026

• Gödel
• incompleteness
• undecidability
• mathematics
• logic
• physics
• AI
• Turing
• Chaitin
• formal-systems
• limits-of-knowledge