Hacker News new | ask | show | jobs
by samlinnfer 2 hours ago
Ah but is the model's belief of the statements 1. complete, 2. consistent, 3. decidable?