Re: HALTING PROBLEM
- From: tommy1729 <tommy1729@xxxxxxxxx>
- Date: Thu, 21 Jun 2007 15:51:51 EDT
[...]
tommy
one of the reasons you will get so very few responses
when it comes to questions like those you have on
on the halting
problem
is that regular readers of these groups tend to tune
them out
they have been hashed and rehashed many times
and can become more emotional than constructive
i understand , but why doenst this happen with fermats last theorem etc ?
i am glad you are interested in the theorem on
halting machines
and i hope you take some time to look through some of
the literature
on it
i dont have much time.
and intrested is a big word since im a critic.
couldnt you just simply give an answer ??
i consider programs just as iterations ...
i might not be an expert at halting , but i hope
people ( and you ) understand my comparison with iterations.
its at the haert of my arguments.
ill look at the links if i have more time...
thanks for them anyway :-)
the halting problem has in its kernel
a use of a diagonalisation argument on fixed points
and this same kernel of an argument is used in such
classic theorems
as godel's first incompleteness theorem
and tarski's indefinability of truth
yes and no
i dont quite agree.
you could even add turing and matheyasivich to the list.
so you have 4 persons.
but it is my opinion that these results are independant.
making the halting problem incorrect or at least unneccesary ...
i often recommend this paper as an introduction to
how they are
related
http://www.emis.de/journals/TAC/reprints/articles/15/t
r15.pdf
but i have also become fond of
http://arxiv.org/pdf/math.LO/0305282
as good introductions here
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
galathaea: prankster, fablist, magician, liar
thanks galathaea
btw what does that mean ?
tommy1729
.
- Prev by Date: Re: I agree with gödel and matheyasevich : Mathematics is too hard for mathemat
- Next by Date: Re: I agree with gödel and matheyasevich : Mathematics is too hard for mathemat
- Previous by thread: Re: Why isn't James Harris working oh halting problem?
- Next by thread: Re: HALTING PROBLEM
- Index(es):
Relevant Pages
|
