@tailcalled @argletargle That's manipulating the programs which produce the numbers, and I don't claim you can't do that.
-
-
Replying to @MoralOfStory
@MoralOfStory@argletargle I'm not sure I understand the problem. What properties must a representation have before it counts?1 reply 0 retweets 0 likes -
Replying to @tailcalled
@tailcalled@argletargle I'm using "numbers" to denote the sequence of digits. In my view, math notation is a program to produce the digits.2 replies 0 retweets 0 likes -
Replying to @MoralOfStory
@MoralOfStory@argletargle Why? Digits are not exactly well-behaved...1 reply 0 retweets 0 likes -
Replying to @tailcalled
@tailcalled@argletargle I believe that's my point :)1 reply 0 retweets 0 likes -
Replying to @MoralOfStory
@MoralOfStory@argletargle Oh. I thought your point was that no-one had done an exact&general calculation on reals/computable reals.2 replies 0 retweets 0 likes -
Replying to @tailcalled
@tailcalled@argletargle Some exact calculations can be done just by manipulating the programs, some can't.1 reply 0 retweets 0 likes -
Replying to @MoralOfStory
@MoralOfStory@argletargle Ah, but those weren't the problems I was thinking about when referring to the bad behavior of digits.1 reply 0 retweets 0 likes -
Replying to @tailcalled
@MoralOfStory@argletargle The problem with digits is that you can't even do simple calculations by program manipulation.1 reply 0 retweets 0 likes -
Replying to @tailcalled
@MoralOfStory@argletargle e.g. Addition is not possible2 replies 0 retweets 0 likes
@tailcalled @argletargle This is actually the same problem as your other example--both require actually executing multiple infinite programs
-
-
Replying to @MoralOfStory
@MoralOfStory@argletargle My other examples don't require executing infinite programs, that's the point with representing it symbolically.0 replies 0 retweets 0 likesThanks. Twitter will use this to make your timeline better. UndoUndo
-
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.