« first day (1122 days earlier)      last day (1695 days later) » 

user21820
user21820
8:25 AM
@user2103480 I agree there is some kind of distinction, though in some sense specification is still a generative axiom. And especially positive specification feels a lot like inductive definitions.
@user If you're interested in the incompleteness theorems, I strongly recommend you first read through and understand my post on it linked on the right:
18
Q: Computability viewpoint of Godel/Rosser's incompleteness theorem

user21820 How would the Godel/Rosser incompleteness theorems look like from a computability viewpoint? Often people present the incompleteness theorems as concerning arithmetic, but some people such as Scott Aaronson have expressed the opinion that the heart of the incompleteness phenomenon is uncompu...

logic reference-request computability proof-theory incompleteness
@DavidReed Ahh I see. Yes hello there, and nice to see you again. Hope you are doing well. =)
 

« first day (1122 days earlier)      last day (1695 days later) »