Why do we proof the halting problem with turing machines? It can be shown that Turing machines, μ-recursive functions and reasonable programming languages can compute/decide the same problems. I wonder why we then still proof the halting problem with Turing machines.
Isn't it much easier to argue that the function halts below cannot exist in e.g. python since then I would be able to write the following program which is a contradiction.
def halts(source):
  ...

if __name__ == &quot;__main__&quot;:
  this_file = open(__file__)
  if halts(this_file.read()):
    while True:
      pass
  else:
    return 1

Why is this proof not as good as the TM diagonal argument?
Edit: I read https://cs.stackexchange.com/a/94235/119946

OK, fine. This proves that the halting problem can't be solved for
code written in any programming language that has a
get_source_code_of_current_function() API. However, my favorite
programming language doesn't have such an API. So, this proof doesn't
prove anything about my favorite programming language -- perhaps the
halting problem is solvable for my language, who knows? Similarly,
Turing machines don't have such an API, so this doesn't prove that the
halting problem for Turing machines is undecidable.

I mean by that argument I can say the TM proofs only shows that the halting problem cannot be decided by Turing machines, but does not show anything about python. Isn't the crucial part, that (as I wrote) TM and modern programming languages can compute/decide the same problems? If one can decide the halting problem, then all other can do so as well and vice versa.
You could totally do that, but there are some consequences it's worth being aware of.

TM proofs only show difficulty of the halting problem for TMs, but here's a crucial thing that you might be overlooking: it is easy to implement a simulator of a TM in any language of one's choice.  That can probably be done in a few dozen lines of code and it is conceptually straightforward.  This lets us very easily see that the halting problem is also hard in those other languages, too.
The same is not true for Python.  You can't write a Python interpreter in a few dozen lines of code.

Let me try it another way.
Some languages don't have a __file__ global variable or anything with similar semantics.  That makes it unclear whether your result applies to other languages.
Sure, we could try to write down a reduction.  In some other language, we could build a Python interpreter that supports __file__.  But that's not a trivial exercise!  We might need to implement a filesystem, library functions that interact with the filesystem, a parser for Python code, an interpreter for Python code, and so on.  Nothing you can code up in a few hours, and it's not trivial to construct such a reduction.

Now, sure, your argument does work, so it's just a matter of taste which you prefer.  I am showing you some reasons why someone might prefer the TM proof.  If you prefer the Python proof, that's fine.  That's your choice. I just want you to be aware of the implications of your choice, and for you to understand all of the steps of reasoning that you have to go through, if you want to use it to draw conclusions about other programming languages.  Arguably your choice makes some parts of the reasoning easier, and some parts (the application to other programming languages) harder.