I'm not inclined to indulge you with a formulation that is more complicated than it needs to be. I offered you a more simple outline. You can follow u...
AMAZING obtuseness right here: And this answers the question: No you did NOT understand the post mentioned in my post above. I went out of my way to d...
It's good that you've conceded that there is no convergence to an object, that the algorithm does not terminate, and there is no last row. And it seem...
It's not apparent, because it's false. I can't help you there. You made the claim: jgill replied: You replied: But jgill's reply is relevant, by sayin...
Addition to an earlier post by me: I don't know who you claim are the "some posters", but at least I have not "hoped to demolish" the poster's notions...
Good to know that I don't have to scramble to read an entire article you've linked to just to know what you're claiming. Anyway, again, nothing I've s...
In your definition of the set of minimal elements, you mistakenly left out a quantifier over 'x'. The formula should be: M(F) = {m e F | Ax(x e F -> ~...
Usually when someone posts a link, it is taken as a suggestion to visit that link. So, without you saying what specifically you wanted me to take from...
I didn't mention Dedekind infinitude, only because I had too much to cover already. x is infinite <-> x is 1-1 with a natural number. x is Dedekind in...
I've responded to all your main points and nearly all your secondary points. And I answered the exact questions you asked me. Meanwhile, I've asked yo...
I've supplied some pretty good posts. The infinitude of it was a joke to express that it feels interminable. More than fair in that way. The simple ve...
In sum: Your 'pseudo-intervals' are okay, up to, but not including, a 'vanishingly small pseudo-interval'. But it's unnecessarily complicated when ins...
You STILL don't get it. You just keep putting new clothes on an old pig. Every time, you reformulate but you retain the essential fallacy. There is no...
If you would like to make some point about what is written in a paper, then you can say what that point is, rather than just have me scurry and sidetr...
The gravamens may not be mathematical, but certain mathematical points have entered in. As to the mathematical points themselves, agreed upon definiti...
In the public discourse, it is mentioned that the quality of the public discourse is deplorable. But it's interesting to me that you don't see mention...
I'll take your word for it that R RL yield successively more accurate approximations of Phi. Algorithm (1) X = R. Go to (2). (2) X = XR. Go to (3). (3...
I added this: Df. if x is a member of the extended reals, then x has finite magnitude if and only x is a real number Df. if x is a member of the exten...
And I would like your answer whether or not you understand this: " the limit of infinite SB paths are nodes corresponding to real numbers." — keystone...
I asked you a question: Do you agree that in principle any algorithm can be stated as a Turing machine? Please answer that. The set theoretic formulat...
I'm not looking forward to a response in which I would read you compounding your confusions due to ignorance of the basic mathematics and dodges to fa...
Disagreements about terminology are unnecessary. Discussants can instead acknowledge the clear definitions in mathematics: INFINITE: Df. x is finite i...
It's like the material conditional. The weaker the antecedent, the stronger the conditional, and the stronger the antecedent, the weaker the condition...
The legal example is M&B. She reduces her claims successively: Now she has a herniated spinal disk. to Now she has symptoms. to Now the symptoms are d...
But, sincerely, I do like your new version of the tree, accounting for the negative rational numbers. Also, in context of standard math, I like the el...
Let's contrast with mathematics: We have axioms and definitional axioms. We provide an algorithm by which to determine whether a given string is or is...
That is egregious. First you said reals are paths. And that is plausible. Then you said reals are not paths but they're nodes. That is absurd since th...
Do you find that jurors can usually be counted on to reason logically? I don't know about the courtroom, but I find that in everyday life, people are ...
I like this better: (1) Print "Hello". Go to (2). (2) Go to (1). (3) Print "Goodbye". Halt. That's an algorithm. The execution of it successively prin...
Of course. I'm not claiming to talk about every possible context. This is at the level of some generality that we would understand not to be completel...
I don't think I've ever seen that. Anyway, that starts as a reductio ad absurdum (or modus tollens, whatever) argument against a bailey X, which is co...
I'm not sure I like that notion. It premises freedom on its utility, while I think of freedom axiomatically as an end in and of itself. It would be re...
That's an interesting example. And excellent for illustrating M&B. This is getting away from the purpose of your example, but I want to show another a...
First, I don't claim always to live up to the being a most high-minded discussant. Second, I don't know what you think is low-minded about my saying: ...
Among all the nonsense you posted, this is a good item to especially highlight: Now we are back to where we were near the beginning of this thread! As...
You still systematically resort to sophistry. But I will spend some of my finite supply of patience anyway, though I shouldn't. First, do you agree th...
Probably, the idea of reals as programs has been written about. I wonder whether it's covered in the subject of computable analysis. And it seems inte...
Refraining from sophistry is a basic requirement. Charity and Steelman Variation are "going the extra mile". I don't know why you say that. On the con...
M&B X asserts B and/or argues for B. Y refutes either B or X's argument for B. As if to pretend that neither B nor X's argument for B were refuted, X ...
PS. As I mentioned, in my first few posts I mistook your initial proposal. In those posts I have now added edits in brackets, and marked as 'Edit', to...
VARIOUS There are two different notations: (1) lim 1/x = 0 There 'inf' does not stand for an object named 'inf'. Rather, it is an informal placeholder...
DID SOMEBODY SAY 'PATHS'? You are SUCH a liar. To be clear, my point here is not to claim that one should be discouraged from revising one's position ...
FALSE TELLERS Now you are even lying about lying. I mentioned a dictionary definition, and instead of reporting back the whole definition, you truncat...
For reference, these are the approaches that have been discussed here: STANDARD (1) Reals are Dedekind cuts. Advantages: * Easy to visualize. * 'less ...
Comments