# Proving Blank-halt to be recursively enumerable through reduction to Halting problem

To prove the blank-halt problem is undecidable (does a given Turing machine halt on the empty input), it's a case of reducing the halting problem to the blank-halt problem and since the halting problem is undecidable, the blank-halt problem is undecidable.

However to prove the blank-halt problem is recursively enumerable just like the Halting problem, isn't the reduction then the other way around? In order to prove this part does the blank-halt problem get reduced to the halting problem and so if the halting problem is recursively enumerable then the blank halt problem is also recursively enumerable?

I'm confused about the reduction flow.

If you reduce $X$ to $Y$, you're showing that $X$ is no harder than $Y$ and that $Y$ is at least as hard as $X$.
So, by showing that some problem $X$ reduces to the halting problem, you're showing that $X$ is no harder than the halting problem, i.e., that it's recursively enumerable. Remember that we normally define problem classes to include all lower classes, so showing that $X$ is RE doesn't necessarily imply that it's not recursive, for example. In this case, we can separately prove that the blank halting problem isn't recursive, by reducing the halting problem to it, which shows it's at least as hard as the halting problem, as above.
{"ft_lang_label":"__label__en","ft_lang_prob":0.87781936,"math_prob":0.98532856,"size":646,"snap":"2019-51-2020-05","text_gpt3_token_len":135,"char_repetition_ratio":0.2211838,"word_repetition_ratio":0.02020202,"special_character_ratio":0.18421052,"punctuation_ratio":0.060869563,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9947842,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2020-01-29T19:14:27Z\",\"WARC-Record-ID\":\"<urn:uuid:1673fe87-e7bf-45d6-b116-a29ebea8679f>\",\"Content-Length\":\"128387\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:3849c280-56d6-4d1f-b5f4-61ed16c65db1>\",\"WARC-Concurrent-To\":\"<urn:uuid:cdb2087c-9edd-4499-b942-88f40762cea4>\",\"WARC-IP-Address\":\"151.101.1.69\",\"WARC-Target-URI\":\"https://cs.stackexchange.com/questions/83719/proving-blank-halt-to-be-recursively-enumerable-through-reduction-to-halting-pro\",\"WARC-Payload-Digest\":\"sha1:C2X4KVYVKF5EXWORBKQZMCE5N56B3ODX\",\"WARC-Block-Digest\":\"sha1:NMQPJHMFRIFXOLU67OOX7T6QNRYAVEWM\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2020/CC-MAIN-2020-05/CC-MAIN-2020-05_segments_1579251801423.98_warc_CC-MAIN-20200129164403-20200129193403-00253.warc.gz\"}"}