|
As they say always
read the original work, in this case the paper by Turing - the man was a
mechanical genius as you'll see in his paper on entscheidinsproblem (it is I
believe downloadable from the web), and it uses same proof methodology godel's
theorem is based on.
It always amazes me
that I encounter skepticism with any statements about fundamentals but maybe the
best attitude is that developed by the academics and which you certainly learn
in grad school, tread somewhat tenderly with the theoretics since sweeping and
easily misinterpreted statement result, not to say you might be getting them
wrong yourself.
_______________________________________________
Ma-linux mailing list
Ma-linux@xxxxxxxxxxxxxxx
http://calypso.tux.org/cgi-bin/mailman/listinfo/ma-linux
|