The idea that there is such a thing as analogue computation is a classic oxymoron. The logic of the digital is computation and vice versa. (Now let's see how quickly this thread devolves.)
-
-
Replying to @NegarestaniReza
Physics notwithstanding, how does computation-as-necessarily-digital square with either the Church-Turing or Curry-Howard-Lambek views of computation? All those formalisms are conceptually prior to digitality. Logic of comp. is recursive & constructive; digitality is incidental
1 reply 0 retweets 7 likes -
Replying to @warrendhatton
I agree, when I say digital I mean it in its logical sense, the undergirding.
1 reply 0 retweets 7 likes -
Replying to @NegarestaniReza
My intuition is that serializability and information are inherent aspects of the digital as distinct from the computational. But maybe the mere possibility of Kolmogorov complexity is indication that these aspects are always there in computational things anyway.
1 reply 0 retweets 1 like
Re your last post: Most probably, this is also Paul Vitanyi's intuition:https://www.amazon.com/Introduction-Kolmogorov-Complexity-Applications-Computer/dp/0387339981 …
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.