Skip to content
Carmelics
Topics
Thinkers
Changes
Contributors
Loading account…
Statements
321,452
Perspectives
108,905
Topics
42
Home
/
Original
/
inverse
See Original
Inverse View
It is not the case that If the second machine class in fact properly extends the first, the problem is not open but merely unsolved by current methods.
?
Set your confidence on the premises below to see your aggregate.
Reasons For
1 perspective
Reason for
?
1.
Undecidable problems (Halting problem) prove some questions cannot be resolved even with computational extensions, only transcended.
?
How convincing is this?
Think about whether this reason is strong or weak
2.
The distinction between 'unsolved' and 'open' may be epistemically meaningful; proper extension doesn't guarantee decidability in principle.
?
How convincing is this?
Think about whether this reason is strong or weak
3.
Claiming determinacy conflates objective truth with solvability—a problem can be genuinely open even for idealized extended systems.
?
How convincing is this?
Think about whether this reason is strong or weak
Reasons Against
1 perspective
Reason against
?
1.
Mathematical problems have determinate answers independent of our methods; extension of capabilities reveals pre-existing solutions.
?
How convincing is this?
Think about whether this reason is strong or weak
2.
Historical precedent shows 'unsolvable' problems become solvable with new frameworks (non-Euclidean geometry, Gödel's completeness).
?
How convincing is this?
Think about whether this reason is strong or weak
3.
If class B genuinely extends A's capacities, it has access to A's problem space plus more; the answer exists within that expanded space.
?
How convincing is this?
Think about whether this reason is strong or weak
Next step
Based on where you are in your exploration
Strongest counterpoint
Explore the most compelling reason on the other side.