But a process which is said to be potentially infinite, which will necessarily be terminated at some point, cannot truthfully be said to be potential infinite.
— Metaphysician Undercover
Care to edit this? I do not understand the last part. — tim wood
Perhaps you can explain yourself here. — synthesis
The Relative and The Absolute stand opposed to each other as that which we use intellectually (the Relative) and that which exist outside of our intellect (The Absolute). All things knowable (intellectual) are relative. These things that exist intellectually are constantly changing, exist in time, therefore their relative nature. — synthesis
Accessing The Absolute is the goal of all spirituality and religion, as this is where the The Truth lies. And although you can never know this Truth, you can be with and part of it, a need that has apparently driven man's behavior for thousands of years. — synthesis
Instead of bothering you guys, I think I'll go outside and consult with the Oak and maybe the Maple, as well. — synthesis
But I would say that while you can't take THE OBSERVATION any further, you can improve your intuitions. — Acyutananda
I will tell him about your claim that infinities play no role in programs and see what HE has to say about that. — Gregory
2' denotes a number. '1' denotes a number. '+' denotes an operation. '2+1' denotes the result of the operation + applied to the numbers 2 and 1. That result is a number. Therefore, '2+1' denotes a number. — GrandMinnow
-The program spits out numbers as it is being executed, so it doesn't need to be terminated to get something useful from it. — Ryan O'Connor
-We can discuss the execution of the program without ever running it (e.g. we can say 'if I executed the program, it would be potentially infinite) — Ryan O'Connor
n the end, I think you're splitting hairs here. What's your point? — Ryan O'Connor
π is often written as the solution to a problem - for one it's what they say is the volume of Gabriel's Horn. — Ryan O'Connor
Also, who said math had to be practical? — Ryan O'Connor
The denotation of '2+1' is 3. The denotation is not 2 nor 1 nor the process of adding 1 to 2. — GrandMinnow
A program written to spit out the natural numbers one at a time is potentially infinite, regardless of whether it's been executed or interrupted. — Ryan O'Connor
If you have ever seen π as the solution to a problem (instead of, say, 3.1415) then the process hasn't been terminated, it hasn't even been initiated. It's incorrect to say that potentially infinite processes are only useful when prematurely terminated. — Ryan O'Connor
But you don't know anything about the formulation of classical mathematics.
...
But your account of the meaning of mathematics is not compatible with the ordinary formulation of mathematics, so if your account were to have any consequence, then it would need to refer to some other formulation. — GrandMinnow
A contradiction is a statement and its negation. You have not shown any contradiction in what I said. The fact that '1', '2' and '2+1' each denote distinct numbers is not a contradiction. — GrandMinnow
A process is a sequence of steps. — GrandMinnow
Also, you have not answered how other abstractions could be acceptable, such as blueness or evenness or the state of happiness, etc. — GrandMinnow
No they are not different things. '4+2' and '10-4' and '6' are different names for the same thing. — GrandMinnow
We've gone over this multiple times already. 2+1 is the result of adding 2 and 1. 6-3 is the result of subtracting 3 from 6. The value (result) of adding 2 and 1 is the same exact value (result) as subtracting 3 from 6.
One more try to get through to you. What you get when add 2 and 1 is the same exact thing as what you get when you subtract 3 from 6. — GrandMinnow
Properties are not things that are physical objects. — GrandMinnow
I suspect that another big obstacle for you is that you don't understand that usually mathematics is extensional, not intensional. — GrandMinnow
That is, the principle of "substitute equals for equals" holds. — GrandMinnow
If you place iron filings over a magnetic field the filings will take a form in line with the field. While it's true that we only see the filings, it is untrue to say that the field is just a model. It's real. The same goes for quantum fields. — Ryan O'Connor
No. If we terminate the potentially infinite process we still get something useful (e.g. the rational approximation of pi on your calculator is a useful button). — Ryan O'Connor
But nonetheless banishing infinity from mathematics is a move of an ostrich — Gregory
But he/it doesn't, so the issue of passing particular points is no different from passing any point, and yet all those other points are never mentioned. Why is that, do you suppose? Achilleus - or the Arrow - seems to have no problem whatever passing those. Zeno's then, just an entanglement with words. — tim wood
You are free to present a formulation (or at least an outline) of mathematics and then say philosophically what you mean by it. But lacking a formulation, I would take the context of a discussion of mathematics to be ordinary mathematics and not your unannounced alternative formulation. — GrandMinnow
Please do not misrepresent what I said. I said explicitly that '1' and '2' do each refer to a distinct object. My remarks should not be victim to misrepresentation by you. — GrandMinnow
I said explicitly that '1' and '2' do each refer to a distinct object. — GrandMinnow
2+1 is a number. — GrandMinnow
It could not be more clear. 6 is the number of chairs in your dining room, and 6 is the number of musicians on the album 'Buhaina's Delight', and 6 is the number that is the value of the addition function for the arguments 4 and 2. — GrandMinnow
The value (result) of adding 2 and 1 is the same exact value (result) as subtracting 3 from 6. — GrandMinnow
One more try to get through to you. What you get when add 2 and 1 is the same exact thing as what you get when you subtract 3 from 6. — GrandMinnow
Mathematical objects and mathematical properties are abstractions. They are not theological claims like the saying that there exists a God. Also, properties like 'blueness' and 'evenness' are abstractions. You are free to reject that there are abstractions, but I use abstractions as basic in human reasoning. — GrandMinnow
We prove from axioms that there is a unique object having a certain property, and we name it '6'. — GrandMinnow
We measure the car at 60mph and maybe that's accurate to within a small margin of error. — tim wood
My impression is that you're a finitist, so I presume that you believe our universe had a beginning of time. If particles are fundamental, they must have existed at that initial moment, right? Were they concentrated at a point? I take it that you think a measurement involves the interaction of particles, so at the initial instant wouldn't they all be measuring each other? If so, how would they ever move, given the quantum Zeno effect? — Ryan O'Connor
Consider this: "QFT treats particles as excited states (also called quanta) of their underlying quantum fields, which are more fundamental than the particles." source — Ryan O'Connor
I think you're splitting hairs here. By rule I assume you mean the 'computer program' and by process I assume you mean 'the execution of the computer program'. If so, then we are in agreement, we can study the rule (i.e. the computer program). — Ryan O'Connor
(1) You are still making your use-mention mistake. Yes, '+' represents an operation and '2+1' is a representation of a value, but '2' and '1' are not values, they are representations of values. — GrandMinnow
2) As I explained, and as you ignored, + is the operation; 2 and 1 are the arguments; and 2+1 is the value of the function for those arguments. — GrandMinnow
You are conflating the meaning of the world 'equal' in various other topics, such equality of rights in the law, with the more exact and specific meaning in mathematics. — GrandMinnow
Ordinary axiomatic mathematics is extensional. Each n-place operation symbol refers to a function on the domain of the interpretation, and functions are objects. The function might or might not be an object that is a member of the domain, but it is an object in the power set of the Cartesian product on the domain. — GrandMinnow
It is the mathematical object that is the number of chairs, and is the number musicians on the album 'Buhaina's Delight', and is the value of the addition function for the arguments 4 and 2 ... — GrandMinnow
You are saying that the number of them is 6. — GrandMinnow
When we say that 2 is even, we mean that 2 has the property of being even. 2 is the object, and evenness is the property. — GrandMinnow
With '2+1 = 3', we have the nouns '2+1' and '3', and '=' stands for the 2-place predicate of equality, and indicates in the equation that the predicate of equality holds for the pair <2+1 3>. — GrandMinnow
But I am going to ask you to write something - anything - that is true. — tim wood
Are you gong to argue that the car is not moving at any speed during its traverse of the distance A to B? — tim wood
sqrt is an operation. sqrt(2) is the object that is the result of the operation applied to the object 2. sqrt is the operation, and 2 is the argument to which the operation is applied. — GrandMinnow
Your us-mention is inconsistent there. Yes, '3' represents a value. But so also does '2+1'. — GrandMinnow
'equals' is another word for 'identical with'. — GrandMinnow
A number is an object. If it's not an object, then what is it? If it is something that, according to you, might or might not be an object, then what is that something to begin with if not an object? How can we refer to something that is not an object? — GrandMinnow
This is why I think the number 3 can exist but not the 'number' sqrt(2). We never actually work with irrational 'numbers', we only work with their algorithms or rational number approximations. So why do we even need to assume that irrational 'numbers' exist? Why not assume that irrationals are the algorithms that we actually work with? — Ryan O'Connor
After all we don't know the ultimate nature of reality so who's to say if the notion of instantaneous velocity really makes sense. — fishfry
A car going at constant speed passes point A at stopwatch time=0, then passes point B, one mile further at stopwatch time=one minute. You ask, "What was the speed of the car back there at point A?" Your answer, "It was moving at 60 mph at point A". — jgill
I don't agree with this claim so I'd like to see your evidence that supports it. What is fundamental in quantum physics is the wave function, a continuum. Definite states (like points) only emerge when a measurement is made. — Ryan O'Connor
Assume that there exists a wave function of the universe that spans all of time. This is the fundamental object of our universe and it is a continuum. And until the wave function is measured it is meaningless to talk about who lived when and where because a wave function does not describe what is, it describes what could be. It is only when you make a measurement that all of the potential states collapse into a single actual state. When I say that points are emergent, I mean that they only emerge when we make a measurement. We cannot say things like 'there are infinite points on this line' because we have not actually placed infinite points on the paper...what we placed on the paper was a line. — Ryan O'Connor
Put it this way: a computer program that calculates 2+2 is what I mean by 'process' and such a program can be studied (even if the program is never executed). — Ryan O'Connor
A moving body has an instantaneous velocity,../quote]
Yes, because that is the convention, use some math, and figure out the "instantaneous velocity", just like the convention is to place a zero limit on the example of the op. But what these conventions really represent may not be what one would expect from the terms of usage. — fishfry
But why the square root of 2? How about the number 3? That has no more claim on existence than sqrt(2). — fishfry
Clearly numbers don't have the same claim to existence as rocks or fish. — fishfry
This thread hasn't even begun to touch on the subtleties of that subject. I've seen no decent arguments one way or the other. And if that's what the OP really cared about, they'd have asked if 3 exists. Once you bring in sqrt(2) you are talking about mathematical existence. — fishfry
It's "above their pay grade" as Obama would have said. So make an argument. Do you think 3 exists? Of course the positive integers have a pretty good claim on existence because we can so easily instantiate the smaller ones. So how about 2googolplex2googolplex? That's a finite positive integer that could in theory be instantiated with rocks or atoms, but there aren't that many distinct physical objects in the multiverse. So make an argument, say something interesting about this. Forget sqrt(2). Do you think that extremely large finite positive integers exist? — fishfry
Eternal circular motion is fine. — Gregory
In fact your earlier point is correct, any measurement is taken over time. — fishfry
You must be aware that Aristotle rejected points (infinitesimals) and instants — Gregory
Time for you to develop a new axiomatic system, then, that leads to "Truth". — jgill
Pi is a finite number because it's inbetween 3 and 4. But if the length of a circumference is multiplied by pi than you have a length with space corresponding to each number, so the circle has infinite space within a definite finite limit (like being inbetween 3 and 4). Aristotle never understood this stuff — Gregory
The fact that your philosophy would result in a weaker mathematics is a red flag that you're on the wrong track. — Ryan O'Connor
I made this video on my proposed resolution to Zeno's Paradox. What do you think? — Ryan O'Connor
When I say that processes are valid objects of mathematics, I simply mean that they can be studied in themselves, just as one might write a book entitled 'The Art of Dog Walking'. — Ryan O'Connor
"There exists an object that has the property that its square is equal to 2" is perfectly fine English. — GrandMinnow
Existence is the same. If someone's been existing for a few decades they know as much about existence than a philosopher. The philosopher knows the history of what great thinkers have written about the subject. But philosophy does not confer actual knowledge of its subject; only knowledge of what others have said. — fishfry
In particular, a philosopher who knows hardly anything about mathematics is in no position whatsoever to comment on mathematical existence. Many philosophers of mathematics are in this position. They simply don't know enough math to comment intelligently on the subject of mathematical existence. — fishfry
If you reject potentially infinite processes as valid mathematical objects then you must reject calculus, and nobody will buy into your philosophy. — Ryan O'Connor
The mathematical object is the process itself. — Ryan O'Connor
The other Wheels turned on, they were parts of an elegant piece of machinery, and they had been made to turn. But there was a hole, the bored Wheel had left a fault in the perfect system by leaving. The Wheels that had been beside it turned and turned, and they stretched to fill the holes, widening their teeth and reducing the space between teeth. — New2K2
Finally the other Wheels touched again, here was a productive use of thought they said to each other, and began to grind again, on and on they ground on each other, grinding nothing, but this time the stretched wheels grated on each other, they scraped and ground and grated, at first this was horrible but soon they had smoothened each other out, scraping off the flecks that caused the grating. — New2K2
The equations of special relativity entail that nothing can accelerate up to or beyond the speed of light, taken as the constant c, since the logical consequence would be a division by zero. — jkg20
Can you explain this to Metaphysician Undercover and @Ryan whose handle doesn't show up when you use the @ button? — fishfry
But actually it's a good question. Suppose there were such a thing as an instant of time, modeled by a real number on the number line. Dimensionless and with zero length. So the arrow is there at a particular instant, frozen in time, motionless. Where does its momentum live? How does it know where to go next? — fishfry
Ok. Maybe. Let me put to you a hypothetical. An object moves with constant velocity. Does it have a velocity at a given instant? — fishfry
I'm kind of done with this topic, the point I'm making isn't worth all this ink. You don't need calculus to do analog measurements. And yes physical measurements depend on time, even if those intervals are tiny. There aren't any actually physical instants as far as we know. Or as far as we don't know. The matter is not answered by current science. — fishfry
Yet, it still HAS a velocity, wouldn't you agree? — fishfry
Still, would you at least grant me that velocity over a short but nonzero distance exists? — fishfry
"There exists a unique x such that x^2 = 2." — GrandMinnow
In short, your objection is valid, but overly general. We can't measure any physical quantity at all by your logic. What if I want to measure the wavelength of a beam of light? Well I use a spectrometer, but all that really measures is the prism or the glass or however spectrometers work. — fishfry
My newest guess is, that there is a layer for all objects (quants) that can interact
(except interacting with gravity),
and if some interact than the layer for all objects is increased.
This way we get in the layers a kind of time arrow since the big bang,
and properties (even in math like prime decomposition)
can depend from it and change with time. — Trestone
No, actually. Not even a computer program doing the same. Rather, there is a little induction motor attached to the driveshaft. The faster you travel, the faster the drive shaft spins, the faster the induction motor turns, the more current it outputs. And that current directly drives the needle of your speedometer.
Your speedometer is not a mathematically derived average. It is in fact a direct analog measurement of the instantaneous velocity of your car; subject of course to slight mechanical error common to any physical instrument. The velocity is an actual, physical quantity that can be directly measured -- that IS directly measured -- without recourse to any formal mathematical procedure. — fishfry
A potentially infinite process is one which will not end (unless prematurely terminated). Does this work for you? — Ryan O'Connor
Well, can't the answer to the question simply be the infinite process? — Ryan O'Connor
For instance, consider the question 'what is the area of a unit circle?' Is this a valid question? In one sense, I think you're right since no rational number will do. But in another sense, I think you're too strict in only accepting rational numbers. I think it's valid to say that the answer is pi, which I believe corresponds to a potentially infinite process. (Well my beliefs are changing a bit as I talk here with norm but I think you get what I'm saying). — Ryan O'Connor
And your claim that there's no such thing as instantaneous velocity is falsified by your car's speedometer. — fishfry
