Book Chapter10.1016/s0049-237x(08)71235-7
A Simplified Proof for the Unsolvability of the Decision Problem in the Case ⋁⋀⋁
-1971-01-01-Studies in logic and the foundations of mathematics
2
Chat with Paper
AI Agents for this Paper
No abstract available for this paper.
Keywords
DiagonalDecision problemDominoMathematicsQuadrant (abdomen)Mathematical economicsCombinatoricsAlgorithm
Chat
Click to start Chat