User loginNavigation |
archivesBottomJust a small thing I've often wondered about. In math, people are often content separating algorithms into two classes: those which terminate, and those which don't. For the latter, often the bottom symbol is introduced. But isn't there obviously a third class: Those algorithms for which I don't know whether they terminate? So, I've always wondered: Don't you introduce a logical inconsistency by cleanly separating algorithms? I.e., since you state something you can't know, it must be inconsistent, right? Looking for views/the best answer/etc. Or, an open invitation to shoot with your best wisdom. |
Browse archivesActive forum topics
|
Recent comments
18 weeks 3 days ago
22 weeks 5 days ago
24 weeks 2 days ago
24 weeks 2 days ago
27 weeks 6 hours ago
31 weeks 4 days ago
31 weeks 4 days ago
32 weeks 17 hours ago
32 weeks 17 hours ago
34 weeks 6 days ago