@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 You can't execute the program, yes. But you can manipulate it usefully-- e.g. (a+b)+c=a+(b+c)
-
-
Replying to @MoralOfStory
@MoralOfStory@argletargle But given programs that produces prefix of n digits of numbers a&b,you can't write p. that produces prefix of a+b0 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.