Enjoy your work again!! ]]>

I have now looked into this, speaking with my co-author, and the main problem is that for the paper to appear in another venue (even in translation) would cause a problem for our attempts to publish it in an academic journal. (Currently, it is available only as a preprint, which the journals allow.)

Therefore, what I propose is that we simply wait until our journal submission is finalized, and then afterward, with the journal’s permission, it will likely be possible.

An intriguing idea. Let me look into this and get back to you.

]]>I’m math teacher and I’ve read philosophy.Now I’m studying on my master thesis about philosophy of math in Turkey/Bursa Uludag University.

I translated some articles for some magazines especially @onculanalitikfelsefe.This magazine’s aim is telling people why analytic philosophy is important and translating and writing some articles about both analytic and continental philosophy.

I would like to ask,could you give me a permission for your ”Did Turing prove the undecidability of halting problem?”for this magazine in a paper printing?Here is our magazine internet adress:https://onculanalitikfelsefe.com/

Your sincerely and enjoy your work!! ]]>

No, it means that every countably defined gap is filled. That is, if $x_0\leq x_1\leq x_2\leq\cdots y_2\leq y_1\leq y_0$ with $x_i

But in physics (my interest is in theoretical physics), ‘quantum hypothesis’ is the most fundamental axiom (in my opinion). Matter is quantized, and so universe made up of such units is finite. That is the fundamental difference between mathematics and physics.

]]>This seems reasonable, although it is an implicit commitment to Con(ZF), which some have doubted. For example, Silver conjectured the negation, and someone with that view would support, say, PA + not Con(ZF). We know that this is consistent relative to ZF, so one can’t really object to the basic coherence of it. Certainly it is plausible. And if one had a strong form of it, denying consistency at the level of $\Sigma_{1000}$-replacement, for example, then this would be an arithmetic statement directly contradicting ZF.

]]>