Can you give an example? What I'm led to think of is something like:
% Add two and two
print "4"
halt
Brent
On 9/15/2016 6:27 PM, Stephen Paul King wrote:
The idea is to think of computations as discrete, they do one thing:
process one algorithm and halt. Obviously I am not talking about
Turing machines...
On Thu, Sep 15, 2016 at 9:03 PM, Brent Meeker <meeke...@verizon.net
<mailto:meeke...@verizon.net>> wrote:
On 9/15/2016 4:29 PM, Stephen Paul King wrote:
On Thu, Sep 15, 2016 at 6:47 PM, Brent Meeker
<meeke...@verizon.net <mailto:meeke...@verizon.net>> wrote:
On 9/15/2016 11:03 AM, Stephen Paul King wrote:
I get that and buy it too, Brent. Platonia is the "flat"
Complete version, I am looking for the infinite tower of
incomplete yet consistent theories
I don't understand what you mean by that. I assume
"theories" refers to axiomatic systems. If I take one such
system, like arithmetic, I can keep adding the unprovable
Godel sentences as axioms and so create an unbounded "tower"
of systems. Is that what you mean?
Yes, sorta.
and trying to make sense of computational languages that
could use those theories. Remember that computers do not
need to be Turing Complete if they only need to compute one
algorithm efficiently and correctly.
That's the view of an algorithm as computing a function; so
given an input there is a certain correct output. But the UD
doesn't have any input.
It has itself as an input. :-P
I suppose you can think of it as a null input. But it also has not
output. It doesn't halt. So I'm not sure what you mean by
computing one algorithm efficiently and correctly.
Brent
--
You received this message because you are subscribed to a topic in
the Google Groups "Everything List" group.
To unsubscribe from this topic, visit
https://groups.google.com/d/topic/everything-list/FnHZFBf-Acw/unsubscribe
<https://groups.google.com/d/topic/everything-list/FnHZFBf-Acw/unsubscribe>.
To unsubscribe from this group and all its topics, send an email
to everything-list+unsubscr...@googlegroups.com
<mailto:everything-list+unsubscr...@googlegroups.com>.
To post to this group, send email to
everything-list@googlegroups.com
<mailto:everything-list@googlegroups.com>.
Visit this group at
https://groups.google.com/group/everything-list
<https://groups.google.com/group/everything-list>.
For more options, visit https://groups.google.com/d/optout
<https://groups.google.com/d/optout>.
--
Kindest Regards,
Stephen Paul King
Senior Researcher
Mobile: (864) 567-3099
stephe...@provensecure.com <mailto:stephe...@provensecure.com>
http://www.provensecure.us/
“This message (including any attachments) is intended only for the use
of the individual or entity to which it is addressed, and may contain
information that is non-public, proprietary, privileged, confidential
and exempt from disclosure under applicable law or may be constituted
as attorney work product. If you are not the intended recipient, you
are hereby notified that any use, dissemination, distribution, or
copying of this communication is strictly prohibited. If you have
received this message in error, notify sender immediately and delete
this message immediately.”
--
You received this message because you are subscribed to the Google
Groups "Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send
an email to everything-list+unsubscr...@googlegroups.com
<mailto:everything-list+unsubscr...@googlegroups.com>.
To post to this group, send email to everything-list@googlegroups.com
<mailto:everything-list@googlegroups.com>.
Visit this group at https://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at https://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
