Infinite-domain programs

What about (IDPLs) infinite-domain programming languages/substrate?

Turing jumps
     · en.wikipedia.org/wiki/Turing_jump
Ultrafinitism
     · en.wikipedia.org/wiki/Ultrafinitism
Hypercomputers
     · en.wikipedia.org/wiki/Hypercomputation
Black hole hardware (e.g., Malament–Hogarth spacetime)
     · en.wikipedia.org/wiki/Malament-Hogarth_spacetime
Unbounded nondeterminism (e.g., ActorScript)
     · plus.google.com/+PhilipThrift/posts/agS5SR31pPZ
A typed FOL for deflating infinite domains
     · plus.google.com/+PhilipThrift/posts/GGeDVVTX1Mg

ActorScript is a candidate, but for the most part, IDPLs are TBD (To Be Developed).

 

Philip Thrift

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s