Tagged Questions
1
vote
1answer
215 views
Equivalence of sequences and subsets of natural numbers
For me, facts like the independence of the continuum hypotheses from ZFC cast a doubt on the "law of the excluded middle". (In this context, the doubt is that there might be no "final set theory" such ...
11
votes
6answers
974 views
What philosophical consequence of Goedel's incompleteness theorems?
I want to write a philosophical essay centered about Goedel's incompleteness theorem. However I cannot find any real philosophical consequences that I can write more than half a page about. I read the ...
8
votes
4answers
365 views
Consequences of solving the Halting problem
What impact would a device (ie super-computer or relativistic computer or other method) that solves the halting problem have on math?
Would there be any mathematical problems left to solve?
What ...
7
votes
4answers
326 views
Are the computable reals finitary?
In the comment thread of an answer, I said:
The computable numbers are based on the intuitionistic continuum, and are not finitary.
To which T.. replied:
Computable numbers are not based on ...
