ARTICLE:
Readers' Choice: True Lies: Why Mathematics is an Illusion
[back to article]
Login or
create account to post reply or comment.
amrit wrote on Nov. 30, 2009 @ 15:20 GMT
Does universe has any dimension or it is dimension-less?
In the universe we can observe only distances not dimensions. Thee dimensional Euclid space, four dimensional Riemann space and multidimensional geometrical spaces are merely mathematical models and not physical realities.
As in the universe we can observe only distances we can only observe motion. Time as a clock run and different geometries are man inventions with which he describes motion i.e material change in the universe. Universe itself is dimension-less and time-less. Space-time is a math model only and has no correspondence in physical universe.
A see more adequate picture of the universe in three-dimensional objects of different sizes from Planck size above. This picture is more elegant and less complicated as a picture of n-dimensional physical objects coupled together as a Russian Matjuskas.
Whatever model we take, we have to be aware it is only a picture. Conscious observer is aware of that.
yours amrit
report post as inappropriate
amrit wrote on Nov. 30, 2009 @ 15:44 GMT
PS
Regarding the title here, mathematic is not an illusion. Mathematic is a projection of consciousness into human mind. Logic is based on neuronal dynamics that corresponds fundamental physical properties and dynamics of the universe. Logic and mathematic are realizations – manifestations of consciousness in the rational part of human mind.
“Illusion” is thinking that mathematical objects as space-time, gravitational waves, hypothetical particle “chronos” and some others are physical realities. “Illusion” is created by not clearly distinguishing between “scientific picture” and universe itself.
report post as inappropriate
Lawrence B. Crowell wrote on Nov. 30, 2009 @ 20:49 GMT
Topos theory or topoi describes sets of sheaves which have some categorical equivalence by functors. So what Isham and Doring are setting up is a system where one observer will detect things under one algebraic variety, while in general observations can occur under a whole set of such varieties. A formalism of quantum gravity may well have this sort of feature. My general comment is that this tends to appeal to abstractions as a way of doing physics. What is likely to change how we think about physics is some physical principle, or some new manner of thinking where obstructions to the quantization of gravity are removed. The formalism which emerges from this could then involve this sort of category theory.
Cheers LC
report post as inappropriate
paul valletta wrote on Nov. 30, 2009 @ 23:50 GMT
The previous posting "topos or not topos",I recall reading and trying to get around the complex notions and ideas/ what I found is that the macro system can be thought as being "True" whilst the quantum system being thought of as "False". The bigger the system the more real or relative it becomes, and conversely the more micro a system becomes, the more trouble one has in retaining relative properties such as position ie.
For all intensive purpose, the undetectableness of a system is related to it's "falseness"? one can be mathematical certain of existing within relative 4-D space-time, but one cannot transpose the mathematics below quantum scales with exact certainties.
Ultimately one can coclude this:What is True on large scales, may not be proveable "True" on small scales, and what is "False" on large scales may not be proveable on small scales?
Due the exactness of relativity, the opposing systems such as string theory may, by its very nature be only identified by its "falseness"?..if stringtheory was "true" then relativity must be false..at least by the insights of topos theory, as I understand it that is !
best p.v
report post as inappropriate
paul valletta wrote on Dec. 1, 2009 @ 00:03 GMT
Stringtheory is a beautiful theory, because of it's inability to be mathematically proven ?
It sounds almost as if these words are ringing out from a distant past philosophy, maybe one of Jung?
very interesting idea's
p.v
report post as inappropriate
STEVE JEFFREY replied on Feb. 21, 2010 @ 10:08 GMT
How to prove string theory in one easy lesson.
Add both sides of the blackboard to get string theory to balance.
and add the five string theories.
1/3 APPLE+ 1/3 ORANGE+ 1/3 ORANGE= 1 APPLE/ORANGE.
Add the equatons three at a time selecting the equations intelligently to be added.
Then keep adding until you have just one equation for all string theory.
Then put this equation to the test................
in the real world.
Steve
report post as inappropriate
Lawrence B. Crowell wrote on Dec. 1, 2009 @ 03:24 GMT
I have a tangential interest in this. A quantum error correction code exists on the 24 + n dimensional spacetime, where n = 2 on the light cone gauge of the n = 3 Jordan exceptional algebra. The 24 -dimensions describes a Leech lattice system, and the additional n dimensions are a projective variety. This projective variety defines another covering quantum code called a Goppa code. This has topoi mathematics, since projective varieties define sheaves, and the coding structure is a categorical system on sheaves --- similar to the Grothendieck system or etale topos.
However, before blasting away with that I am trying to establish a physical reasoning for this. In some ways this is harder than the mathematics. It centers around the obstruction to the existence of a continuous time operator in quantum mechanics.
In what I am proposing string theory does play a role. The 26 dimensions above pertain to the 26-dimensional bosonic string. I don’t think the problem with string theory is mathematically proving things. The mathematics can be worked out. The problem is really with direct empirical observations. Topos theory, if that is called to really bear on physics problems, will indicate how certain theoretical observations (what an observer detects) varies in ways which appear radically different, but which ultimately have some categorical equivalency.
report post as inappropriate
Anonymous wrote on Dec. 1, 2009 @ 03:49 GMT
Hermann Weyl once commented:
'While topology has succeeded fairly well in mastering continuity, we do not yet understand the inner meaning of the restriction to differentiable manifolds. Perhaps one day physics will be able to discard it. '
We are now ready to do that. In fact it has been done and the results are so amazing that most theoretical physicists cannot even recognize or understand the successful completion of Einstein's 3-part relativity project: [1] Special Relativity (relativity of S-T for inertial frames); [2] General Relativity (relativity for inertial + accelerated frames); [3] discrete conformal relativity (discrete relativity of scale).
Welcome to the 21st century,
RLO
report post as inappropriate
Peter van Gaalen wrote on Dec. 1, 2009 @ 06:59 GMT
Lawrence@:A quantum error correction code exists on the 24 + n dimensional spacetime, where n = 2 on the light cone gauge of the n = 3 Jordan exceptional algebra. The 24 -dimensions describes a Leech lattice system, and the additional n dimensions are a projective variety. This projective variety defines another covering quantum code called a Goppa code. This has topoi mathematics, since...
view entire post
Lawrence@:A quantum error correction code exists on the 24 + n dimensional spacetime, where n = 2 on the light cone gauge of the n = 3 Jordan exceptional algebra. The 24 -dimensions describes a Leech lattice system, and the additional n dimensions are a projective variety. This projective variety defines another covering quantum code called a Goppa code. This has topoi mathematics, since projective varieties define sheaves, and the coding structure is a categorical system on sheaves --- similar to the Grothendieck system or etale topos.
Lawrence@: In what I am proposing string theory does play a role. The 26 dimensions above pertain to the 26-dimensional bosonic string. I don’t think the problem with string theory is mathematically proving things. The mathematics can be worked out. The problem is really with direct empirical observations. Topos theory, if that is called to really bear on physics problems, will indicate how certain theoretical observations (what an observer detects) varies in ways which appear radically different, but which ultimately have some categorical equivalency.
Lawrence, I am also very interested in the 26 bosonic string theory. According to Michio Kaku there are two kinds of fibrations in heterotic string theory, one fibrating in the 26-dimensional spacetime the other in 10-dimensional spacetime. 26 - 10 = 16. The symmetry group of this 16 dimensional space is the group E(8) x E(8).
My octonionic model of gravity is a 16 dimensional model. It is a closed system of spacetime and includes mass and energy, it encompases general relativity. Probably the two opposite octonions involved already possess supersymmetry. The simple quadratic structure of the octonionic model probably doesn't allow spin 2 particles. In that case gravitons can't exist. The 16 dimensions form a base manifold. The planck constant is part of it. The other dimensions must be completely separated from this base manifold, they are the internal dimensions forming a fibre bundle above the base manifold. They can have their own planck constants (which is suggested by the fine structure constant), but if they have then this will be the second reason that they can't be part of spacetime. The 16 dimensional octonionic model of gravity only has three spatial dimensions. The problem with 10 dimensional stringtheory is that they treat 9 dimensions as ordinary spatial dimensions. I think that is terribly wrong. I suggested that for instance in Kaluza-Klein theory the fifth dimension can be electromagnetic flux. In that case gravity has no influence on it and the electron can savely put into the theory. Or in steat of em-flux we can take em-length (product of em-length and velocity gives em-flux).
The interesting question is how those internal dimensions are related to the two octonions underlying the 16 dimensional base manifold. And how many dimensions are the internal dimensions composed of? are there more then 10 dimensions? Are they also hypercomplex numbers? What is the relation between a base manifold and the fibre bundle over it? What kind of mathematical structure would this be? It must be a very basal mathematical entity that we haven't discovered yet.
Peter van Gaalen
view post as summary
report post as inappropriate
Anonymous wrote on Dec. 1, 2009 @ 17:09 GMT
There once was a man named Kaku,
Who imagined himself a guru.
While hunting hidden worlds, alas,
He stuck his head far up his ass,
And declared: "That world is made of poo!"
Gratis,
RLO
www.amherst.edu/~rloldershaw
report post as inappropriate
The 7-sphere here plays a central role in this matter, for it defines a holonomy which is crucial in defining a cubic action. I will say that this is holographic, and there are ways of working a matrix theory this way. The best approach is the Jordan ex wrote on Dec. 1, 2009 @ 23:19 GMT
The relationship between the 26 and 10-11 dimensional cases is subtle. The bosonic string has Virasoro cancellation of central anomaly for D = 26, and for supersymmetric theory it is 11 dimensional. The 11 dimensional case involves M^4xS^7, where the S^7, or its related S^6 under the light cone gauge, contains the Calabi-Yau data under compactification. The 7-sphere here plays a central role in this matter, for it defines a holonomy which is crucial in defining a cubic action. I will say that this is holographic, and there are ways of working a matrix theory this way. The best approach is the Jordan exceptional algebra. This is the algebra of the octonions, which extends the E_8 octonions into a triality. The J^2(O) = R (+) V [(+) = oplus] is of the form
[equation]J^2(O) = \left(\matrix{z_0 & {\cal O}\cr
{\bar{\cal O}} & z_1}\right)[/equation]
which is extended to the J^3(O) matrix algebra. The triality in J^3(O) includes an E_8 matrix of vectors and two spinor matrices. These do correspond to a Feynman diagram where a vector (boson) decays into a spinor and its conjugate. The Feynman diagram is a three-way spoke, with V ~ O going in and O’ and O” going out. The J^3(O) is R (+) J^2(O) (+) θ (+) bar-θ,
[equation]J^3(O) = \left(\matrix{z_1 & {\cal O}_0 & {\bar{\cal O}}_2\cr
{\bar{\cal O}}_0 & z_2 & {\cal O}_1\cr
{\cal O}_2 & {\bar{\cal O}}_1 & z_0}\right)[/equation]
for the spinorial (fermionic fields) octonions in O and O”. The vector term given by the ocotinion O, V ~ J^2(O) decays into V --> ψ + bar-ψ. This is a manifestation of the automorphism of G_2, and is an elementary Feynman diagram for a supersymmetric gauge interaction. So the two spinorial octonions are the O^2 or two E_8’s which you refer to.
The space here is 27 dimensional. The O’s are each 8-dimensional, which gives a general span of 3x8 + 3 = 27 dimensional. The above triality condition, along with some anomaly cancellations of vertex algebras, defines a space of reduced dimension of 8 + 3 = 11 dimensional. On the light cone frame (infinite momentum frame) the space in 27 dimensions is reduced to 26 dimensions and the 11 dimensional space to 10. These are the corresponding bosonic string Lorentizian spacetime and the supersymmetric space of supergravity respectively. The diagonal elements of this matrix define a Chern-Simons lagrangian of scalar terms for x_i --> p_i + A_i (the cubic nature of this is apparent) and a general Lagrangian defined as the determinant of J^3(O) under all triality transformations defines a cubic action. This then determines an equivalency between a field theory term and a dual boundary field. This field ~ boundary of dual field is a cornerstone of AdS.CFT. The AdS/CFT can be found for the case where two scalars in J^3(O) define timelike directions.
Cheers LC
report post as inappropriate
Lawrence B. Crowell wrote on Dec. 1, 2009 @ 23:20 GMT
Oops~ I copied part of the post in the name box! Yikes, that looks crazy!
Cheers LC
report post as inappropriate
Georgina Parry wrote on Dec. 2, 2009 @ 04:48 GMT
All matter and constituent particles are continuously changing position and thus form within space, and all particles are in continuous motion, all things are in a continuous state of becoming. I have described the necessary energy for universal motion and development of structure from the complexity of the medium as the Universal potential energy difference between the two states of existence,...
view entire post
All matter and constituent particles are continuously changing position and thus form within space, and all particles are in continuous motion, all things are in a continuous state of becoming. I have described the necessary energy for universal motion and development of structure from the complexity of the medium as the Universal potential energy difference between the two states of existence, that is promotional energy. This might also be worded as there is broken symmetry causing progression from one state to the next in the sequence. Or there is a change in energy level from one state to the next, giving a sequence of change.It is all the same.
The particular state of being of the matter or particle is not being influenced only by forces and co-present matter within 3D space but by the 4th dimensional progression itself. The particular state of the matter observed will depend "when" on its journey of becoming or to be more precise at which particular state of becoming the measurement or observation is made. Time is irrelevant to the actual change itself, as it is just a regular measurement used within everyday experience and scientific measurement, that occurs within 3D space and is substituted for the continuous spatial change.
The 4th dimensional spatio-energetic change enables the modelling of the becoming rather than that which -is- within 3D space.Without the suggestion that matter is smeared or duplicated throughout time. It does not give rise to the grandfather paradox or need for a multiverse. The objects potentially observed states of being can be imagined existing sequentially as spatial variations along the 4th dimension not as multiple possibilities occupying the same 3D space. Though the imagined other possibilities have no existence outside of the imagination when the particular state at the moment of observation is determined. They were only potential candidates for the prize of being in existence at the moment of observation.
This can be modelled using quaternion mathematics, where the scalar dimension is not time but spatio-energetic. 3 spatial dimensions are not enough. Orientation of that dimension's axis being from whole exterior to interior centre of gravity of matter or singularity of particle.It is scalar and so has no single orientation from within 3D space. Continuous change in position of matter along the scalar dimension give the rotations observed in 3D space, gravity, the "arrow of time" and increasing complexity of structure. So the object and constituent particles are not smeared through and changing in time but are rotating and developing within space only. This kind of modelling is already widely used in computing and guidance systems.It is found superior for such purposes, avoiding gimbal lock.
I do not know whether the new mathematics proposed in the article is actually required. Revitalisation of the old quaternion mathematics may suffice. Which already appears to be well under way.
If it is considered necessary to say how that loss of potential energy (necessary for gravity, creation and arrow of time) is balanced, it can be hypothesised that balancing the aforeward flow of matter and particles along the 4th dimension there is aftward flow of the medium of space (Call it whatever you will.) If this is particulate material it might be observed as antimatter. These could be conceptualised as particles moving backwards in time though this would only be a philosophical perspective on the aftward 4th dimensional movement within space. The flow of matter in its process of becoming being balanced by the counter flow of the medium. As every change in spatial position requires further change in spatial position of particle, matter or medium and every energy change gives rise to a further energy change, these being two aspects of the same phenomenon. Conservation of energy being conservation of spatial change. The Megauniverse can thus be hypothesised to be in a state of perpetual motion and ultimately balanced creation and self destruction. Where rather than fading away to nothing small perturbations within the medium of space at the exterior of the hypersphere can lead, via the processes of chaos and complexity theory, to creation of new powerful forces, structures and organisation.
view post as summary
report post as inappropriate
Eckard Blumschein wrote on Dec. 2, 2009 @ 15:23 GMT
I would like a more radical return to really sound mathematics instead of mysticism. Isn't set theory based topology unable to cut the real line into two symmetrical parts?
Let me comment on this:
"Isham and colleagues have identified a topos in which quantum theory appears to make logical sense—as long as you embrace a new type of logic, in which "true" and "false" are no longer your only options. There are now multiple shades in between."
Cantor's naive set theory deliberately ignored so called 4th logical option. Isn't it justified to ask for a honest while less exciting solution instead?
"In a sense, using a topos is changing the whole of mathematics," says Döring.
How can the application of a branch of a mathematics that is based on a - as I found out illfounded - theory change the whole of mathematics to the better?
Incidentally to me, the words "in some sense" tend to hide a vague speculation.
Eckard Blumschein
report post as inappropriate
Anonymous wrote on Dec. 2, 2009 @ 20:40 GMT
I said "I do not know whether the new mathematics proposed in the article is actually required." That was perhaps a little too diplomatic to convey my genuine opinion.
I am sure that this mathematics is not necessary to explain the physics that is observed. Quaternion mathematics will do the job nicely, in my opinion. The quaternion mathematical approach has to be the way forward as it is the logical way to model the universe, that answers the foundational questions and overcomes the paradoxes. Doug Sweetster seems to be doing some good work here.
Doug Sweetster's maths Not being a mathematician I would not like to analyse or criticize his work. It would only serve to show my own limited ability. Though I would be interested in the opinions of other mathematicians. Just to get a measure of how well he is doing. I am really optimistic about this approach. If there are "issues" that is still OK.
As Feyman said at the start of his Noble prize lecture. "We have a habit in writing articles published in scientific journals to make the work as finished as possible, to cover all the tracks, to not worry about the blind alleys or to describe how you had the wrong idea first, and so on. So there isn't any place to publish, in a dignified manner, what you actually did in order to get to do the work, although, there has been in these days, some interest in this kind of thing."
I think the "in a dignified manner" is important as it is about reputation. I do not know who said it first (it may have been Lord Snowdon or Lord Lichfield) but there is a saying that "the secret of being a good photographer is never to show people your bad photographs" or words to that effect. I would dare to say that all good scientists and good photographers also have a lot of work that they are not proud of because they do not attain the fully formed idea or perfect work from the outset every time.
With regard to the topos mathematics. I do not think it is without any value just because it is unnecessary within physics. I categorise it as interesting, unknown potential, not immediately useful.
report post as inappropriate
Georgina parry wrote on Dec. 2, 2009 @ 20:40 GMT
Georgina Parry wrote on Dec. 2, 2009 @ 20:50 GMT
Georgina Parry wrote on Dec. 2, 2009 @ 21:27 GMT
Lawrence B. Crowell wrote on Dec. 2, 2009 @ 23:06 GMT
The process of cutting a line is the Dedekind cut.
Topos theory does not involve Cantor's transfinite numbers. Topos theory does invoke the Zariski topology, or systems of projective and algebraic varieties which are in general non-Hausdorff. The only connection with set theory is with foundational issues that are purely mathematical. Most people working on this or related issues of sheaf theory in algebraic geometry are not focused particularly on set theoretic underpinnings.
Sweetser's GEM theory!? I have encountered this guy on other blog or forum sites. First off, if you want to study quaternions, then study Clifford algebras. My comment on Sweetser's stuff is that he is, as I recall, building up a theory of gravity based on electromagnetism, or the quaternionic formulism of EM going back to Maxwell. He has been plugging on this for years, and the whole thing keeps snowballing into an endless tangle and nest of complicated formulae. I and others would find difficulties with his ideas and he would keep patching it up, and the whole thing kept evolving into this increasingly ponderous web of complexity. I don't think his theory beyond the second order in post-Newtonian gravity can be correct.
Cheers LC
report post as inappropriate
Georgina Parry wrote on Dec. 2, 2009 @ 23:10 GMT
I would just like to explain how the ideas I have posted here tie in with my previous posts on subjective reality.
I said "The objects potentially observed states of being can be imagined existing sequentially as spatial variations along the 4th dimension not as multiple possibilities occupying the same 3D space. Though the imagined other possibilities have no existence outside of the imagination when the particular state at the moment of observation is determined. They were only potential candidates for the prize of being in existence at the moment of observation."
Rather than moment of observation I should have said at that particular spatial configuration where the observer or apparatus detected the information concerning the particle. That spatial configuration and condition of particle is just one in a sequence passed through. The information gathered about the particle is extracted from objective reality and is formed into a subjective reality. It is wrongly assumed that that information gathered on the particle is in some way more real than the other possibilities, that might have been detected if the moment (spatial configuration) of detection had been different. Which is to say it was undertaken when there was a different spatial configuration and condition of particle. The different possibilities having had their real existence along the 4th spatial dimension as the particle took its particular path through quaternion space. The particle if undisturbed would also not remain in the condition that it would have been detected in, if that detection was carried out.
Subjective reality freezes the condition of the particle to identify a single reality within 3D space rather than giving it an extra degree of spatio-energetic freedom in which to exist. It does not have to be this or that it can be both but not within the same moment or exact same spatial configuration. It is an elusive dynamic entity, never ceasing in its change of quaternion spatial position. Its identity formed from the sequence, that is the spatio-energetic change, rather than being fixed in a singular identifiable identity within 3D space that is unchanging.
report post as inappropriate
Georgina Parry wrote on Dec. 3, 2009 @ 00:56 GMT
The relevance of my previous post to the article is that, in my opinion, it should not take a -complete- change in the way mathematics is done to explain scientific observations. There has already been considerable evidence that the universe can be described using mathematic, giving good correspondence. Given a workable interpretation of what is being observed, intelligent and careful development and application of currently known mathematical technique should suffice.
Doug Sweetser did say that, (according to his calculations) gravity could be regarded as a potential or a metric. That does correspond with what I have been saying about how gravity can be understood. Though, not being a mathematician, I can not realistically give a well considered opinion on how well the mathematics was performed. I am grateful for Lawrences's opinion but would also like to hear from other mathematicians regarding Doug Sweetster's work
report post as inappropriate
Lawrence B. Crowell wrote on Dec. 3, 2009 @ 01:52 GMT
Sweetser's idea involve these very long and complicated equations. As time went on in following his reasoning they grew more complicated, with specially define product rules and all sorts of things. As I remember some of these product rules were not mathematically consistent. I am not going to pour through his stuff to ferret this out again, unless there comes some trumpet blast from major figures in physics and a growing chorus all giving support for his theory. I sort of doubt that will happen.
As for mathematics in general, I don't believe in crafting physics entirely around a mathematical system. New physical principles have to be advanced as the primary motivator, which then require some mathematical system of description. On the other hand, as physics advances it will most likely require ever more advanced (or better put abstract) mathematics. So a good grounding in higher mathematics makes for a better tool box.
Cheers LC
report post as inappropriate
Georgina Parry wrote on Dec. 3, 2009 @ 10:43 GMT
Lawrence you said "New physical principles have to be advanced as the primary motivator, which then require some mathematical system of description."
The following all apply to a quaternion energy-space not space-time.
All matter has continuous aforeward change of position along the scalar dimension.(Necessary for gravity and arrow of time.)
All subatomic particles have...
view entire post
Lawrence you said "New physical principles have to be advanced as the primary motivator, which then require some mathematical system of description."
The following all apply to a quaternion energy-space not space-time.
All matter has continuous aforeward change of position along the scalar dimension.(Necessary for gravity and arrow of time.)
All subatomic particles have continuous change of position within quaternion space but move within all spatial dimensions in all directions. (Do not experience gravity and may travel backwards along scalar dimension without causality problems as it is spatio-energetic not time.)
Every energy change is a change in quaternion spatial position and vice versa.
Energy is change in spatial position or the potential to cause change in spatial position (potential energy.)
Every energy change causes another energy change and so every change of position of matter, medium or particle causes another spatial change. There is both conservation of energy and conservation of spatial change.
Space and energy are inextricably interwoven because of the previously stated connection between them. This can be represented by 4 spatio-energetic dimensions in quaternion arrangement. Time (in science) is a measuring tool, using regular change within 3D space (such as decay of an atom or tick of a clock) to measure the observed spatial changes caused by spatio-energetic changes within quaternion energy-space. Time still has to be used as proxy because there can be no direct measurement of 4th dimensional spatio-energetic change.It can be assumed to be regular and continuous for matter (just like time measured within 3D space) although this is an approximation as shown by general relativity.
Because the proposed quaternion energy-space has the same dimensional number and arrangement as the original ideas on relativity that were subsequently mathematically transformed into mathematical space-time, I do not see why the same mathematics can not be used but translated in the interpretation . So the time-like vector is actually a spatio-energetic dimension.I understand that there were objections to another spatial dimension because of the difficulty of locating it. However if it is actually the scalar dimension extending into every object at every point on the surface and through the centre of gravity into afore space then this not only solves that location difficulty but allows gravity to be explained.
All of the basic physics and mathematics could be used with the new interpretation because structurally it has not changed. It is only the interpretation that is different. It just needs translating into non temporal terms when interpretation of meaning takes place, not necessarily during calculation.
I would however like for quaternion mathematics to confirm all basic physics and to exceed its current ability. Quaternion mathematics more closely resembles the structure and behaviour that is necessary to model the universe. A movement along the 4th dimension being a rotation in 3D space. It is non commutative which is also seen within quantum physics. Its wide use within computer modelling already demonstrates its power for modelling 3D structure, giving very natural looking forms.
Re. Doug Sweetster's work, it is interesting to hear your appraisal.I do not think that initial difficulties mean that the whole approach is necessarily wrong though. It is the final result that is most important.
view post as summary
report post as inappropriate
Eckard Blumschein wrote on Dec. 3, 2009 @ 17:50 GMT
No. Dedekind`s cut does not symmetrically divide the line of numbers into two equal parts. Such division without remaining neutral element is impossible for integer and rational numbers while obviously possible for a continuum every part of which has parts, endlessly. Dedekind explained in §4 "Creation of Irrational Numbers" how his cut CREATES a number. He and Cantor abandoned the old notion of continuum.
Lawrence Crowell wrote: Topos theory does not involve Cantor's transfinite numbers. Topos theory does invoke the Zariski topology, or systems of projective and algebraic varieties which are in general non-Hausdorff. The only connection with set theory is with foundational issues that are purely mathematical. Most people working on this or related issues of sheaf theory in algebraic geometry are not focused particularly on set theoretic underpinnings.
I noticed constructivists who tried a topos without the law of excluded middle.
I see the problem deeper hidden within the limitation of the notion number.
Eckard Blumschein
report post as inappropriate
Georgina Parry wrote on Dec. 3, 2009 @ 20:22 GMT
Eckard Blumschein,
Please forgive the baby steps and baby talk that are necessary for me to take.
Firstly I like the idea of open sets very much because when thinking of particles in continuous motion within quaternion space it is never possible to give a location of a particle as it is forever changing. So it is not really appropriate to talk of distance because of the difficulty identifying a location and because the particle can move freely in 4 dimensions. Distance isn't as straight forward as the line between two points. However if it is squiggling about in 4 dimensional space then that squiggle is an open set. (I was wondering how a squiggle of 4 dimensional change in spatial position could be described.) Keeping track of where the elusive dynamic entity might be in its squiggle also sounds jolly useful.So if I am understanding the idea of sheaves correctly then that is good too.
A problem with the notion of number is interesting. If I use the number 1 to represent a singular object, that number stays with the object. However from one configuration of the contents of space to the next the object is changed. Its position in quaternion space has altered. It has moved along the 4th spatial dimension and this gives rotation within 3D space. All of the subatomic particles within the object will have changed spatial position. Depending upon the object there may have been chemical change within the structure giving a different spatial configuration of the constituent matter. The surrounding medium will have changed in position.
I keep thinking about the animation of the gimbal rings
Wikipedia gimbal lockThe point being that 1 is not really just 1. It is a whole sequence of alternative 1s. All may seem to paradoxically exist within 3D space because we do not appreciated that the space and the object are in a continuous process of change with 4 degrees of freedom. So it is not exactly the same 3D space or object. Even though we have attached 1 to the object and it is considered to be the same 1. When an observation is made it is as if the handle of the fruit machine has been pulled. The gimbals rotate with 4 different degrees of freedom and at the precise moment of detection one 1 from the whole range of possibilities is selected as the observed existential reality. Quantum physicists would say the wave function has collapsed.
report post as inappropriate
Georgina Parry wrote on Dec. 3, 2009 @ 21:49 GMT
Giving the identity of 1 to any object or particle is problematic. The only unchangeable thing about object or particle is that it has continuous change of quaternion spatial position and thus possesses energy. That gives it existence.
For a particle its location is changing, direction of spin can change ,charge can change, rotation can change. How then is it truely compatible with identity as a singular thing? A macroscopic object is also continuously changing although this is not generally perceived, except perhaps with regard to biological organisations of matter.
We may designate names for particular stages of organisation such as foetus, baby, toddler, child, teenager, young adult, adult , senior or elder. They are obviously not all the same spatial organisation of matter but may still be regarded as 1. The recognition of spatial difference in organisation could be extended so it is acknowledged that day to day the 1 has changed and is not the same 1 as yesterday or even minute to minute or second to second. That is not how we think about the macroscopic world and the objects we identify as singular and name.
It is therefore perhaps the concept of 1 itself that needs revising to acknowledge that 1 is more that just 1 but many different 1s.
report post as inappropriate
Georgina Parry wrote on Dec. 4, 2009 @ 10:59 GMT
The explanations I have given in my previous 2 posts are compatible with the scientific idea of particles existing as a probability until "wave function collapse" but explains mechanically why that should be so. It unites the probabilistic nature of the sub atomic realm with the apparently definitive nature of the macroscopic realm of everyday experience.
Thinking gimbal rings again. Wave function can then be viewed as description of the alterations in orientation of change of spatial position generated from continuous change with 4 degrees of freedom. (It can be hypothesised that spin is the oscillation or rotation along the 4th dimension as it is not rotation within 3D space.)
report post as inappropriate
amrit wrote on Dec. 4, 2009 @ 12:28 GMT
Dear Georgina, you say: Giving the identity of 1 to any object or particle is problematic. The only unchangeable thing about object or particle is that it has continuous change of quaternion spatial position and thus possesses energy. That gives it existence.
Yes, "motion" and "energy" are two empirical fundaments of physics. All rest is a description.
yours amrit
report post as inappropriate
Lawrence B. Crowell wrote on Dec. 4, 2009 @ 14:23 GMT
Eckard,
Cutting the reals does involve a Dedekind cut. As for cutting the reals into two equal parts, that gets one into the matter of adding infinities. To be honest I leave the matter of axiomatic set theory to people who work on that. A mathematician friend of mine calls set theory "set on your ass theory," jokingly to indicate how the subject has tangential contact with other more realistic mathematics.
Topos theory might be compared to what happens in quantum mechanics. QM does admit the overlap of states which correspond to physically distinct outcomes under a measurement. In topos theory sheaves may have completely different pre-S structures or different algebraic varieites --- elliptic curves, projective structures and so forth. Yet a functor between two sheaves remove these distinctions, so what might be seen as contradictory sets can then obtains as categoriies.
Cheers LC
report post as inappropriate
Eckard Blumschein wrote on Dec. 4, 2009 @ 21:55 GMT
Lawrence,
while I enjoy "set on your arse theory" I consider Buridan's ass something important in physics. The matter has far reaching consequences and deserves more clarification than I am able to provide this evening. Please find a bit food for thought in topic 527.
If we agree that real numbers are different from rational ones then Georgina is wrong: The distinction between open and closed sets is invalid for really real numbers. oo + oo = oo at least according to the really great ones like Galilei.
What about topos theory, shouldn't we consult Grothendieck himself?
Sincerely,
Eckard
report post as inappropriate
Georgina Parry wrote on Dec. 4, 2009 @ 21:59 GMT
Amrit,
thank you for the reply.
The singular thing identified as 1 changes and so its description can change. The 1 thing is not the identical 1 thing from spatial configuration to spatial configuration (moment to moment if using time as proxy). It is possible to notice the change in the sub atomic particle because it is such a minimal "thing" but continuous change is also occurring in the macroscopic realm. However because macroscopic objects are such large collections of particles in complex organisation the subtle but ceaseless change is not readily apparent.
This is the elusive connection between the behaviour observed at the smallest scale with the macroscopic scale. We only perceive macroscopic objects as unchanging and singular in their identity because mostly the change is subtle and therefore overlooked. Occurring on a scale too small to perceive or too slowly to be apparent to our unaided senses. Such as the erosion of a rock. (We also do not perceive the continuous change in quaternion spatial position of all objects, even those considered stationary.) There is a difference between subjective reality of experience that tells us most macroscopic objects are singular and unchanging in identity and objective reality that exists outside of that experience in which everything at every scale is continuously changing.
report post as inappropriate
Lawrence B. Crowell wrote on Dec. 5, 2009 @ 01:42 GMT
A Dedekind cut of the reals gives (∞, 0) [0, ∞) or (∞, 0] (0, ∞), which are not exactly equal. I am not sure this has great impact on physics, unless there is a delta function set at 0. A course in real analysis covers these matters pretty extensively.
Grothendieck disappeared sometime back in the 1980s, and is suspected of living in S. France somewhere. The man is a bit of a subject from “A Beautiful Mind.” During the Vietnam war he conducted lectures on algebraic geometry in the forests outside Hanoi as B-52s were bombing the place. I am not sure if he had much of an audience. In fact as I understand he is not a citizen of any country. He was fairly notorious for strange behavior. I think getting a hold of the man is a bit like trying to put a neutrino in a box. Connes’ book on noncommutative geometry covers some aspects of Grothendieck’s fibration system.
Cheers LC
report post as inappropriate
Anonymous wrote on Dec. 5, 2009 @ 08:19 GMT
Eckard Blumschein,
You said "If we agree that real numbers are different from rational ones then Georgina is wrong: The distinction between open and closed sets is invalid for really real numbers. oo + oo = oo at least according to the really great ones like Galilei."
Please could you elaborate on why this should be so? I know nothing about this topos mathematics other than what I have read on this site and Wikipedia. The open set just sounded a good description that might fit with what I am trying to explain, to the best of my limited ability.
From Wikipedia..
A set U is open if any point x in U can be moved by a small amount in any direction and still be in the set U. The notion of an open set provides a fundamental way to speak of nearness of points in a topological space, without explicitly having a concept of distance defined. Concepts that use notions of nearness, such as the continuity of functions, can be translated into the language open sets.
I was thinking that U could be that thing that we consider a particle and x could be the elusive dynamic entity squiggling about within set U with 4 degrees of freedom. So the set is made from all the squiggling. I am not a mathematician, so please forgive my language.
I am contemplating something that exists only because of its change in position in 4 dimensions. A component of that change in position (4th dimensional change) is not directly countable and could be envisioned being along a real number line. (Real numbers being used to measure continuous quantities.) It can be hypothesised that this is the spin and aforeward progression along the 4th dimension of a particle (except for antimatter which may progress aftward). The entity itself is counted as 1 although its continuous change means that it is not the identical 1 but a series of alternative 1s.
Its existence in our universe depends upon its 4th dimensional change in position, a real number continuous change.It can not be directly measured, we can only use time as a proxy and approximation. The 1 that is observed "frozen in an instant of existence" is then a function of being considered singular entity in 3D space denoted by the rational number 1 and having an unmeasurable real number change in position along the 4th spatio-energetic dimension. What does that make it? The entity can be considered as having both a rational component, if its changing is ignored and it is considered just 1 entity, and a real component because of its continuous change.
I think the interesting problem is with saying it is 1 when it is just a "snapshot" of the manifestation of something that is in a process of continuous change.
report post as inappropriate
Georgina Parry wrote on Dec. 5, 2009 @ 12:33 GMT
Last post was me. These numbers are annoying me.
The rational number assigned to an entity is just an integer quantity. Giving how many of it there are. But a physical entity is not just an integer quantity. It must also be seen to be a continuous process of change that gives it existence. So it must therefore be represented by a series of real numbers, if it is to be properly comprehended, whilst still retaining its integer assignment.
I am not saying that the rational integers are different from the real numbers. The integers must form part of the full set of real numbers.
It is how they are applied within physics to an entity that is problematic when the real number (4th dimensional) change is not considered. There is then a series of the same integer applying to different spatial manefestations of an entity. Which is correct because there can still the same quantity of it, whatever it has become.
1 ice cube, 1 puddle, 1 vapour cloud. Or 1 electron, 1 positron or 1 infant, 1 child, 1 adult. Same quantity but also changing form.Bizarrely this means if 1 sheep turns into 1 banana it is still OK because there is still only 1 entity. There is still only 1 kind of 1, but a series of different manifestations of the 1 thing.I know I'm repeating myself and probably getting unnecessarily concerned about how this is described numerically but I want to be sure I have understood and clarified it reasonably.
report post as inappropriate
Lawrence B. Crowell wrote on Dec. 5, 2009 @ 13:26 GMT
Rational numbers are the ratio of two integers r = a/b. Now there are numbers which we call irrational, for they can't be expressed as such. A simple example is sqrt{2}. Assume it is a rational number sqrt{2} = a/b. Now this ratio must be something other than 2^n/2^m, for otherwise we would have sqrt{2} is some multiple of 2 or 1/2. Therefore b must be an odd number. Now we then have
sqrt{2}^2 = (a/b)^2,
or a^2 = 2b^2. Therefore a^2 is even and then must also be a. So a is a number a = 2c, and
2b^2 = 4c^2 ==> c^2 = b^2/2
so that b^2 is clearly even as well, and so them must be b. Yet b must be odd by above, so this is a contradiction. Therefore sqrt{2} can’t be expressed as the ratio of two integers.
The great majority of numbers are irrational, and in fact they can’t be counted. Galois algebra is a system for defining roots of polynomial equations, which are irrational, but the procedure describes a countably infinite set – not all of them. There are in the set of irrational numbers transcendental numbers, such as π. These numbers are not algebraic and they exist in a set which is not countably infinite. This then gets into the matter of infinite cardinalities, which in set theory results in the Cantor description of transfinite numbers and the continuum. The continuum hypothesis is a lynchpin conjecture on the Zermelo-Fraenkel set theory. Bernays and Cohen showed by using Godel’s theorems that the continuum hypothesis is consistent with ZF, but not provable.
What you describe with open sets is a way of setting up Hausdorff point set topology. There are non-Hausdorff topologies as well, such as the moduli space for general relativity or Zariski topology that topos theory depends on. I am not sure how far to go in describing this stuff. This gets into advanced undergraduate to first year graduate school mathematics.
Cheers LC
report post as inappropriate
Eckard Blumschein wrote on Dec. 6, 2009 @ 00:36 GMT
Lawrence and Georgina,
Continuity vs. discreteness is an important issue in physics. Common sense distinguishes between what is considered as a number of countable indivisible items and what is modeled as an endlessly divisible and therefore uncountable liquid. Peirce defined a continuum as something every part of which has parts. Euclid called a point something that does not have parts....
view entire post
Lawrence and Georgina,
Continuity vs. discreteness is an important issue in physics. Common sense distinguishes between what is considered as a number of countable indivisible items and what is modeled as an endlessly divisible and therefore uncountable liquid. Peirce defined a continuum as something every part of which has parts. Euclid called a point something that does not have parts. Accordingly, genuine continua like a volume, an area, or a line can just be approximated by a finite number of points, no matter how densely the points are thought to be arranged. Any finite set of points is zero-dimensional.
Do the natural numbers constitute a set? If we clarify that being infinite is a property, then we have to attribute this property to the rule of counting. The natural numbers are rather something to be set as large as desired. There is no largest number. The natural numbers are countable without restriction while the expression infinity means all of them and does not denote a quantum but something else, something uncountable.
From the possibility of bijection between 1, 2, 3, ... and 1, 4, 9, ... Galilei correctly concluded that the relations smaller, equal, or larger are not valid for (the entities of) infinite quantities but only for finite ones.
Georg Cantor started with the silly idea to count all numbers. When he used bijection to redefine countability and declared the natural numbers countably infinite, he did not accept that while any natural number is countable there is no countable entity of all natural numbers. Nonetheless, he correctly found out that every rational number is also countable.
In order to count uncountable numbers too, he introduced the most cardinal mistake into mathematics: Cardinality. Instead to simply distinguish discrete and accordingly countable numbers from uncountable real numbers, he draw the wrong conclusion that there must be more real numbers than natural ones. Common sense tells us that this does not work with the original meaning of being absolutely infinite. Cantor, whose mother was Catholic, tried in vain to convince cardinal Franzelin that there is an Infinitum creatum sive Transfinitum below the Infinitum aeternum increativum sive Absolutum. Up to now, the notion infinity is murky in set theory. In a letter to Dedekind, Cantor himself excluded what he called "absolut unendliche" alias "inkonsistente Vielheiten".
Dedekind's cut postulates - without any possibility for a proof - nothing else than trichotomy for the real numbers too: "... every point of one piece is located left from every point of the other one."
This is clearly at odds with the impossibility to resolve a line into a finite number of points. How differ so called real numbers from the rational ones? How can they fill the gaps between any two rational numbers?
Let me tell it as simply as possible: Rational numbers - irrational ones as well as incorporated rational ones - must be irreal in the sense that they are not countable. This means, they have to be represented like p/q with p as well as q infinite, in other words with infinite precision. Otherwise, for instance pi would differ from exact value. This means, even the tiniest difference between two rational numbers must be filled with a continuum which is not yet adequately described by the hugest number of points. Continuity is a different quality.
Imagine a letter with an uncountably lengthy post code. It will never arrive. While the difference between subsequent rational numbers can be made as small as you like, the difference between subsequent real numbers must be absolutely zero.
Of course, only approximations to such really real numbers can be numerically handled. On the other hand, several apparent problems including Schroedinger's cat vanish when we do not forget that mathematics is always treating the reals as if they were rationals. Weyl called them aptly a sauce.
Forget 0)[0 and 0](0 and 0)0(0 and the possibility to choose at will. The correct solution is to understand: For really reals, there is no difference between [ and ( at all.
Goedel questioned the hypothesis c = aleph_1 = 2 ^(aleph_0). He considered c much larger. So far there is no tenable basis for a quantitative comparison between the two qualities.
Regards,
Eckard
view post as summary
report post as inappropriate
Lawrence B. Crowell wrote on Dec. 6, 2009 @ 02:27 GMT
I think you might want to read up on real variables, or take a course on the subject. With an MS in math I took a graduate level course, but frankly the subject is not exactly my cup of tea in mathematics. I find it tedious and not terribly interesting. Yet, issues of open and closed sets are well defined, including lim_[sup} and lim_{inf} of sets which approach sets (both open and closed) in certain Cauchy-like sequences. This is fairly classical mathematics, mid to late 19th century stuff. It all leads to generalized theory of integration such as Fatou's theorem and the Lebesgue integral.
With physics information is discrete. Even in classical mechanics. For a wave a discontinuities in a wave front will define a phase velocity for the flow of information. We might think of this with regards to Dirac's comb, or a discrete set of pulses. What is continuous does not convey information. This geometric aspect of theory permits us to work with differential and integral equations. This is IMO a great confusion with the Planck scale. This is the scale where the area of a black hole horizon is determined by a deBroglie wave, leading to L_p = sqrt{Għ/c^3} as some smallest region where physics obtains. Many people think this is some type of discretizing of spacetime. This is wrong, for all it tells us is the minimal scale where we can measure information about physics.
I will largely avoid the Zermelo-Fraenkel set theory issues. The subject captured my attention a number of years ago, and went through a lot of this. I can’t really regurgitate much of it on a short blog post. I will say that largely I found the whole thing consistent and that is worked. I did not find it of much value for physics, so I have largely not studied this subject in over 10 years. The set-theory mavens did come up with an interesting proof in the 80s on the set of homeomorphic 4-manifolds and 7-spheres that are not diffeomorphic. So the subject is not without merits. These guys also work to make tests on how certain areas of mathematics have axiomatic structure consistent with ZF set theory.
Lawrence B. Crowell
report post as inappropriate
Georgina Parry wrote on Dec. 6, 2009 @ 08:33 GMT
Lawrence and Eckard,
Thank you for your explanations.I probably should think more about numbers.
It seems to me that the 4th spatio-energetic dimension must qualify as really representable by real numbers because there is no way to count or measure along it but if it is spatial then it must have distances. We can only use a continuous measurement undertaken in 3D space to represent that measurement (time).
I also think that even the concept of a point is problematic because to identify it the universe must be artificially frozen. If not only energy but spatial change is conserved then the whole universe is engaged in continuous change of quaternion spatial position. So a single point does not have an unchanging position in quaternion space. So the concept of a point is a mathematical abstraction rather than an accurate representation of physical reality.
At the very least any point with existence rather than a purely mathematical abstraction is moving along the 4th spatial dimension and therefore is rotating in 3D space. If it is a point on a piece of matter such as a page there is the rotation of the earth, orbit of the sun and rotation of the galaxy to consider. Those gimbals turn and the point, although it can be identified as 1 single point in space, also has a whole sequence of different spatial position due to 4 degrees of freedom of movement within space, which are unobserved and unmeasurable and it would seem to me must be considered as representable by real numbers.
Eckard Blumschein You said "Euclid called a point something that does not have parts." But is that really so if the point also ought to be described by a real sequence? So there is it seems to me a difference between the integer 1 and a single existential entity and between a point in mathematics and a point within quaternion energy-space or if you must think in terms of time within space-time. There is a difference between physics and mathematics.
report post as inappropriate
Georgina Parry wrote on Dec. 6, 2009 @ 10:09 GMT
Eckard, you said "Euclid called a point something that does not have parts. Accordingly, genuine continua like a volume, an area, or a line can just be approximated by a finite number of points, no matter how densely the points are thought to be arranged. Any finite set of points is zero-dimensional."
In existential physics however it would seem that no point can be zero dimensional because of the continuous change of spatial position of that point, with 4 degrees of freedom.(Even though it may appear stationary) Therefore no set of points within existential physics can be zero dimensional.
report post as inappropriate
Anonymous wrote on Dec. 6, 2009 @ 12:22 GMT
I am only thinking about what numbers -are- because it seems relevant to the current contemplation of how they are used for modelling in physics. I have no love for them nor them for me. (I am now re-acquainted with the various terms for different kinds of numbers, thank you.) It seems to me, following on from my previous posts, that the only way to accurately model even a point or single entity is to use a series of quaternion numbers.
Eckard you said "Of course, only approximations to such really real numbers can be numerically handled. On the other hand, several apparent problems including Schroedinger's cat vanish when we do not forget that mathematics is always treating the reals as if they were rationals. Weyl called them aptly a sauce."
I think that is really interesting. I like the analogy of sauce very much too.
report post as inappropriate
Georgina Parry wrote on Dec. 6, 2009 @ 12:23 GMT
Georgina Parry wrote on Dec. 6, 2009 @ 20:38 GMT
An existential point rather than a mathematical abstract point must be seen to have some duration in time however minuscule.If it has no duration it has no existence. So it can not be zero dimensional. There has to be at the very least 1 dimension of change pertaining to that existential point giving rise to the perceived existence in time. That being 4th dimensional change. An existential point also can not be stationary in quaternion space unless it is perceived to be moving extremely quickly because all of the matter that we perceive to be stationary is actually moving very fast through space. The existential point will have to move very fast to be stationary in objective rather than subjective reality. So the point will have to have perceived velocity within 3D space, which is a quaternion change in position. That velocity being made up of a spatial change in position within 3D space and a change in position along the 4th spatio-energetic dimension.
report post as inappropriate
Georgina Parry wrote on Dec. 7, 2009 @ 00:17 GMT
The minimum description of an existential point or entity must be two different quaternions. The entity or point must change position in quaternion energy-space (space-time if you really must) in order to have existence. It must also have spatial existence however minimal in all dimensions. This makes an existential point or entity different from a mathematical point or integer which just does not and can not exist outside of abstract mathematics.In my opinion. So quaternion mathematics seems, even from this minute analysis, a superior language for describing the working of the universe.
report post as inappropriate
Anonymous wrote on Dec. 7, 2009 @ 02:16 GMT
In this link
hydrogen atom one can see that the Proton is the point, discrete and seperate, from the Electron, which is continuous and, faip, it's wavelike properties make it infinity like ? So what "seperates" the point from the continuum?
The Proton is 3-D pointlike sitting within a 2-D continuous fieldlike Electron?
report post as inappropriate
Georgina Parry wrote on Dec. 7, 2009 @ 04:52 GMT
Anonymous,
It would be nice to know who you are and who you are addressing. Then I could decide whether it is appropriate for me to reply or whether you want to talk to someone else. I can only say what I think and it would not be a conventional mainstream physics answer.Nice pictures by the way.
report post as inappropriate
Georgina Parry wrote on Dec. 7, 2009 @ 05:30 GMT
Whether or not there is a minimum difference in change of quaternion position that should form the minimum difference in quaternion frame used to model it ie whether there is a jump from position to position or continuous flow can not be known. Attempts to determine this experimentally will,as Eckard pointed out, be constrained by the limit of measurement that is possible. It will therefore depend upon the model that is chosen to represent the change. For a particle it could be assumed that one complete spin oscillation would represent 1 change of quaternion position although smaller distances being fractions of oscillations could be imagined.
Change in 4th dimensional position is not directly measurable. It is reasonable to assume that that dimension should comprise the full set of real numbers,(including those fractions without finite answer). Which is the same as for other physical processes.
report post as inappropriate
paul valletta wrote on Dec. 7, 2009 @ 12:19 GMT
oops..last "anon" was me!
A 3-D point thus has a definate boundary, it is seperate, almost an individual system. 2-D entities, are continuous, like the Electron Wave around the Proton, it is deemed continuous. But when Electrons move across to other Protons, they must be 3-D, or particle-like?
The Particle Wave Duality should really be a dimensional transport action, for the Electrons, Photons and Proton? The Electron shells are transitional points between 3-D and 2-D space's,area's ?
There is more interesting aspects for seperated and continuous boundaries.
best p.v
report post as inappropriate
paul valletta wrote on Dec. 7, 2009 @ 12:48 GMT
The magical Electron/..take a Universe size box containing a Hydrogen Atom and a single Proton, eventually these two particles will commute to a cal area, there the Electron will transpose across to the single Proton, and then back to it's original source. Now waht is interesting is the discontinuous and discreteness of it's relative positions, it leaves one Proton as an ejected Photon, and arrive's at the next Proton as a Photon of certain energy.
It seems to be that a standing Electron wave around a Proton, is really eqivelent to an ejected Photon, constrained by the dimensionality volume it occupies, pointlike but not actually a 3-Dimensional entity, until it attaches itself to the Proton? Of course Electron shells are altered vastly by the introduction of excess Protons, ie more than two-particles!
Now whilst I do not contend any greater dimensions other than 3-d2-d or 1-d, i do accept that the 11-D or even 26-D models must have their own magical transformational energies, all totally hidden of course by the very nature of our mathematical dimensional illusionary exixtence?
report post as inappropriate
amrit wrote on Dec. 7, 2009 @ 12:56 GMT
Hi Georgina, you wrote: There is a difference between subjective reality of experience that tells us most macroscopic objects are singular and unchanging in identity and objective reality that exists outside of that experience in which everything at every scale is continuously changing.
Conscious observer experiences universe in an objective way. He experiences what senses perceive.
In today scientific experience between perception and experience there is a mind elaboration. Because of that this experience is "rational" and not "objective".
Conscious observer and his direct and objective experience opens new dimensions in physics. We can see how much rational mind elaboration influences our experience of the universe.
Time is a first subject I work on from the point of Conscious observer.
yours amrit
report post as inappropriate
Georgina Parry wrote on Dec. 7, 2009 @ 21:03 GMT
Hi Paul,
In answer to your question, firstly the proton is far more massive than an electron and therefore is a far greater disturbance of the medium of space. Greater mass gives greater inertia which is the energy required to change trajectory through quaternion space. So it is less inclined to move than an electron. The centre of the proton is the exit point for the 4th dimensional axis...
view entire post
Hi Paul,
In answer to your question, firstly the proton is far more massive than an electron and therefore is a far greater disturbance of the medium of space. Greater mass gives greater inertia which is the energy required to change trajectory through quaternion space. So it is less inclined to move than an electron. The centre of the proton is the exit point for the 4th dimensional axis leading into afore space around which the proton has angular momentum in 3D space and along which the proton has spin. (It can be hypothesised that the proportionality of spin and angular momentum are because it is the oscillation along the 4th dimension or spin that gives rise to the rotation in 3D space observed as angular momentum.) This is the most energetically stable position for the proton to occupy, so why should it flit around like an electron.
The electron is too small to be effected by gravity but it is caught in the disturbance caused by the spin and angular momentum of the proton or the nucleus of a larger atom. Think small leaf caught in the eddies of a stream. Within that disturbance there are regions of greater stability. It can be hypothesised that the spin of the proton gives an oscillation causing waves or bands of disturbance around the proton. The greatest stability of position for the electron being in the trough between two peaks of disturbance. But electrons also repel each other because of the particular disturbances they cause and so do not all crowd together in the same trough as that would not be stable.
Quaternion mathematics gives fractals which show repeated patterns at different scales. The quaternion arrangement of the universe also gives repeated patterns at different scales. The galaxy accretion disc surrounding dense region of luminous matter and black hole, planes of solar system including asteroid belts and dust surrounding a star and the electron "cloud" surrounding the nucleus. The pattern is the same the scale is different.
There is no such thing as a 2 dimensional object in 3D space so the 2D electron plane must be 3D but immensely thin in one of the 3 dimensions. Also it is actually 4D. The 4 dimensional spread of the so called 2D plane giving a range of universal potential energies. The highest potential energy being furthest from the centre and the lowest closest to the nucleus. The proton also must be a 4D object having thickness or spread along the 4th dimension as do all 3 dimensional objects. With respect Paul, I do not think there is any such thing as a point like "object" or thing that is not 3 dimensional within 3 dimensional space. It is a mathematical abstraction.
The electron is not a 2D continuous entity but a highly elusive and manoeuvrable 3D entity (actually 4D like all "3D" objects- think Schwartzchild sphere but spatial and energetic difference between exterior and interior rather than time), with 4 degrees of freedom within quaternion energy-space.It is the combination of spin (4th dimensional change )and change in 3D spatial position that gives the apparent wave like nature. Though it is not actually a wave but an entity with wave like change of position. I do not regard a pendulum as a wave although its movement can be described as a wave.
If one regards a particular location of space the pendulum occupies that position then vanishes then occupies it again and then vanishes. If one knows nothing about pendulums it might seem that this is quite mysterious. Likewise the electron can appear in 3D space at one position and then appear at another position seemingly without travelling between them. This is due to the additional, generally unrecognised, degree of freedom. That is a 4th spatio-energetic dimension at 90 degrees to the plane of 3D space, not time.
I do not think an electron is a photon but that the photon is the disturbance caused to the medium when an electron looses potential energy dropping to an energy level closer to the nucleus. It is the disturbance that accompanies the change in position of the electron rather than being the electron itself. This is the explanation in the example you gave also,in my opinion. It is the manifestation and evidence of the rule of conservation of energy, and the conservation of spatial change. The electron can not move without causing the movement of something else (medium) and the energy change that corresponds to that change in quaternion position of the electron also necessarily corresponds to the energy of the movement transferred to the medium.
view post as summary
report post as inappropriate
Georgina Parry wrote on Dec. 7, 2009 @ 21:34 GMT
Amrit ,
I think the reason we appear to be not in complete agreement here is because you and I are not using the term objective in the same way. I think you mean by "objective", dealing purely with that which is observed without interpretation or model. To use a photographic analogy you are using the raw file. The problem with a raw file is that it contains too much data to efficiently handle and use for other purposes.
Rendering the data into a more compact and manageable format means that some data is lost but the remaining data can be manipulated and used far more easily. That is the purpose of the explanatory model.To make the infinitely complicated comprehensible. Yes, it is rational.It is not possible to map the position of every sub atomic particle in the universe and note every minute energy change relating to each spatial change in position. That is the objective reality that I think you refer to. The "raw file" of the universe is too immense.
Quaternion mathematics is used to model all sorts of complex systems such as hydrological or meteorological systems. It does not map the position of every molecule but uses the rotations of bodies of substance to give an approximation that allows comprehension of the processes that are occurring. That is what I propose is used throughout science where a process is under investigation.
When I use the term objective reality I mean that underlying reality that exists without the observer. It can not be known by experimental observation because as soon as there is observation a subjective reality is formed. The data observed has to be selected and processed by the brain or device for the observation to exist. The data is changed by the process of observation although the objective reality itself is unchanged. (Perhaps I need to think of a new term to avoid this ambiguity of meaning that you have highlighted.) The Prime reality interface between objective and subjective reality is the limit of scientific method. Objective reality is inaccessible to that method and can only be modelled.
report post as inappropriate
Georgina Parry wrote on Dec. 7, 2009 @ 22:06 GMT
Amrit, I did not clarify. Your objective reality is my raw subjective reality.
That raw subjective reality has been obtained by selection of input by sense organs (or internally generated) and by activity of unconscious brain processes. It is closer to the raw objective reality than subjective reality formed by active conscious analysis of data or application of a scientific model to data but is still not (my definition of) objective reality itself.
You are not further rendering that raw subjective reality by thought or active investigation.
However If you are alive and conscious your brain is working either on external input or internal input. In a meditative state you may be able to minimise this activity but not stop it. The experience of a meditative state is not (my definition of) objective reality itself but an altered state of brain function and so altered consciousness. You can only become one with (my definition of) objective reality when you are dead. That is not to dispute the spiritual value and mental and physical health benefits of meditation.
report post as inappropriate
Georgina Parry wrote on Dec. 8, 2009 @ 00:06 GMT
Hi again Amrit,
I understand your objection and upon further consideration I see that I was not precise enough.
I wrote "There is a difference between subjective reality of experience that tells us most macroscopic objects are singular and unchanging in identity and objective reality that exists outside of that experience in which everything at every scale is continuously changing."
I should have said "......in which, according to this explanatory model, everything at every scale is continuously changing."
That would have shown that this was a model of objective reality rather than objective reality itself. Which as I have said on numerous occasions can not be known by any direct means. I apologise for not making this clear.
The fact that it is only a model of objective reality does in fact mean that is just another subjective reality. However it is a logical explanatory representation of objective reality based on a self consistent model. Rather than spiritual acceptance of ultimate unknowability. Both can be correct. The ultimate "raw file" of the universe is incomprehensible because the amount and complexity of data can not be handled by a human mind. It has to be reduced to a comprehensible approximation and model for logical understanding of its function and for use as a predictive scientific framework.
report post as inappropriate
Georgina Parry wrote on Dec. 8, 2009 @ 00:40 GMT
amrit,
I do also understand that one can choose to ignore the complexity and ultimate un-knowability and rather just accept that everything is just one. This viewpoint is still compatible with the model I have been proposing. As every energy change is conserved within quaternion space and every change in spatial position is conserved, in that it causes another spatial change in position, then everything is connected within energy-space. There are spatial and energetic boundaries to those things we regard as objects but there is also continuous change in those objects and continuity between everything. One might say the "one entity" is continuously flowing and changing in quaternion space, manifesting different forms, which we identify, but it is still the "one entity".
report post as inappropriate
amrit wrote on Dec. 8, 2009 @ 16:04 GMT
Yes Georgina,
there is only one energy in the universe taking different forms. My research is how to build an adequate picture of this permanent change. One is clear. Flow of change is timeless, has no duration. Duration comes into existence when we measure energy flow with clocks.
yours amrit, Eternity is NOW.
report post as inappropriate
Georgina Parry wrote on Dec. 8, 2009 @ 19:14 GMT
Paul,
just to clarify a couple of points from my reply to your question.
When I said that a proton is actually a 4D object like all 3D objects, I was attempting to say that -all objects we regard as 3D with in 3D space are actually quaternion objects within quaternion energy-space. They are certainly not not 4 vector dimensional objects with in space-time. I hope this clarification avoids a misunderstanding of the meaning I was trying to convey.
I also said that an electron has 4 degrees of freedom. I should have perhaps said that an electron within an atom, as it can be regarded as moving within a 2D plane (which must actually be a 3D structure, but very thin, within 3D space, and therefore also ultimately quaternion in structure) is not moving significantly within 1 of the 3 vector spatial dimension and therefore is only using 3 of the 4 available degrees of freedom. That does not mean it can not use that other vector spatial degree of freedom if disturbed from its stable position by a photon of disturbance.
report post as inappropriate
Georgina Parry wrote on Dec. 10, 2009 @ 20:50 GMT
Amrit ,
I'm glad that we do seem to share similar understanding with regard to the ultimate nature of the universe and the question of time. Even though we may express our understanding differently.
You said "there is only one energy in the universe taking different forms. My research is how to build an adequate picture of this permanent change."
Herein lies the problem. "The Tao that can be expressed is not the eternal Tao." Tao te ching, Lao Tzu
As soon as one tries to describe or model the objective reality, it becomes a subjective reality fashioned by the working of the mind rather than the raw existence itself. I must accept that any model is just a model and can only ever be a model. A representation, not the "ultimate entity" itself. The questions I now seek to answer are... How good a likeness does a particular model provide and can it be improved in any way to correspond more closely to observation and experience?
report post as inappropriate
amrit wrote on Dec. 11, 2009 @ 18:47 GMT
Dear Georgina,
for 30 years I watch my mind and I can tell you there is a lot of ideas in scientific mind that have no correspondence with "objective" reality.
"Scientific picture" of the world can be sharpened only by awakening of the observer. This is where physics meets pure meditation, pure witnessing of the mind. I live in timeless universe that is real, objective. New definition of physical time as "Physical time is run of clocks in space" is the first step into physics that will reach to the ultimate peacks of the human understanding and knowing.
yours sincerely, amrit
report post as inappropriate
Georgina Parry wrote on Dec. 12, 2009 @ 06:08 GMT
Amrit,
I am not sure that the experience of meditation is necessary for the improvement of physics. The meditative state does give insight into an altered perception of reality. One can realise that experience is not itself the underlying reality. However it does not in itself give rise to explanation of either the everyday experience, which is a biologically generated simulation of...
view entire post
Amrit,
I am not sure that the experience of meditation is necessary for the improvement of physics. The meditative state does give insight into an altered perception of reality. One can realise that experience is not itself the underlying reality. However it does not in itself give rise to explanation of either the everyday experience, which is a biologically generated simulation of external reality or the underlying raw existence, that provides the input to the biological simulation that is experienced.
Advancement in the comprehension of neurological processes that allow the organism to generate a simulation of external reality from the input from the senses will allow greater understanding of the experience of reality. This is the sbjective reality that most people will consider as being real.
Underlying objective reality can never be known. (The brain in a vat conundrum.) All data passes through the Prime Reality Interface from objective reality to interface with the human organism. Either directly at the sense organs or via artificial detector and computer before interfacing with the human at the sense organs, giving a subjective reality simulation of objective reality.
As objective reality can not be known it can only be modelled. To be of use in scientific prediction the model should allow the generation of input that will give rise to the subjective reality that is experienced in an everyday alert state of consciousness. By this I mean the model should generate those observations that are made by scientific experiment and everyday experience. Not those experiences generated by the brain during a meditative trance.
The modelling of underlying raw objective reality is different from intuitive and or logical acceptance of an ultimately unknowable and indescribable reality that can never be investigated via the scientific method because of the Prime reality interface. This I accept completely. The Prime reality interface is the limit of the scientific method.
Any model or "picture" of objective reality is only ever that, a model or "picture". An approximation, simplification, representation, impression, analogy or metaphor. Many religions use such pictures. Science can also provide a model which is not rival to these religious pictures but another is another way of representing the same underlying reality that religions through out the ages have sought to explain.
A scientific explanatory model of reality can never be scientifically proven to be the underlying reality but can be shown to comply with all scientific observations. Therefore being as scientific as is possible under that unavoidable constraint. To believe that the model is real in itself would be to turn science into a religion. The scientific model is not the reality itself but a means of logically comprehending experience. The model one then chooses, scientific or religious, as giving the most personally acceptable means of comprehending underlying reality is a matter of personal preference and choice.
view post as summary
report post as inappropriate
Georgina Parry wrote on Dec. 12, 2009 @ 06:30 GMT
Anyone who thinks that the raw objective existence or reality can be known by the human mind should perhaps meditate on the matter before posting.
report post as inappropriate
amrit wrote on Dec. 12, 2009 @ 11:33 GMT
Dear Georgina
A key question of cosmology is:
"Does universe run in time or is time running in the universe?"
By watching, witnessing the mind one discovers
that time is running in the universe as a run of clocks.
Universe itself is timeless, universe is NOW.
yours amrit
report post as inappropriate
Georgina Parry wrote on Dec. 12, 2009 @ 22:44 GMT
Amrit ,
as you know I do not disagree with that. A superior model can be constructed without time as a foundational element but with the subjective experience of time produced by the process of continuous change, IMO. This allows a number of foundational questions to be answered.
The fact that you have come to this realisation via meditation rather than intuition in an alert everyday state of mind or logical deduction does not mean that the meditative trance is a superior method of investigation of the universe. It is just a different use of the brain that can give a different experience.
Freed from external stimuli, and the chatter and interference of the logical mind one can, perhaps, experience the perspective of the intuitive, comparative often unconscious mind that does not measure and does not use time. We have two hemispheres of the brain that analyse the stimuli received in different ways. One is not correct and the other incorrect they are just different interpretations of the same data. A model that gives both perspectives, time not being foundational but time being experienced seems to be a good representation complying with the perspective of both cerebral hemispheres.
report post as inappropriate
Georgina Parry wrote on Dec. 13, 2009 @ 09:53 GMT
If an existential entity, rather than mathematical abstract, must be defined by at least two different quaternions,( because it is -change- in quaternion spatio-energetic position that gives existence to every entity), this will solve Zeno of Elea's arrow paradox.
The arrow never is at rest in a (subjectively experienced) instant of time. The arrow is defined by and only exists because of its change in position. Rather than ever having a static position.
report post as inappropriate
amrit wrote on Dec. 13, 2009 @ 12:34 GMT
Georgina
arrow move in space only and not in time. There is no paradox here. Paradox arises because one think arrov moves in time.
yours amrit
report post as inappropriate
Eckard Blumschein wrote on Dec. 13, 2009 @ 13:54 GMT
FQXi might be the best place to ask for basics of mathematics that are more appropriate for physics, not at all tedious as compared with Lawrence's set on the ass theory. In physics, continuity is an issue. Its definition by Peirce "something every part of which has parts" contradicts to Euclid's definition of a point: "something that does not have parts".
What is wrong for instance with a Dedekind cut? Already §2 of Stetigkeit und Irrationale Zahlen: "Vergleichung der rationalen Zahlen mit den Punkten einer geraden Linie" (Interpretation of rational numbers as points of a straight line).
Actually, it does nor matter what we count. We always start with one basic measure, for instance a unit length. Basic measures are assumed positive of course and exactly given without any doubt. The integer numbers of properties along a street start with number one and are actually finite while potentially infinite (Archimedes axiom). Nobody imagines property 1 as a point. It extends from the beginning of 1 to its border to 2. So the integer number n primarily represents an interval and not the belonging endpoint of it. Counting needs intervals. If a natural number is missing, the the line is discontinuous.
A piece of an interval can relate to unity in either a countable or an uncountable manner. Ever a countable one can be as small as we like. The same piece that is not a countable part with respect to one can be countable with respect to a basis that is not rationally connected to the measure one.
Nonlinear tunctions could be understood in terms of "real intervalls", which should be called irreal intervals because they are of size zero. It makes no sense to declare irreal intervals open or closed because they are naked without any size that could be added or removed.
Mathematics would perhaps no longer need a lot of boring courses in real analysis and other futile trouble. Physics could loose illusions too.
If this suggestion of mine is correct, then sets of points seem to be inappropriate. I cannot imagine that this idea is new and would like to know how it was refuted.
Eckard
report post as inappropriate
amrit wrote on Dec. 13, 2009 @ 15:59 GMT
Georgina, unconscious observer experiences timeless space through inner time as "present moment". Conscious observer is aware of inner time. He experiences timeless space as "eternal ever lasting present moment". In cosmic space is always NOW, present. Arrov moves always in timeless space, means in present.
Paradox has arised with preposition that in present moment arrow is still, that arrow moves from the past to the future. This is pure illusion. Past and future belongs to the mind, in the universe there is only NOW - present. Wrong prepositio has created a mental paradox that does not exist in physical reality.
yours amrit
report post as inappropriate
Georgina Parry wrote on Dec. 13, 2009 @ 20:26 GMT
Amrit,
I agree that the arrow is not actually moving in time. It can be modelled as moving through quaternion energy-space. I am aware that you dislike the use of dimensions for description. However if all descriptive and measurement terms are removed, it is then not possible to describe or measure anything and science can not get very far at all. Using the quaternion spatio-energetic description, time is not a dimension and the spacial element can be regarded as the means to measure change rather than being fundamental change itself. So, if space is also removed from consideration all then that is left is the un-measured energy (equivalent to that spatial change of position that is being ignored).
The point I was making was that the arrow is the change in position. That change in position being the energy that is the arrow itself. According to this model, objects only exist because of their quaternion change in position which gives them mass energy.If the object is observed to be moving through 3D space, that change in position is a part of the physical identity of the object. An existential object, rather than mathematical abstract entity, must be defined by at least two quaternions. That definition includes the element of change within it. (Meaning the arrow is not a collection of mathematical points that must be considered stationary). This solves the paradox.
Although integers and points can be used for physical description it is my opinion that they are part of an abstract language that does not relate directly to the existential reality of physics. Therefore producing abstract outcomes rather than outcomes that relate more directly to that which is observed. That is not to say that non quaternion mathematics is not useful.
report post as inappropriate
Eckard Blumschein wrote on Dec. 14, 2009 @ 03:46 GMT
Amrit and Georgina,
Your positions remind me of Einstein's helpless admission concerning the NOW and also of mathematical evidence for existence, e.g. of god and the fundamental theorem of analysis.
Does the real projective line provide evidence for the existence of a point plus-minus infinity?
Amrit denies the existence of past and future. What does existence mean to him?
I prefer to rather consider two mutually excluding views: Backward and forward.
Any actual process unites an unlimited diversity of influences from its past. They are real in the sense they left traces and cannot be changed any more.
Any prediction, plan, or preparation is limited to the expected future and always uncertain to some extend with respect to its agreement with what will become reality. There is no measurable future. Even in bird's brain, future is a mental construct.
Abstraction from reality removes the restriction of processes to the past and of predictions to the future. Mathematics is not an illusion but a tool. There are a few very basic illusions in mathematics and scores of illusionary applications of mathematics in physics.
Eckard
report post as inappropriate
Georgina Parry wrote on Dec. 14, 2009 @ 09:04 GMT
Eckard,
You ask "Does the real projective line provide evidence for the existence of a point plus-minus infinity?" Why do you ask? I'm not sure if that is a rhetorical question or statement to make "a point" or an actual question. I am not a mathematician. Though tempted to answer I can see myself falling into an unforeseen well of abstract mathematical theory and reasoning. I don't want to go there.
I am in agreement that there are signs of those influences encountered during the continuous process of change, that can be observed in behaviour and or physical structure, although there is no existential past "out there". The past can however form a part of mathematical analysis. I also agree that the future does not exist but can be imagined. It too can form part of mathematical analysis.
These important differences between mathematics and existential physics need to be borne in mind, rather than assuming that that which exists in the mathematics is physically realistic.
report post as inappropriate
amrit wrote on Dec. 14, 2009 @ 18:51 GMT
Eckard we do not have any experimental data past or future exist as a physical reality.
Past and future belongs to the mind, energy change run in timeless space.
Universe is ageless. "Before" exist only in a sense of numerical order measured with clocks - natural as Earth rotation or made one.
Universe is NOW.
yours amrit
report post as inappropriate
Georgina Parry wrote on Dec. 14, 2009 @ 20:06 GMT
Eckard,
"NOW" is not problematic in the model I am proposing. It is an individual subjective experience that is different for each observer. Each experienced present moment is formed from a patchwork of input arriving at the sense organs and filtered by the type and threshold of those senses and individual brain processing. Which may include such factors as state of alertness, alcohol,drug or caffeine consumption, training to attend to particular stimuli, number of other competing stimuli to be dealt with etc. etc. Further filtering occurs so unimportant or non urgent stimuli are not passed to the conscious mind, although attended to by the sub conscious mind. Association between memory is incorporated so that the input can be comprehended in the light of previous experience and learning and the result is experienced by the conscious mind.
The input has various sources varying in spatial distance from the observer. Possibly varying from millimetres to light years. However it is all "stitched together" by the brain to give a present or now experience of the conscious mind. So there is no universal present, it is all personal subjective experience of input from sources that may be considered to be well spread over time, if using a space-time model.There is no existential past, present or future. The present is an experience, part of the biologically generated subjective reality. It is not an external physical absolute or a foundational element giving rise to objective reality.
There is energy change, producing those forms that we identify, which can be modelled for comprehension within a quaternion framework of 4 spatio-energetic dimensions, without time. Within that structure the processes of chaos and complexity can (and I anticipate will eventually) be modelled and shown to gives rise to the universe that we observe via self assembly. IMO.
Whether an individual wishes to relate to a scientific explanatory model as description of their god is a matter of personal choice. The model just is what it is. What people choose to do with it outside of physics or how they wish to relate to it is a matter for the disciplines of behavioural psychology, sociology and theology to explore not physics.
report post as inappropriate
Georgina Parry wrote on Dec. 14, 2009 @ 20:47 GMT
I think the main point was that physics interfaces with biology (at the sense organs). I have called this the Prime Reality Interface. We -experience- the universe from the biological side of that interface. Which includes the experience of time.
report post as inappropriate
Lawrence B. Crowell wrote on Dec. 14, 2009 @ 20:53 GMT
Issues of "epsilons and deltas" in mathematics pertain to the consistency of the mathematics, which might be employed in physics. I Don't tend to worry too much about whether a real line can be dissected in some manner, such as a Dekekind cut, when it comes to directly physical implications. Again these are matters which concern the consistency of the mathematics employed.
The mathematical world which pertains to geometry is pretty tied to point-set theory, which deeper down is tied to the ZF set theory. I don't think this is likely to change in the future. The issues involved were inspired by calculus and the nature of infinitesimals (what Newton called fluxions) and the exact meaning of the limit.
Cheers LC
report post as inappropriate
Georgina Parry wrote on Dec. 14, 2009 @ 21:32 GMT
A problem with geometry is that it is static. However it seems that change is a most fundamental feature of the universe and the particles and matter within it. That is not reflected by the static nature of geometry, which can at best only give a series of static snap shots of 3D space. A block universe does not appear to move or change. That does not mean that geometry should not be used but its artificial rigidity should be borne in mind when interpreting its meaning.
Change is incorporated into the mathematics of quaternions which can give a sequence of rotations used to build up 3D structure. Chirality or handedness is seen in some inorganic substances and biological molecules. I think that it is not unreasonable to hypothesise that the nature of the particular rotation could lead to this chirality of structure. Which may be due to the particular shape of a structure under construction, giving drag or balance factors, that leads to a particular orientation of rotation in quaternion space.
report post as inappropriate
amrit wrote on Dec. 15, 2009 @ 13:07 GMT
Georgina, you say:
"NOW" is not problematic in the model I am proposing. It is an individual subjective experience that is different for each observer.
I would no agree, NOW is not subjective in a sense of "personal", NOW is objective in a sense that observer experiences what senses perceive.
In all people on this planet and all beings in the universe observer is the same, identical: observer is consciousness itself.
yours amrit
report post as inappropriate
amrit wrote on Dec. 15, 2009 @ 13:10 GMT
Georgina Parry wrote on Dec. 15, 2009 @ 19:23 GMT
Amrit,
We will have to disagree then. Your usage of the term objective is not the same as mine. What the senses perceive is a filtered sub set of the data available in the universe which is further filtered and modified by the brain. The subject experiencing the product of that filtering and processed data is not directly experiencing the universe but a biological simulation. I call that biological simulation subjective reality. Every individual biological entity will be experiencing its own subjective reality interpretation of the external universe.Which includes an individual perception of a present. You are not a part of my present and I am not a part of yours.
Philosophically it may be argued that each individual is a part of a single consciousness but unaware of that. It may be the interpretation of the right hemisphere in a meditative state, which tends not to reduce and classify but thinks holistically, bringing things together and comparing. That is not the experience of alert mind in a usual situation.
report post as inappropriate
Anonymous wrote on Dec. 15, 2009 @ 19:59 GMT
Amrit,
When I said "That is not the experience of alert mind in a usual situation." I meant that the usual experience is not to "feel" that all life has one consciousness.
In the alert usual frame of mind objects and individuals are considered separate in both substance and consciousness. This is the left brain functioning as it should to allow us to make sense of the array of sensory input that arrives at the brain as flows of electrical impulses. Differentiating it into different and distinct sources.
The left brain is not correct and the right brain incorrect or vice versa. Both are interpretations of the data performed differently. I do not think that the right hemisphere perspective is more real or correct. A model that is able to fit with the interpretation of both cerebral hemispheres is in my opinion better than one that only fits with the interpretation of one of the two hemispheres.
report post as inappropriate
Eckard Blumschein wrote on Dec. 16, 2009 @ 16:39 GMT
Lawrence,
Both the closed interval [0,a] and the open interval(0,a) are deemed to have the same Lebesgue (Lebeg) measure. Do we need non-measurable Vitali sets? Do we need all the confusion due to sets of points at all? I would be interested in letters by Baire, Borel, or Lebeg on Cantor's sets.
The boundary between the property of mine and the property of my neighbor does neither...
view entire post
Lawrence,
Both the closed interval [0,a] and the open interval(0,a) are deemed to have the same Lebesgue (Lebeg) measure. Do we need non-measurable Vitali sets? Do we need all the confusion due to sets of points at all? I would be interested in letters by Baire, Borel, or Lebeg on Cantor's sets.
The boundary between the property of mine and the property of my neighbor does neither belong to me nor to him. Mathematics can nonetheless be consistent:
Why not oo+oo=oo and why not |sign(0)|=1? The probability to manage setting the position of Buridan's ass or Schoedinger's cat exactly at a given measure equals to the measure zero.
My primary intention was to ask for how IR+ joins IR-, and I am now absolutely sure that the measure ( or [ 0, a) does not need a neutral 0 as to be immediately adjacent to the corresponding negative measure because any single real measure is finite and therefore has the measure zero. In engineering, I often used the forbidden by mathematics operation f/0=oo with f=anything finite.
I would prefer a year in prison instead of being forced to learn real analysis or scientific ML (Mengenlehre, also Marxism-Leninism).
You questioned practical consequences. I found out that arbitrary definitions can be unnecessary and misleading. Cf. the example I gave in my M283. Integral tables offer values for the integral 0 to oo over the function sin(x)cos(ax)/x not just with |a| smaller than 0 and |a| larger than 0 but also with an arbitrarily introduced middle value |a|=0 of measure zero .
While the latter is claimed to be necessary foe mathematical reasons, it does not yield the correct result, which must be the original function in case of a transform back and forth.
You already mentioned trouble with the interpretation of Dirac impulse at zero. I am no mathematician, so you might correct my guess: It is not always possible to directly perform integrals from negative to positive values but one has to split them into two parts with positive and negative argument, respectively. Accordingly, a Dirac impulse in IR+ is reasonable.
Further trouble with the unilateral Laplace transform has been reported by Terhardt at MMK in Munich.
Dedekind was of course not the first one who imagined the real line consisting of points.
Already Proklos in ancient times uttered similar ideas, and Albert von Sachsen (1316-1390) imagined in his book "Questiones subtilissimae in libros de celo et mundi" a wooden bar consisting of points. One of those who reasonably to some extent dealt with the matter was the almost forgotten German mathematician P. du Bois-Raymond.
I agree that mathematics is much too proud and unable for giving up illusions as to abandon such unproven obviously futile nonsense as aleph_2.
Progress in mathematics was always stimulated by reasonable application. 3,000,000,000 € are not too expensive if one draws the correct conclusions from a failure to confirm theories on possibly wrong beliefs. I am curious.
Eckard
view post as summary
report post as inappropriate
Lawrence B. Crowell wrote on Dec. 16, 2009 @ 21:25 GMT
The point-set topological approach to mathematics is so far the most consistent approach taken. There have been alternatives proposed, but they run into other difficulties. As for integrating from -∞ to ∞, breaking this up would change the answer if there is a delta function at zero. If the integral is set up between (-∞, o^-) and ()^+, ∞) that would ignore the delta function. There are theorems about this for general functions instead of distributions, and the result is in general there is no difference.
It is not hard to show there is a difference between countable infinity and uncountable infinity. The Cantor diagonalization “slash” method illustrates there exists sets which have an infinite cardinality which can’t be mapped to a countably infinite set. This leads to the power set generalization or the continuum hypothesis אּ_1 = 2^{אּ_0}, which in turn leads to higher aleph values for transfinite numbers. The continuum hypothesis has been found to be consistent in ZF set theory by Bernays and Cohen, but not provable. This was a set theoretic approach to using Godel’s theorem.
I don’t know if any of that stuff has much use in physics. It is pretty abstract stuff which tell us nothing about physical quantities. As for real analysis, I took a graduate course in it. It is not exactly my cup of tea. I prefer group theory, algebra, differential geometry and topology, and am much more prepared to make intelligent comments on that. Yet the subject of real variables does get into general integration theory, and integration over function of L^p spaces. For p = 2 this includes Banach and Hilbert spaces.
As a general comment, mathematics as known is pretty solidly founded with lots of theorems which render these systems consistent. The point-set topological approach to these foundations is pretty much bedrock stuff. People have looked into alternatives, but nothing has worked out with the degree of consistency and power.
Cheers LC
report post as inappropriate
amrit wrote on Dec. 17, 2009 @ 17:56 GMT
Georgina you say: The subject experiencing the product of that filtering and processed data is not directly experiencing the universe but a biological simulation.
Myself I'm pragmatic, I use my rational mind as a tool when I need it.
In the direct experience of the universe there is Oneness.
yours amrit
report post as inappropriate
Eckard Blumschein wrote on Dec. 17, 2009 @ 18:24 GMT
Lawrence,
You wrote: “As for integrating from -∞ to ∞, breaking this up would change the answer if there is a delta function at zero. If the integral is set up between (-∞, o^-) and ()^+, ∞) that would ignore the delta function.”
I do not stick on arbitrarily chosen definitions when I understand the essence. My honest main concern is to get rid of...
view entire post
Lawrence,
You wrote: “As for integrating from -∞ to ∞, breaking this up would change the answer if there is a delta function at zero. If the integral is set up between (-∞, o^-) and ()^+, ∞) that would ignore the delta function.”
I do not stick on arbitrarily chosen definitions when I understand the essence. My honest main concern is to get rid of unjustified arbitrariness. For instance, I consider Duhamel’s integral not just older and equivalent to the meanwhile mandatory definition of convolution by integration from minus infinity to plus infinity but simply the original convolution, as the non-negative numbers are obviously basic to the positive and negative integer numbers.
Because I was not sure about the ranges of indefinite integral tables, I looked into my old Bronstein and found 44 integrals from zero to oo, 1, pi/2, or pi/4. Merely a single one extends from minus infinity to plus infinity. Because the function sin(x^2) exhibits even symmetry, the corresponding integral from zero to infinity equals half the given and perhaps actually in IR+ calculated and then doubled value. I recall having found this method in a book on integral transforms by Snowden.
In what I am calling safe and secure physics, there are only positive items and only positive basic quantities. The primary role of IR+ also implies that for this pre-traditional in the sense “before Copenhagen” physics, as admitted by Pauli, complex quantities are valuable but not essential tools.
The interval between your 0^- and 0^+ has the measure zero. It is irrelevant not just in physics but consequently thought in mathematics too. Buridan’s ass is still a good reminder of the ignored fact that numbers are not appropriately attributed to points but to measures instead. The ass would likewise suffer starvation if he was looking exactly at any other point.
Omitting the neutral zero would not ignore the delta function but merely require putting it on a less naive footing.
I already mentioned Terhardt and also Aseltine reporting trouble with unilateral Laplace transform. I forgot the names of three professors from MIT who not convincingly tried to fix the trouble by means of distributions.
I would agree that such questions and confusions are not immediately important in physics. In order to not be considered selfish, I would even humbly belittle my reason to deal with them. However, you gave the clues yourself:
- “Bedrock” stuff including cardinality introduced by Cantor. He was charismatic but insane and called a charlatan. His proponents were forced to call his set theory untenable and naïve.
I do not object to facts: There is no limit to natural, integer, and rational numbers alias measures. Each of them is countable, i.e., it can be reduced to the unity by means of the four basic operations. The measure between two rational measures can always arbitrarily further split.
Uncountables alias alogos alias incommensurables alias irrational including transcendental “numbers” do not have such relationship via a finite number of basic steps to the measure one.
The notion cardinality would be justified if there were not just countable and uncountable measures.
However aleph_2, aleph_3, etc. could not be justified by a single reasonable application within about 130 years.
Infinity has mutually excluding meanings:
Originally it means the property of unlimited measure, the possibility to count endlessly. In this common sense Galilei understood: Trichotomy is invalid for infinite quantities.
When Spinoza clarified: One cannot enlarge and not exhaust the infinite, he still maintained the absolute alternative distinction of infinite in contrast to finite but he referred to something fictitious.
Leibniz used the sloppy notion of “infinite relative to something”, which is still in use when we write oo or 0. For Leibniz the infinites and infinitesimals are fictions with a fundamentum in re like sqrt(-1).
Cantor introduced omega as a created infinity and fabricated transfinite integers.
Engineers like me don’t worry using for convenience oo like 1/0 as if it was a quantity.
- You are prepared for making intelligent comments on … algebra … topology
Let me admit that such comments are perhaps at least pretty similar to what Wikipedia and textbooks have to tell. Do you expect them to solve what seems to be out of order in the very basics?
I would rather appreciate you providing reasons how to refute the ideas I tried to suggest.
One of my key claims is that the body of discrete rational numbers/measures and the continuum of all measures mutually exclude and complement each other. All discrete spectra I measured where strictly speaking continuous because the time of my measurement was always limited. Conversely, all my continuous measurement was based on discrete samples.
My second claim is: IR+ fits best when we causally describe the result of any process. Consequently, a lot of speculative physics might deserve a skeptical scrutiny.
Please accept the challenge
Eckard
view post as summary
report post as inappropriate
Lawrence B. Crowell wrote on Dec. 18, 2009 @ 20:34 GMT
@Eckard,
I will have to get back to this. To be honest I suspect you are drumming up a problem or controversy where none exists, or the answers or theorems exist.
LC
report post as inappropriate
Eckard Blumschein wrote on Dec. 19, 2009 @ 18:08 GMT
Lawrence,
Zermelo saved Cantor's naive set theory in 1904 when Julius Koenig objected against well-ordering of the real numbers by fabricating the axiom of choice. In ZFC stands Z for Zermelo and C for choice. Lebeg's measure does not need the axiom of choice.
Zermelo's 1908 improved proof of the well-ordering is based on exhaustion. Zermelo ignored that the original meaning infinity cannot be exhausted.
By the way, Dedekind explained in his letter to Weber on Jan. 24, 1888 why the irrational numbers are not immediately identical with his cuts.
The only miracle to me is why not even Poincaré, who called Cantor someone who spoils the young generation, Borel who rejected the axiom of choice, and Lebec were not encouraged enough as to not consider measure belonging to sets but the other way round consider measures the primary objects in mathematics and physics. Maybe, the proponents of Cantor's untenable naive definition of a set were just too strong and those like Kronecker and Brouwer too weak.
Regards,
Eckard
report post as inappropriate
Lawrence B. Crowell wrote on Dec. 20, 2009 @ 22:43 GMT
The axiom of choice leads to some curious results, such as the Banach-Tarski decomposition of a sphere into an unmeasurable set and its recomposition into two spheres. This theorem was suggested as a basis for particle physics and a parton model approach to QCD and energy scaling. I am not so sure about that.
Cantor's transfinite numbers remained in the hinderland of set theory for some time. Yet Bernays and Cohen found in the 1960s that the continuum system Cantor proposed was consistent in ZF, but not provable. So the Cantor transfinite set system moved into the domain of established mathematics. Set theory gets even stranger, with least inaccessible cardinal numbers by Uman which are infintely greater than the aleph numbers, even אּ_ω or אּ_∞. These are in a class even further up the transfinite ladder, and there are a couple of set thoeretic infinite systems far beyond that. Of course for me I can't entertain these ideas that much. These don't appear to be effective for mathematical physics. So as far as I see much of this is a sort of mathematical playground that has little bearing on the natural world --- at least for now.
Cheers LC
report post as inappropriate
Aether Wave Theory wrote on Dec. 20, 2009 @ 23:23 GMT
describes reality as a nested density fluctuations of infinitelly dense particle field. Does some connection to topos theory exist there? I don't see any yet.
report post as inappropriate
Mauricio de Sa wrote on Dec. 21, 2009 @ 03:08 GMT
Absolutely fascinating. Even though I'm convinced that we are decades from having a real breakthrough in quantum mechanics I wish I had the capability to understand a brain storm between these two fascinating minds.
report post as inappropriate
RLO wrote on Dec. 21, 2009 @ 06:03 GMT
Kerr solution: J = aGM^2/c
m(n) = [n]^1/2 [constant], i.e., sqrt[n] [constant]
where: a = 1/n and
constant = corrected Planck mass = 674 Mev
-n----n]^1/2[constant]----Empirical mass---Agreement
1/36------112.3------muon 105.7------------94.0 %
1/25------134.8------pion 134.98-----------99.9 %
1/2--------476.6-----kaon 497.7-------------95.8 %
3/4--------583.7-----eta 547.8--------------93.4%
1----------674---------Planck mass-------- -----
2----------953.2-------proton 938-------------98.3 %
2----------953.2-------neutron939.2?--------98.5%
2----------953.2-------eta' 958--------------99.5 %
3--------1167.4-------Lambda 1115.7------95.4 %
3--------1167.4-------Sigma 1192----------97.9 %
4--------1348.0-------Xi 1314.8------------97.5 %
5--------1507.1-------N ~ 1450------------96.1 %
6--------1651---------Omega 1672.5-------98.7 %
7--------1783---------TAU 1784.1---------99.95%
8--------1906.3-------D 1864.-------------97.8 %
10------2131.4-------D(s) 2112.2-----------99.1 %
12------2334.8-------Lam(c)2284.9---------97.8%
Well, that is the 16 most common and stable of the
particles observed, with the exception of the electron
which has n = 1/(1319)^2 and I want to study that a
bit more. Maybe only a full K-N solution will suffice here.
My argument is that this high degree of ordering
demands an explanation. The fact that it was achieved
with the admittedly very approximate Kerr solution
makes things even more interesting. The fact that
Discrete Scale Relativity is definitively required to
determine the crucial value of the corrected Planck
mass should be fully appreciated.
Barking dogs may now start barking.
Scientists will undoubtedly start thinking.
Happy Winter Solstice [33rd anniversary of DSR]
Robert L. Oldershaw
www.amherst.edu/~rloldershaw
report post as inappropriate
Anonymous wrote on Dec. 21, 2009 @ 08:04 GMT
This would have been more interesting if you described their ideas more and spent less time extolling the virtues of collaboration.
report post as inappropriate
Eckard Blumschein wrote on Dec. 21, 2009 @ 18:29 GMT
Lawrence,
Let's not forget that I am claiming having unveiled a basic mistake: It is natural to count measures, not points. Several oddities of set theory and related topology can be ascribed to this mistake.
You wrote: "The axiom of choice leads to some curious results, such as the Banach-Tarski decomposition of a sphere into an unmeasurable set and its recomposition into two spheres."
-- This is well known. It is also no secret that many mathematicians distrust the AC.
You wrote: "This theorem was suggested as a basis for particle physics and a parton model approach to QCD and energy scaling. I am not so sure about that."
-- I am not interested in such suggestions as long as they seem to be unfounded. I cannot even decipher what QCD stands for. I would read QED quantum electrodynamics.
You wrote: "Cantor's transfinite numbers remained in the hinderland of set theory for some time."
-- Can you please tell me the meaning of hinderland, a word missing in my dictionaries. Hinterland in German might have a different meaning.
You wrote: "Yet Bernays and Cohen found in the 1960s that the continuum system Cantor proposed was consistent in ZF, but not provable."
-- I was only aware of Cohen "The Independence of Continuum Hypothesis" PNAS 1963.
You wrote: "So the Cantor transfinite set system moved into the domain of established mathematics."
-- I prefer positive evidence as do positivists. The existence of god has been mathematically proven while the opposite seems to be impossible. ;-)
I see Cantor's evidence just delusion.
You wrote: "Set theory gets even stranger, with least inaccessible cardinal numbers by Uman which are infintely greater than the aleph numbers, even אּ_ω or אּ_∞. These are in a class even further up the transfinite ladder, and there are a couple of set thoeretic infinite systems far beyond that. Of course for me I can't entertain these ideas that much. These don't appear to be effective for mathematical physics. So as far as I see much of this is a sort of mathematical playground that has little bearing on the natural world --- at least for now."
-- Uman is not known to me. Replace little by no, and I will agree. I appreciate having learned the apt word playground from you.
Regards,
Eckard
report post as inappropriate
Lawrence B. Crowell wrote on Dec. 22, 2009 @ 00:02 GMT
I think we are close to being able to work out a problem here with SU(4). I wrote on
The Beautiful Truth on SU(4) and SU(3)xU(1). This seems to imply QCD in a parton-like theory with Bjorken scaling is a low energy stringy theory that is holographically dual to an AdS_3 (or at higher energy AdS_4) spacetime physics. In this way we might work how hadron scattering is dual to holographic fields of a supergravity multiplet.
We could start working this up after the New Years I think. We will need to communicate off the FQXI website here.
Today is the solstice, so happy Yule and ring those solstice bells. This is the season we all light up candles and faralitos --- in our modern age electric lights, in keeping with an ancient tradition of trying to bring the light back. Hannukah is past, so the light of the Menorah are no more. The Romans had Sol Invictus and Saturnalia, and the Christian celebration of Jesus’ birth is to carry the idea of light entering back into the world.
Cheers LC
report post as inappropriate
Lawrence B. Crowell wrote on Dec. 22, 2009 @ 00:36 GMT
I pasted in the above post into the wrong FQXI page.
I don't think that Cantor's work is a delusion, though I am not in a position to rigorously defend it. The problem is that I am not a set theorist particularly, though I have a tangential acquaintance with it. There are arguments over the role of the AC. I had some years ago an interesting converstation with Chaitan over this. The mathematics of transfinite mathematics does have it origin in the dichotomy between countable and uncountable infinity. There is little mathematical debate over the existence of that.
The issue with physics, where it might have some bearing, is that physical objects occur in discrete packets. We measure things in clumps, where even quantum measurements involve a spot on a photoplate or an electronic click that registers a bit of information. So we actually measure things which are not continuous in a strict mathematical sense. These are particles or dynamical quantities. Yet we are faced with some curious issues with physics that dates back to F = ma. There you have a dynamical entity (force) equal to a kinematical quantity (mass) times a geometric quantity (acceleration). The geometric stuff involves relationships between things we measure. It is in this domain that we have continuous quantities. It is also here that the foundations of mathematics enter into physics. Most physicists, myself included, might only appeal to some point-set theory, such as compactness or paracompactness and so forth. If one were so game they might delve into deeper set theoretic issues. However, most physicists don't go there.
The loop quantum gravity crowd tends to see physical spacetime as a discrete system. However, the recent measurement by Fermi spacecraft on the simultaneous arrival of photons of widely different wavelength from billions of light years shoots down a major prediction of LQG.
Cheers LC
report post as inappropriate
Eckard Blumschein wrote on Dec. 22, 2009 @ 17:45 GMT
Lawrence,
I would appreciate explanations why in the end Dedekind equated numbers with points. I myself found out so far:
Homer used the word pempazein (to five) for counting. Obviously counting was performed at the five fingers of a hand. The Greeks used
alpha, beta, gamma, ..., eta instead of 1,´2, 3,... , 8,
iota, kappa, lambda,... pi, instead of 10, 20, 30, ..., 80
rho, sigma, tau, ... omega, instead of 100, 200, 300, ..., 800
Vau = 6, Koppa = 90, and Sampi = 900
Aritoteles quoted the Phythagorean Eurytos who defined the unity (monav) as a point without position and accordingly a point as a unity that has a position.
Accordingly I tend to blame the intention of Eurytos to play with figurated numbers for the perhaps worst mistake in mathematics.
I will later deal with your defense of Cantor's naivity. Alfred Nobel did perhaps know why he decide, let be no price for mathematics. He did not like
Mittag-Leffler who supported Cantor.
Regards,
Eckard
report post as inappropriate
Lawrence B. Crowell wrote on Dec. 23, 2009 @ 00:17 GMT
The assignment of points with numbers goes back a long way. From meter stick lengths to coordinate grids on maps that is what we do. So the issue of assigning a real number of every point on a line, or pairs and n-tuples on planes or higher dimensional space goes back to some pretty classical ideas. Calculus is based ultimately on the idea that an infinitesimal constructed from a limit computes something, or numbers are assigned to points.
This procedure, which has practical uses, has lead to various questions about the foundations of mathematics. In the 20th century this lead to Cantor's pointing out how countable infinity was less than a continuum infinity, Godel's discovery that axiomatic systems are incomplete with statements that are true and unprovable, and Cohen's fusion of these two in his demonstration the continuum hypothesis is consistent in ZF, but not provable.
Cheers LC
report post as inappropriate
Eckard Blumschein wrote on Dec. 23, 2009 @ 12:21 GMT
Lawrence,
Let me reveal mistakes step by step. You wrote:
"The assignment of points with numbers goes back a long way. From meter stick lengths to coordinate grids on maps that is what we do. So the issue of assigning a real number of every point on a line, or pairs and n-tuples on planes or higher dimensional space goes back to some pretty classical ideas."
-- The primary meaning of numbers is still rudimentary to be seen in the Roman numbers: I, II, III, etc. Numbers are based on the choice of a unity "one". The next steps were repetitious recognition of this unity. If the unity is a length, then any decent number is also a length. In other words, the primary and therefore correct meaning of a number is a measure. Points do not have a measure. A number indicates how often the unity is repeated or split. Any piece of an ideal one-dimensional meter stick is still to be thought to be one-dimensional. The measure is given by two points: at zero and at the end. For instance, the number 35 is only correct if we start count at zero an not at 100cm. This clarification seem to be trivial. However, it avoids a lot of wrong consequences.
Regards,
Eckard
report post as inappropriate
Lawrence B. Crowell wrote on Dec. 23, 2009 @ 18:40 GMT
As I see it you are calling into question the whole development of mathematics going back to calculus. Of course I can't write up a review of classical mathematics leading up to point-set topology and later foundational aspects. I am not sure where your departure lies. I would imagine that few physicists would cry foul over a rejection of Cantor transfinite set theory, and many mathematician might be unperturbed. However, if you point of departure reaches further into established or classical mathematics I suspect your objections will gather a smaller audience.
I am at best a sort of meatball mathematician, but mathematics involves relationships between structures which are consistent. That is the primary requirement. The idea of limits in calculus, with infinitesimal lengths and the like, might sound strange from one perspective. However, from a formal perspective these systems work. That is the primary requirement for any successful mathematical system.
Cheers LC
report post as inappropriate
Eckard Blumschein wrote on Dec. 23, 2009 @ 19:24 GMT
Lawrence,
Why do you think the interpretation of numbers as measures instead of points is not agreeable with calculus?
According to
www.classicpersuasion.org/pw/burnet/egp.htm?chapter=2
"the Euclidean representation of numbers as lines was adopted to avoid the difficulties raised by the discovery of irrational quantities". Euclid is not only famous for qed but also for his book "Elements" which was printed in 1500 editions and there are uncounted handwritten copies. Who abandoned his notion of number and why? Was it at the time of Descartes?
Regards,
Eckard
report post as inappropriate
Lawrence B. Crowell wrote on Dec. 23, 2009 @ 20:25 GMT
I was not clear on your objection I think. Calculus is based on measure theory, at least integration is largely based on it. To be honest I am a bit unclear on what you see as so troubling. The real line is the set of all real numbers, which exist at all points on the line.
Cheer LC
report post as inappropriate
Eckard Blumschein wrote on Dec. 23, 2009 @ 23:54 GMT
Lawrence,
I found four conditions for a non-principal ultrafilter in non-standard mathematics:
1 modus ponens, 2 closed under intersection, and 3 dichotomy. While 1+2 define a filter and 1+2+3 define an ultrafilter, I am mainly interested in 4 non-principality, i.e., adding or deleting a finite munber of elements to/from A does not affect whether A is in p.
The latter well agrees with my understanding of really real numbers in contrast to rational ones. In other words, a single number or even a finite number of real numbers can be neglected when considered submerged into the genuine continuum of really real numbers. Accordingly, I prefer |sign(-->0)|=1, not =0.
I know: It is absolutely uncommon to write -->0 or in the general case -->x for the argument of a function. When we write f(x) we assume x subject to trichotomy: having neighbors, which are either smaller or equal or larger.
Now I will tell you what makes the difference when we do not consider points but measures: In any case including integration and its inverse the arrow of measure has always the same direction wrt zero. Then there is not f(x=0) but always only a f(x-->0) with a direction according to |x|>0. The point x=0 has no measure and no bearing. Absolute exactness is a fiction that contradicts to the fiction of absolute continuity.
While the replacement of points by positive or negative distances from zero will have diverse implications for the issue continuum vs. discrete approximation, I felt in particular urged to remove some illogicalities that hindered me to both "correctly" and reasonably perform a restriction to IR^+ and gave rise to trouble with delta(0) and the lower limit of integration in case of unilateral Laplace transform.
In contrast to points, measures are not zero-dimensional.
Cantor's point sets do strictly speaking NOT constitute a genuine (Peirce) and physically relevant continuum because he excluded what he called the infinitum absolutum. He claimed that there are cases of an infinitum creatum sive transfinitum in nature. They aren't.
After Abel called mathematics a mess, an increasing crowd of mathematicians strove for rigorous formalisms. Many were even ready to accept Cantor's seemingly correct proof for a more than countably infinite number of real numbers. Cantor enchanted the experts by keeping fix all of infinitely much of numbers!
Do not take me wrong. I do not deny that irrational numbers are uncountable, i.e. outside the rationals, and we may consider them to constitute the Peirce continuum. However, they must not quantitatively compared with the rationals. Infinity is strictly speaking an absolute property that cannot be increased. Infinitesimals are elements for linear approximation that are well described by means of epsilontics and notions like "small of higher order", or "as if they were infinite".
Regards,
Eckard
report post as inappropriate
Lawrence B. Crowell wrote on Dec. 24, 2009 @ 18:14 GMT
Analysis uses measures because there is no "machine" which can compute or enumerate all the elements of the reals. Yet measure theory is still based on point set topology.
It has been a long time since I concerned myself with these issues. Going back to the late 19th and early 20th century history of mathematics it is clear there were considerable debates over this. I would tend to say that unless somebody comes up with a new system of mathematics that the current system will remain. I think it would require a huge abstracted idea to reframe these foundations of mathematics.
Cheers LC
report post as inappropriate
Ian Durham wrote on Dec. 25, 2009 @ 17:30 GMT
That type of relationship (between Döring and Isham) is what I've been looking for my entire career. Unfortunately, I'm already a tenured department chair which severely limits my freedoms. Congrats to Döring on finding such a thing when he did.
report post as inappropriate
General Omar Windbottom wrote on Dec. 26, 2009 @ 03:38 GMT
You're a "chair"?
That wiould explain the dead wood, but how in the world can a chair type a message on a keyboard?
report post as inappropriate
paul valletta wrote on Dec. 26, 2009 @ 08:13 GMT
This statement:"According to quantum mechanics, you cannot ask what the properties of a quantum particle are before it is measured. Prior to observation, the particle exists in a superposition of multiple contradictory states."
There’s no simple yes/no or true/false answer to questions about the state of the particle." is a puzzling statement?..isn't a "measure" actually allready asking the !question" ? To measure something is to ask and thus locate a particle's properties? Being measured is axtually a default knowing "before" question?
Reducing observation down to simplistic "yes/no" questions is not a viable process, as stated in the article, but what if we looked at a reverse perspective?..for instance, any macro entity such as an observer, when trying to locate a micro entity/paticle is actually looking from large-scale to small-scale, so what about the micro particle looking outwards..any quantum actually "know" it is being measured by default, a quantum will "know" about a MACRO entity long before the entity has located the quantum!
If one tries to locate a needle in a haystack, one could find it by chance quite quickly, or it may take an eternity, something large trying to locate something small, by its very nature has a lot of variables. Now reverse the "logic" process, what if the needle could relay its knowledge of the "seeker2, the macro entity trying to locate it, if it could signal to the observer, here I am!, look over here!...then there would be interesting alterations to the Macro to Quantum, information exchange domains?
The very fact that a Macro observer moves the Quantum needle from location to location, a brownian motion like effect by default? The needle is no observer, it has no knowledge of hide'n'seek, even though it is being moved by the act of observer trying to locate it, the observation is only one-way.
Now logical sense may have limitations, by the process of cross scale domains?..would it make sense to walk into a haysack barn and proclaim:Needle, Iam not looking for you... the questioning seems to have relevance?
Who can doubt that actually looking for an actual sowing needle for instance, causes the sowing needle to be NOT located with ease, yet as soon as one gives up and turns to walk away, the needle appears under your foot..OOWWCHH!
It is not that trees in a forest do not exist or fall over when nobody is measuring them, its the facat the quastioning itself, appears to constrain the actual outcome of probable answers"
I do really admire the ones who take the challenge to unravel the cpmplex observer/observation_measured/measure fields, quite interesting.
report post as inappropriate
Eckard Blumschein wrote on Dec. 26, 2009 @ 13:56 GMT
Lawrence,
Hopefully you will agree that Leshan, Döring, Paul Valetta and someone whose essay is characterized by frequent use of "in some sense but" might simply be too old as to follow the logics of Euclid and any critically thinking child: Point, line, etc. are different from reality in that being infinitely small or thin.
I consider the idea that points are like pebbles or like symmetrically arranged patterns on a dice a cancer to be removed from mathematics. Let's admire the wisdom of Alexandria which was summarized by Euclid: A point is what does not have parts.
The usual notion of a cut means to separate something by placing a knife between parts. Dedekind's cut is not in position to separate two continua from each other. Accordingly we have to re-understand the notion singularity and should be very skeptical concerning claimed singularities in physics. This does not mean they are useless. I enjoy using them as I am using points and lines, which strictly speaking do not exist either.
I see children, very young physicists, and to some extent mathematically proficient engineers like Wolfgang Mueckenheim who is a dean in Augsburg and a professor who lectures mathematics best suited to contribute to an overdue correction of some basics of mathematics. Do not get me wrong. I do not entirely share his views. Old chairs shy back from the huge heap of rubble already feared by Fraenkel.
Regards,
Eckard
report post as inappropriate
Eckard Blumschein wrote on Dec. 26, 2009 @ 23:22 GMT
Lawrence,
When you reminded of controversy on set theory you certainly meant how Cantor managed to get published with support by Weierstrass and Hurwitz and despite of Kronecker's rejection. His populist attitude was widely appreciated: "The essence of mathematics is just its freedom." While there was not really a need for a set theory, Cantor's stunning proofs were seemingly correct. Kronecker gave up and died. In 1884, Cantor got insane for the first time because he failed to provide an already announced proof of his CH. Hilbert declared in 1900 the CH a most important problem. In this case and also in argumentations by Zermelo and by Fraenkel, sets of points were not at all put in question. From the very beginning in 1872 Cantor agreed with Dedekind and perhaps virtually all other mathematicians on the fallacious idea that there must be more real numbers as compared to the rational ones because the latter are a subset of the former.
My knowledge of the controversy is mainly based on original papers and Fraenkel's 1923 book. Christian Betsch who earned a 1,000,000.00 Deutschmark price, which was a fortune after inflation, also did not deal with the question whether numbers are points or measures.
Having looked in vain for any possibility to justify Cantor's naive cardinality, I see Galilei's and Euclid's insights still valid and a huge crowd of mediocre mathematicians busy with a tempest in a teapot for more than a hundred years.
The late Fraenkel cautiously admitted that set theory merely made mathematics more "interesting". I would rather say more bizarre.
Let me stress that I am not an antisemit. Cantor's opponent Kronecker was a wealthy Jew while Cantor himself got a Catholic education from his mother. Stupid Germans said one has to be Jewish as to understand the set theory. Wouldn't this possibly mean that Jews can in general be mislead more easily? The list of Hurwitz, Hadamard, Bernstein, Mittag, Schloemilch, Hessenberg, Hausdorff, v. Neumann, Bernays, Goedel, Fraenkel, Grothendieck, Robinson, Cohen, Levi, etc. is not less impressive than the list of those who Cantor himself called opponents of his transfinite numbers including Cauchy, Galilei, Gauss, Hegel, v. Helmholtz, Kant, Kronecker, Leibniz, and Newton.
Fraenkel himself stated that there were only a very few who resisted: Poincaré, Brouwer, and I would like to add Kolmogoroff, Heyting, Lorenzen, Bishop.
However, science is not a democracy, and it must not be attributed to belief. What ultimately counts are only solid arguments, experimental verification and valuable applications in practice.
Regards,
Eckard
report post as inappropriate
Lawrence B. Crowell wrote on Dec. 27, 2009 @ 21:26 GMT
Singularities in physics usually indicate a breakdown of a a physical principle. Singularities in general relativity tell us some more global principle is involved, such as quantization.
One problem I have with commenting on set theory is that I am not sufficiently educated in the topic to make much contribution to any such discussion. Mathematics builds up model systems, and one can build systems which avoid some of these curious issues of seemingly paradoxical cardinalities. The mathematicians do though like to work with the most general or powerful (powerful in being able to prove the widest array of theorems) system possible. We have a similar situation in physics with string theory, which makes a vast array of "predictions" that are not all realistic, but which is able to address certain physics problems better than the alternatives. ZFC theory does seem to fit the bill for mathematicians who work on these issues.
Cheers LC
report post as inappropriate
T H Ray wrote on Dec. 28, 2009 @ 14:59 GMT
Inevitably it seems, when physicists get stuck for an answer, the fault must lie in the mathematics. To me, that is sort of like blaming one's inability to tell a story on one's lack of vocabulary--and then blaming the audience for not understanding one's newly-invented terms when one decides to tell the story anyway.
Even in the days before mathematics and physics were truly separate disciplines, new mathematical methods came under suspicion by those seeking more intuitive, even "obvious" and simpler ways of describing perceived reality. The application of zero as a number, complex analysis, Newton's fluxions, Riemannian geometry ... examples abound for mathematical theories, methods and techniques that resisted physical application until forced by necessity.
One needn't worry about replacing mathematics with another system. It will replace itself. The most social and adaptable of the arts, mathematical language evolves just as natural language evolves--to meet the demands of describing new experiences. One need be reminded that almost all that we know of objective reality, however, is counterintuitive, not simple nor obvious until incorporated fully into the culture. And why should we be concerned about closing the gap between language and meaning? That gap is where understanding lives, the place where we find objective knowledge, and where we find the most interesting questions to ask of the "subtle, but not malicious" reality that we share.
Tom
report post as inappropriate
Eckard Blumschein wrote on Dec. 28, 2009 @ 16:31 GMT
Tom and Lawrence,
Given, my - as I am claiming - not entirely unsubstantiated suspicion that SUSY is based on a mistake will not be refuted by experiments with LHC or the like. Might I then hope for contributing to a more humble readiness to put at least the worst and not even positivist speculations in question? Zeh (4th ed. , p. 130) admits that there are reasons why white holes are unrealistic. I doubt that past, future, naked and other physical singularities must be taken as reality.
I looked for the origin and early meaning of the notion singularity at the time of Bernoulli and Euler and found it closely related to what I suspect. Let me explain it in the language of a boy who knows a ball and the globe. Is the middle point something special? No. It just belongs to the ideal equal distance from surface.
Triviality stems from three ways. The model has a node of ramification. Two streets in reality do not.
Seemingly, a theoretical physicist should reach the age of Methusalem as to have a chance for getting educated enough for answering my questions in a manner that does nobody understand. I see already Lawrence overqualified in mathematics.
Again, I consider my reproach worth: It is more reasonable to consider numbers as measures and not as points. I just found the notorious lack of clarity also in a conference paper by Jeffrey, Labahn, et al. of Wateloo on integration of signum, piecewise and related functions. Do we really need true lies, differently defined infinities, differently defined signum functions, etc.?
Indeed, reality and appropriate mathematics are not malicious. At the moment, Wikipedia seems to include a huge collection of mistake-related twists.
I recall that a textbook for engineers showed a function |sign(x)| like this
1 ____ ____ as if it intended to illustrate Lipshitz continuity.
0 V
Regards,
Eckard
report post as inappropriate
Lawrence B. Crowell wrote on Dec. 28, 2009 @ 17:34 GMT
Usually in the case of physics the fault of a theory lies not in the mathematics, but in the postulates of theory which result in some obstruction. This occurred with electromagnetism and mechanics, which Einstein first saw when he imagined himself on a reference frame moving with and electromagnetic wave. Similarly Planck realized that a problem with getting the spectra of a black body right was due to the assumption of having harmonic oscillators with a continuum of energy. By removing this obstruction then the apparent paradox is removed. From a mathematical perspective this does usually mean the adoption of a more general or powerful mathematical system for theoretical formulation.
When it comes to set theory that is pretty far removed from physics by and large. It is sometimes called metamathematics, for it concerns itself with the foundations of mathematical thought and how mathematical models are consistent. As I indicated I have really a tangential knowledge of this subject, so I am probably the last person to work up a more general foundation which could replace ZFC, or contribute much in such an effort.
This is not directly related to the issue of Topos theory, which is a categorical system of sheaves. There the type of algebraic geometry one works with is dependent upon the category (functor system etc) employed. This gives rise to this idea that mathematics in certain setting can "Lie."
Cheers LC
report post as inappropriate
Eckard Blumschein wrote on Dec. 28, 2009 @ 22:47 GMT
Yes, usually the fault lies not in the mathematics, and I would like to add that the words like theory, theorem, theology, theocracy, Theodor, etc. relate to theo=deo=deus=Zeus=god.
Maybe, for this or a similar reason Euler did not call his work a theory of ships?
You Lawrence uttered the common opinion:If there are obstructions, then the mathematics must be made more general. I strongly object in cases where I consider a theory already as too general.
Is it justified to use future time for an analysis of what relates to a process that is finished? No.
Does it make sense to allow for a diversity of arbitrary to choose definitions e.g. in connection with a function at a discontinuity and its value(s) there?
No.
Does the complex representation of a function that has measurable values only for positive arguments really provide an additional degree of freedom? No.
Isn't it a at least extremely risky to speculatively interpret without justification as real not just the obviously matching solution of an equation that fits to some extent to the physical reality but all of it, e.g. all Schwarzschild solutions?
I consider Gantor's utterly naive theory an exception, something really wrong and in the word ueberabzaehlbar reminding of Nietzsche's Uebermensch. Cantor admitted having got it directly from god.
So far I do not yet understand why Euclid's correct attribution of a numbers to the measure of a pieces of a line was forgotten. Maybe, the Romans were in mathematics the true "Vandals".
Regards,
Eckard
report post as inappropriate
Eckard Blumschein wrote on Dec. 28, 2009 @ 23:51 GMT
As a layman, I am surprised:
http://anubis.dkuug.dk/JTC1/SC2/WG2/docs/n2708.pdf
report post as inappropriate
Eckard Blumschein wrote on Dec. 31, 2009 @ 01:19 GMT
Let me explain why I consider it relevant for the relationship between mathematics including topos theory and physics that some Greeks did already operate with zero.
Most likely those like Platon (427-348) and Pythagoras (570-500) are to be blamed for the attitude of those mathematicians not to accept zero as a number,
negative numbers, etc., who expected that the world is based on laws of mathematics and anything is number.
I first looked at Descartes for several reasons:
- He referred to the rigorous work by Euclid.
- He used the understanding of numbers like points on a line.
- He prepared the invention of calculus by Fermat, Newton, and Leibniz.
The sloppy understanding of numbers like points on a line was, however, perhaps ubiquitous already before Descartes. Albert of Saxony, a rector of the university of Paris, founder of the university of Vienna and finally Bishop of Halberstadt was influenced by Buridan and Ockham. He compiled the knowledge of his time. He wrote: "There is no simple concept of a point, a vacuum, or the infinite, and although imaginary hypotheses provide an interesting detour, physics must in the end provide an account of the natural order of things."
Did he not know Euclid's uncorrectable definition of a point?
He wrote: "If A smaller B then there exists a quantity C such that A smaller B smaller C."
I suspect that the strive for mathematical strength was not agreeable with philosophical points of view as mentioned above. It was in this sense a strength of the middle ages to loose rigorosity.
Dedekind's attitude was then also opposite to Plato's. We may better understand the history of mathematics and physics when we are focusing on the question how the scientists tried to cope with unavoidable pragmatism and the need to accept physical restrictions to the much wider mathematical possibilities. This should give rise for a scrutiny of a large part of modern, in the sense of utterly speculative, theories.
Eckard
report post as inappropriate
Eckard Blumschein wrote on Dec. 31, 2009 @ 22:56 GMT
Correction:
A smaller C smaller B.
report post as inappropriate
Eckard Blumschein wrote on Jan. 1, 2010 @ 15:06 GMT
Having dealt a little with ancient and medieval mathematics, I changed my attitude towards Dedekind. His somewhat bewildering claim to create a new number was indeed a brave antithesis to Kronecker who considered the natural numbers as made by god.
Medieval mathematicians often equated the number one with god. "I am the Lord your God. You must not have other gods beside me."
The rational numbers are based on the primary measure 1. Irrational numbers may also be considered numbers if one admits different measures as the basis, e.g. the diameter of a circle or the diagonal of a square.
What about Cantor's idea to count in excess of infinity, I maintain my objections. Cardinalities like aleph_2 etc. are nonsense. While any irrational number is not exactly addressable with reference to the basic measure 1, there are infinitely many "gods" in the sense of - as Peirce understood the mere possibility of - infinitely many basic measures that would allow their own system of counting. The genuine continuum could be imagined to consist of all of them together. One must, however, not hope for unification of all "gods" in a manner other than calculation as if the reals were rationals. It is reasonable and sometimes necessary to accept that continuity and the measure-one based numbers exclude and mutually complement each other.
Eckard
report post as inappropriate
amrit wrote on Jan. 1, 2010 @ 22:57 GMT
Lawrence B. Crowell wrote on Jan. 2, 2010 @ 00:37 GMT
There is a whole lot of machinery involving n-tupes of points on a manifold or the real line. In particular metric geometry is founded on this. The role of measures come with the integration of functions over the reals, or some manifold in L^p spaces. This is particularly of importantce when the function has some strange support, such as "continuous almost everywhere." I don't think that the point on a space perspective is inconsistent with the concept of a measure.
Cheers LC
report post as inappropriate
Eckard Blumschein wrote on Jan. 2, 2010 @ 08:12 GMT
I did not yet manage reading Euclid`s book VII with his definition of a number. So I only guess from secondary literature that already he go it correctly: The primary basis of counting is the number one. It denotes an extension, in particular a length, i.e. the distance between two points. Countable are repetitions and splits of it also in combination, i.e. one-based numbers that we may obtain with the four basic operations addition, multiplication, division, and subtraction. Seemingly these measures are not much different from points because we tacitly assume that they all refer to the point zero, called the neutral element of addition and the point one, the neutral element of multiplication. As there is no limit to the amount of countable, i.e. rational points, there is also no limit to the amount of countable measures. Accordingly, there are uncountable, i.e. irrational measures.
What justifies my obstinacy? While the addition of dimensionless points does not yield for instance a one-dimensional line, measures do have a priori the dimension of their basic element. We need not the unrealistic fiction "all of infinitely many" for getting a different quality by resorting to an unimaginably large quantity. Infinity was originally and is according to all reasonable logic still simply the property to have no limit. It is not a quantity even if god-related speculations led to absurd rather than merely abstruse twists.
Is this arguing perhaps correct but pointless? No. The reason for me to deal with this topic emerged from practice. I am still not yet in position to overlook all consequences. The point on a space concept follows with some caveats from the measure concept. EPR and the question whether or not a single point does exist in a continuum prove pointless. It does not matter that Buridan's ass seems to be first mentioned not by Buridan himself but by Pierre Bale (1647-1706). It nicely describes the problem. If 0 is a measure then I consider |sign(0)|=1 correct. The constructivists/intuitionists suffered from troublesome attempts to remedy the consequences of basing mathematics on sets of points.
Strange constructs like Weierstrass's monster and Cantor's dust were interesting from mathematical playground point of view. Did they have implications in physics?
Eckard
report post as inappropriate
Lawrence B. Crowell wrote on Jan. 2, 2010 @ 22:32 GMT
I can only say that point-set topology used to underlie differential geometry and algebraic geometry has yet to find successful rivals. I have not studied the history of this in more recent times, but there have been attempts to construct alternatives in the 20th century, but these seemed to lead to greater difficulties or are not sufficiently powerful to build rich mathematical structures.
The Wierstrass monster set is used in electrical engineering. You might have noticed how cell phones don't have an antenna sticking out. The problem back then was how to get an antenna that received on a wide bandwidth. The solution was to construct a chip with an epitaxial form of the monster set. This permitted a wide range of EM reception, and the antenna sticking out of the phone is removed. As for Cantor dust, that is what an energy surface or torus of dynamics turns into when "punctured." So the Cantor dust is something which is a backbone of chaotic dynamics.
Cheers LC
report post as inappropriate
Eckard Blumschein wrote on Jan. 5, 2010 @ 16:17 GMT
Lawrence,
Weierstrass was not recognized until he shocked the mathematic community with a monster function that was already found by the theologian Bolzano. Weierstrass claimed that this function is everywhere continuous and nowhere differentiable. To my knowledge, he did not explain why: This “pathological” behavior is bound to a fictitious completeness: The function is a sum of an actually infinite amount of terms. Even the best approximation with as many terms as you like behaves as expected.
You mentioned fractal antennas as an application. They are not only rather dissimilar to Weierstrass’s monster but they are fundamentally different from it as is anything that belongs to reality. It is impossible to build antennas that do not have an upper limit of frequency. That’s why I consider the belief elusive that Weierstrass’ monster, some admittedly nice work using infinity by Reuben Goodstein, and the like not immediately relevant for reality. Incidentally, already the simple circle and all belonging harmonic functions that are thought ranging from minus infinity to plus infinity do not exactly describe something in reality.
I fear, you will not continue discussion because I and you cannot convince each other. Let me confirm your argument that alternatives to set theory based on points were not successful so far.
I would appreciate any hint to some attempt to resume what perhaps already did Euclid: Consider the notion of number based on the primary measure one, i.e. counting with respect to the distance between two points one of which is the neutral point of addition/subtraction, the other one is the neutral point of multiplication/division. I am pretty sure that you thought of the few constructivists, in particular Brouwer, Weyl, Heyting, and Kolgomoroff. To my knowledge, they tried to create an alternative set theory also based on points. The only ones who were close to my suggestion seem to be Baire, Borel and Lebesgue.
Constructivism was perhaps prompted by some unrealistic aspects of formalism while it proved obviously less efficient. I hope, choosing the measure as the primary notion of number will lead to a more satisfactory result: both realistic and efficient. After I will have found Euclid’s notion of a number in book IIV, I would call it neo-Euclidean. Cantor’s dust has measure zero, regardless whether or not a close approximation might be valuable.
Attribution of always just one number y to a number x is anyway no must for engineers, who are familiar with hysteresis. Purification of mathematics from illusions will be a good basis for the purification of physics from much more phantasm.
Regards,
Eckard
report post as inappropriate
BinaryStars wrote on Jan. 6, 2010 @ 02:16 GMT
Dear Everyone,
You have to see this paper:
http://www.scribd.com/doc/24674634/The-Sixth-Problem
report post as inappropriate
Lawrence B. Crowell wrote on Jan. 6, 2010 @ 15:18 GMT
Of course the application of the monster group as a fractal antenna must have a cut off. so it is a finite element approximation. Similarly numerical representations of fractal cut off the iterations as well. More later.
Cheers LC
report post as inappropriate
Jonathan J. Dickau wrote on Jan. 13, 2010 @ 02:26 GMT
Greetings,
I just discovered this topic earlier today, but feel I have to weigh in now that I've read through the comments. I have found the discussion between Eckard and Lawrence interesting, also earlier comments by Georgina, so I'll try to weave that into my remarks about the initial topic. I find the work of Isham and Döring quite promising - from what little I know of it - though I...
view entire post
Greetings,
I just discovered this topic earlier today, but feel I have to weigh in now that I've read through the comments. I have found the discussion between Eckard and Lawrence interesting, also earlier comments by Georgina, so I'll try to weave that into my remarks about the initial topic. I find the work of Isham and Döring quite promising - from what little I know of it - though I would have been incredulous a year ago. In my
essay for the current FQXi contest, I speak of the need to evolve a broader framework (to reconcile Quantum Mechanics and Relativity) and I am coming more and more to believe that category theory is an essential part of that prescription. I wish that all of you on this thread could have attended the wonderful lecture by Marc Lachieze-Rey on applications of Category Theory to Mathematical Physics, which I attended at FFP10. I will post a link or paper, when I have one to share.
In any case; Lachieze-Rey made it clear that many of the recent advances in Math for Physics have a category-theoretic basis, and that large areas of Math could be seen as special cases of stuff from CT. For example a group is a category with a single object and invertible morphisms. If my notes serve me well, he described Topos as the categorification of the functors. Earlier on this thread, LC commented "Topos theory or topoi describes sets of sheaves which have some categorical equivalence by functors. So what Isham and Doring are setting up is a system where one observer will detect things under one algebraic variety, while in general observations can occur under a whole set of such varieties." That pretty well sums up the value of using Topos theory in the manner described by Isham and Döring, because what they are doing is using different topoi to model various ways in which an observer/participant might be situated, as a sort of lens to view different regimes through.
This could indeed be a good way to reconcile the different mathematical frameworks required for Relativity and Quantum Physics, which would show each to be a subset or topos within a broader and more encompassing mathematical framework. I disagree with Eckard's earlier comment about the Math in Physics already being too general, as I am more in favor of LC's "as physics advances it will most likely require ever more advanced (or better put abstract) mathematics. So a good grounding in higher mathematics makes for a better tool box."
Understand; I am not saying we should mistake Math for Physics, but we must use higher Math to advance our understanding in Physics. I feel we must discontinue the erroneous use of Math - where it is mistaken for the behavior of a physical system rather than a model thereof - while earnestly attempting to find the right Math for the job of modeling physical systems. And category theory gives us some great new insights and tools to work with, for developing better models. As another FFP10 presenter, Marni Shepheard, pointed out in her lecture - this includes a broader definition of Logic.
In respect to the current thread; I have a bunch of comments on the concept of a point, and numbers on a line or the subdivision thereof, combining constructivism with topos theory - plus other ideas recently mentioned here - so if Eckard, Lawrence, or Georgina are following this thread, I will have something more to say.
All the Best,
Jonathan
view post as summary
report post as inappropriate
Eckard Blumschein wrote on Jan. 14, 2010 @ 05:47 GMT
Dear Jonathan,
Thank you for extracting most important questions from in what I disagree with common theory.
Meanwhile I found Book 7 of Euclid's Elements at
http://aleph0.clarku.edu/~djoyce/Java/elements/bookVII/boo
kVII.html
Definition 1:
A unit is that by virtue of which each of the things that exist is called one.
Definition 2:
A number is a multitude composed of units.
Compare this with the wrong notion of numbers like points on the real line.
Compare it also with other definitions and notions of numbers, e.g.:
1) Pythagoras: Anything is number
2) Albert of Saxony: the number of points of a wooden bar
3) Kronecker: Natural numbers were made by god …
4) Dedekind: Numbers are creation of the human mind …
5) Peano’s axioms
6) Frege’s logical definition of numbers
7) Hilbert’s brutal number axioms I-IV
8) Weyl: continuous sauce between Euclidean numbers
9) Russell: number = class of all classes that are similar to a given class
10) v. Neumann: start with the empty set
I conclude: Numbers should no longer be considered like points but as already Euclid correctly understood like measures. The word incommensurable does not exclude that a real number can be a measure.
Regards,
Eckard
report post as inappropriate
Eckard Blumschein wrote on Jan. 14, 2010 @ 05:49 GMT
Dear Jonathan,
Thank you for extracting in what I disagree with common theory.
Meanwhile I found Book 7 of Euclid's Elements at
http://aleph0.clarku.edu/~djoyce/Java/elements/bookVII/boo
kVII.html
Definition 1:
A unit is that by virtue of which each of the things that exist is called one.
Definition 2:
A number is a multitude composed of units.
Compare this with the wrong notion of numbers like points on the real line.
Compare it also with other definitions and notions of numbers, e.g.:
1) Pythagoras: Anything is number
2) Albert of Saxony: The numbers a wooden bar consists of
3) Kronecker: The natural numbers were made by god ...
4) Dedekind: Numbers are creations of the human mind ...
5) Frege's logical definition
6) Peano's axioms
7) Russell:... the class of all classes that are similar to a given class.
8) Hilbert's brutal axioms I-IV
9) Weyl's continuous sauce between Euclid's numbers
10) v. Neumann's start at the empty set
We should admit that numbers correspond to measures instead of points. Why not allow a measure to be strictly speaking incommensurable? Incommensurable does not mean not measurable at all.
report post as inappropriate
Jonathan J. Dickau wrote on Jan. 14, 2010 @ 15:06 GMT
Well said Eckard,
I like the idea of starting from nothing, when talking about number. There is an increase in comprehension when children are taught to count 0,1,2.. instead of 1,2,3... But when I was that age, the latter formalism was the most common or conventional. If we take a constructivist view of this matter, it forces us to find a minimal set of assumptions which allow counting...
view entire post
Well said Eckard,
I like the idea of starting from nothing, when talking about number. There is an increase in comprehension when children are taught to count 0,1,2.. instead of 1,2,3... But when I was that age, the latter formalism was the most common or conventional. If we take a constructivist view of this matter, it forces us to find a minimal set of assumptions which allow counting and/or measuring. I talk about this in Quantum Biosystems
Vol 1 no. 1, but briefly - measurement proceeds by procedural steps of observation, change, and comparison. If we repeat 'observe, move, compare' enough times a sense of size, distance, and proportion becomes apparent. So no one observation can give the total picture, but an understanding arises as the number of observations increases. But when talking about a number of objects, things are a little different.
You see; when we see a single image containing a small number of similar objects (beans or oranges perhaps), we can immediately distinguish between a field of view with three - and a field with four or five objects. On the other hand, a planet-sized ball cannot be easily distinguished from a marble, unless our field of view contains both objects at once - enabling us to make a comparison. So size is relative, in the sense where the scale is determined by a size comparison with other objects. But the number of objects in a given space is in a sense more absolute. However, a scale change in the field of view may admit quite a few more oranges or beans to enter the picture. So there is a distinct relation between the two dissimilar concepts.
So this invokes or involves a set-theoretic view, where the boundary is arguably a topological distinction between objects in the set (within the field of view under consideration) and those outside it. Taking this view allows us to represent oranges on the screen with points lying within a circle. But of course; a real orange has size and might be half in our field of view, with the rest outside it. So at some stage of any real determination of number and measure, the sense of proportion arising from the concept of size comes into play.
Anyhow; I greatly enjoyed your recounting the various definitions of number past thinkers have brought us. To a degree, the concept of number is natural - or arises naturally from observation and comparison. However; there is a lot of definition that we accept on faith, or reject at our own peril. But I think that's what Isham is talking about when he says we need to revamp Math in a major way, because it is exactly this kind of definition by hidden assumptions that must be re-examined. And I think the constructivists had the right idea, but until now have lacked some of the tools that category theory offers. Using various topoi allows us to approach the concept of number differently, or variously, it would seem.
But I really like what Rudy Rucker has written about the subject of numbers and numeration. I would heartily recommend 'Mind Tools' or 'Infinity and the Mind' if you can find them, but I know he has covered the same topic elsewhere too.
All the Best,
Jonathan
view post as summary
report post as inappropriate
Jonathan J. Dickau wrote on Jan. 14, 2010 @ 16:00 GMT
For Georgina,
I had not been previously aware of Sweetser's work, but if I had been I would likely have given it a mention in my
contest essay where I explicitly talk about energy-space as a universal dynamic worthy of consideration. And I love the fact that Quaternions offer significant improvement and simplification over the multi-vector approach - for various types of calculation within Engineering, Computer Graphics, and Physics. Nonetheless, I agree with Lawrence for the most part, in the assessment that Sweetser attempts to make Quaternions do things they don't do so well - making some of his theory a bit over complicated.
My thought is that we want to use the right Math for the job. And it is evident that Quaternion Math was slighted, once multi-vector analysis came on the scene, because there are things it really does better - or handles more easily and simply. I had the idea that Real numbers are good for Classical mechanics and conventional Gravity, Complex numbers are required for describing Wavelike phenomena and Electromagnetism, Quaternions are useful when we include Spin or Rotation - which should mean the Weak Force would be modeled well, and Octonions would then be required where there are still more degrees of freedom (or dimensions) as in the sub-atomic realm - and for the Strong force.
I will have to look more deeply into what Sweetser is saying, however, as I think there will be a few gems.
All the Best,
Jonathan
report post as inappropriate
Eckard Blumschein wrote on Jan. 14, 2010 @ 17:12 GMT
Jonathan,
Do we really "need to revamp Math", i.e. to try and improve it and hide its faults? To me the verb revamp shows disapproval. It is definitely not just better but as I am convinced necessary to honestly reveal the faults like sets of points instead of measures, aleph_2, and all the other ridiculous nonsense. Set theory based topology is not even in position to separate a piece into two equal halves. No add on will ever remedy what is foundational wrong. I hope FQXi is the place where such attitude will be taken seriously. I do not have decades to wait and wait for the LHC and other effort if it is impossible to find SUSY.
What about my criticism of too much abstraction, I prefer the most adequate descriptions like e.g. measured data belonging to only positive elapsed time for many reasons. Well, it will hurt those who enjoy speculating almost without limit.
I will search for Rudy Rucker.
Problems with
report post as inappropriate
Eckard Blumschein wrote on Jan. 14, 2010 @ 17:14 GMT
I apologize for my problems with breakdowns of connection.
Eckard
report post as inappropriate
Eckard Blumschein wrote on Jan. 14, 2010 @ 17:31 GMT
Jonathan,
I looked at what I found about the man who is a descendant of Hegel. No, I am not interested in science fiction, set theory and other mysticism.
I prefer Archimedes, Euclid, Galilei, and Ren.
Eckard
report post as inappropriate
Jonathan J. Dickau wrote on Jan. 14, 2010 @ 21:21 GMT
Thank you Eckard,
For what it is worth, I greatly appreciated the link to Euclid's Elements, once I corrected the erroneous capital J. It is welcome that we can have this discussion, despite our difference of opinion on the value of Rucker's 'mysticism.'
As to whether Math can or should be revamped, I think there is at least a matter of its being somewhat inconsistent in usage of terms or definitions of concepts for various branches. But Isham's contention that Math needs to be replaced or re-worked entirely is suspect. It does seem like grandstanding.
Nonetheless; I continue to believe we will see a ripple effect across the whole of Mathematics, which results from insights coming out of category theory, topos theory, and other related work. If nothing else, it has promise for showing how the various kinds of Math are functionally related, and this itself is exciting!
All the Best,
Jonathan
report post as inappropriate
Eckard Blumschein wrote on Jan. 15, 2010 @ 09:31 GMT
Dear Jonathan,
When I asked why not considering measures instead of points basic to numbers, Terence Tao reacted as follows: He deleted my request from his public discussion and pointed to a lesson on fundamentals by his colleague Jim Ralston and Folland's book on Real Analysis.
I did not yet ask someone else for the permission to make his reply to essentially the same question of mine public. However, his more proficient reply caused me to ask myself why ancient mathematics was not able to develop further after Euclid.
I still do not agree on that Euclid's unity-based notion of number is too restricted. I rather consider it the only correct while open for extension basis of mathematics. I am not an admirer of Euclid as a genius but I consider him someone who summarized the best knowledge of ancient mathematics. Remarkably, he did not include the Pythagorean idea of numbers like pattern pebbles to be recognized.
Later more.
Regards,
Eckard
report post as inappropriate
Eckard Blumschein wrote on Jan. 16, 2010 @ 17:24 GMT
Once again, Euclid was obviously correct when he based the notion number on the notion unit alias element.
Of course, we may extend his definition 2.
Of course, we may count points. However, the notion number line is somewhat misleading. According to a contribution in Mathforum@Drexel: Historia-Mathematica there is evidence for the use of number line about 5000 years ago in Egypt.
Everybody interprets the number X attributed to a point P on the number line as a measure alias relation to the measure one, namely the distance between a reference point zero and a particular point P in relation to the unit 1, regardless whether this bracket is a larger or a smaller measure than the reference unit 1.
Any measure is based on comparison. Any process of counting is based on its unit one as a reference measure. We may add in the sense of combining measures that refer to different units of reference, e.g. circumference c and diameter d of a circle, so called incommensurable measures, which were well known to Euclid. Since there is no restriction to the resolution of rational measures(= rational numbers), it is even possible, in principle, to decide whether any d-based number is smaller or larger than c.
Could we modify Dedekind's cut as a "bra-cut"? I think so. Let's ask for consequences. If we understood it as a measure alias bracket, a positive number would always be given as the limit from the left. The "number" zero has the measure zero, i.e., it quite naturally requires particular care instead of arbitrarily remedying bans.
Perhaps all my primary objections against present mathematics would disappear. Mathematics would not suffer but perhaps benefit if loosing sets that are no measures. Admittedly, replacing the understanding of numbers as sets of points by the original Euclidean understanding as measures would give rise to, let's say, scrutinize Cantor's naive beliefs and his belonging putative evidences for good. Having carefully read Fraenkel 1923, I consider them untenable anyway.
I also dealt with the somewhat related question why was nearly a seeming standstill in the development of mathematics during about a millennium between Euclid (325-275) and his translator Johannes Campanus of Novarra (1260). My conclusions are not yet reliable.
Eckard
report post as inappropriate
Eckard Blumschein wrote on Jan. 17, 2010 @ 23:36 GMT
The timespan between -275 and +1260 is 1535 years.
A rapid development of mathematics begun not before stimulation in particular by Columbus, Copernicus, Kepler, and Galilei when printed books were available in the 17th century. Calculus has roots already published by Fermat in 1629. Calculus was not based on points. In his Geometria indivisibilus continuorum, Bonaventura Cavalieri wrote in 1635 correctly: Indivisible of lines are lines (not points).
In the middle ages, after the crusaders conquered Byzantium in 1204, contributions to mathematics and philosophy came often from bishops and from the first universities:
Campanus, see above
William of Ockham (1300-1349)
Johannes Buridan, U of Paris (Buridan's ass is to be found much later)
Albert of Saxony (1316-1390)
Nicole of Oresme (1323-1382):
graphic representation of functions, rotation of earth
Nicolaus Cusanus (1401-1464): endless universe without a center
Francoise Vieta (1540-1603): infinite product
Eckard
report post as inappropriate
Jonathan J. Dickau wrote on Jan. 19, 2010 @ 18:25 GMT
Hello again,
I thank you Eckard for making me think. What you are saying makes a lot of sense, but the focus seems to be on a historical progression. While I feel there is an evolution of Mathematics, and that discovering some higher Math depends upon the conceptual basis resulting from earlier work, it is amazing what has been lost and found again - over the years. Take Archimedes, for example, who is now known to have developed the rudiments of integral calculus. Then it wasn't re-discovered until many years later. And, as you seem to be implying, mathematicians have also picked up a lot of baggage along the way or made things over-complicated sometimes.
I argue that there is a more sensible way to relate to all of this, by the conceptual relationship of ideas resulting from their innate dependencies. That is; from a constructivist and process-theoretic view, all possible operations have a basis. Set theory is founded on the concept of interiority/exteriority. Without topological (hard) distinctions to define boundaries, the ideas of Set theory are not possible to construct, in their conventional form. But, if we generalize on the interiority/exteriority concept a bit - we get near/far or proximal/distal, which takes us into the realm of measurement and/or geometry. So there is a certain inter-relatedness to conceptual bases of ideas.
If I am not mistaken, the ideas found in category theory allow us to construct such mappings, or to discover the ways in which mathematical frameworks and concepts are related. If they are right, Isham and Döring will discover that a unique topos characterizes the view and structure of various 'positions' within the subject of Math, and can potentially show a kind of relativity between logical frameworks - upleveling the idea that there is only one correct logic, and replacing that with a concept more like the idea of a Multiverse in Physics.
Now; the fact the possibility exists doesn't mean they are right, but the territory they are exploring is probably useful regardless.
All the Best,
Jonathan
report post as inappropriate
Eckard Blumschein wrote on Jan. 19, 2010 @ 19:07 GMT
Jonathan,
Let me try and say it as simply as possible: Any measure, no matter whether length, area, wight, or something else can be represented by an abstract quantum called number. As soon as we have chosen a unit measure one, we may imagine this number a multiple/part of a continuum that can be repeated and split without limitation.
The unit has two ideal ends: zero and one, the neutrals of addition and of division. Unfortunately, mathematics calls these ideal points elements. This led to a nonsensical distinction between open and closed measures. Recall Euclid and Peirce: A point has no parts, but each part of a continuum has parts. If we admit the ideal infinite accuracy of "real" numbers then there is no difference between open and closed. The measure x of concern extends from zero to the limit from the left: ]=(=[0, x[. An adjacent measure from x (limit from the right) to y (limit from the left) does not let a gap. The gap has the measure zero.
I prefer |sign(0)|=1, not 0.
In physics we learned where is one body there must not be an other one.
Points without the belonging reference to zero are no correct correlates of numbers.
Regards,
Eckard
report post as inappropriate
Eckard Blumschein wrote on Feb. 5, 2010 @ 04:10 GMT
Let me add what nonsense results from Dedekind's imprecise and intentional style of thinking: I found Wikipedia/complex numbers: "stress and rotate points". I would like calling the complex numbers, which are represented in complex plane, phasors or maybe vectors rather than points. Points cannot be manipulated at all because they do not have parts.
Eckard Blumschein
report post as inappropriate
Eckard Blumschein replied on Mar. 11, 2010 @ 16:03 GMT
Having read some books on history of mathematics, I feel obliged to blame already Gauss 1831 rather than his pupil Dedekind 1872 for giving rise to the still ongoing confusion between phasor and point with far reaching implications.
On the other hand, Gauss used to utter realistic views, e.g.: "We must humbly acknowledge that if number is only a product of our minds, space has a reality even outside our minds, to which we a priori cannot completely prescribe its laws."
Eckard
report post as inappropriate
tom wrote on Feb. 16, 2010 @ 03:07 GMT
I'm going to have to get better at take-aways before I can understand these comments.
report post as inappropriate
STEVE JEFFREY wrote on Feb. 21, 2010 @ 10:04 GMT
http://steve-jeffreystheoryofeverything.blogspot.com/2010/02
/jeffreys-theory-of-everything.html
----- Original Message -----
report post as inappropriate
STEVE JEFFREY wrote on Feb. 21, 2010 @ 10:21 GMT
Add sting theory so that you have both sides of the blackboard balanced as it was originally.
And then add the physics equations 1 ODD+ 1 EVEN= 2 ODD.
And 1 ODD+ 1 ODD= 2 EVEN and 2 ODD+ 2 EVEN= 4 EVEN.
By adding the string theory equations at random in a spreadhseet..
THIS IS A TURING MACHINE AND WORTHY OF THE PRIZE.
It can print continuusly forever until you say stop.
And can come up with a new E=MC^2 every day.
Steve
report post as inappropriate
Sridattadev wrote on Jan. 17, 2012 @ 16:25 GMT
Dear Isham and Doring,
Please see the mathematical equation representing our self and the universe we live in.
zero = i = infinity .
If 0 x 0 = 0 is true, then 0 / 0 = 0 is also true
If 0 x 1 = 0 is true, then 0 / 0 = 1 is also true
If 0 x 2 = 0 is true, then 0 / 0 = 2 is also true
If 0 x i = 0 is true, then 0 / 0 = i is also true
If 0 x ~ = 0 is true, then 0 / 0 = ~ is also true
It seems that mathematics, the universal language, is also pointing to the absolute truth that 0 = 1 = 2 = i = ~, where "i" can be any number from zero "0" to infinity "~". We have been looking at only first half of the if true statements in the relative world. As we can see it is not complete with out the then true statements whic are equally true. As all numbers are equal mathematically, so is all creation equal "absolutely".
This proves that 0 = i = ~ or in words "absolutely" nothing = "relatively" everything or everything is absolutely equal. Singularity is not only relative infinity but also absolute equality. There is only one singularity or infinity in the relativistic universe and there is only singularity or equality in the absolute universe and we are all in it.
Love,
Sridattadev.
report post as inappropriate
stonewild wrote on Aug. 11, 2012 @ 00:44 GMT
there is only 1 true number and it is 1
all other numbers are tricks to make the equations meet observations
report post as inappropriate
DR. EDWARD SIEGEL wrote on Nov. 6, 2013 @ 23:38 GMT
CHRIS ISHAM'S VERY INTERESTING TOPOS-THEORY MATHEMATIZATION OF PHYSICS MAY HAVE ORIGINATED WHEN HE DROVE EDWARD SIEGEL[J. NONCRYSTALINE SOLIDS 40, 453(1980)], ONCE AT QUEEN MARY COLLEGE/UNIVERSITY OF LONDON AND INPE/CNPq, SAO JOSE DOS CAMPOS, BRAZIL, FROM IMPERIAL COLLEGE TO A CONFERENCE AT OXFORD CIRCA 1990 AND SEEMS TO FOLLOW ON EDWARD MACKINNON'S CALL FOR AND JACK AND IAN STEWART'S[THE...
view entire post
CHRIS ISHAM'S VERY INTERESTING TOPOS-THEORY MATHEMATIZATION OF PHYSICS MAY HAVE ORIGINATED WHEN HE DROVE EDWARD SIEGEL[J. NONCRYSTALINE SOLIDS 40, 453(1980)], ONCE AT QUEEN MARY COLLEGE/UNIVERSITY OF LONDON AND INPE/CNPq, SAO JOSE DOS CAMPOS, BRAZIL, FROM IMPERIAL COLLEGE TO A CONFERENCE AT OXFORD CIRCA 1990 AND SEEMS TO FOLLOW ON EDWARD MACKINNON'S CALL FOR AND JACK AND IAN STEWART'S[THE COLLAPSE OF CHAOS: DISCOVERING SIMPLICITY IN A "COMPLEX" WORLD, PENGUIN(1994)] CALL FOR WITHOUT IMPLIMENTATION OF "COMPLI-CITY"(BOTTOM UP MANY TO FEW INDUCTION) AND "SIMPLE-XITY"(TOP-DOWM FEW TO MANY DEDUCTION) BOTH SIMULTANEOUSLY AUTOMATICALLY VIA EDWARD SIEGEL'S[SYMPOSIUM ON FRACTALS..., MRS FALL MEETING, BOSTON(1989)-5-SEMINAL-PAPERS!!!-ATTACHED HEREIN] FUZZYICS=CATEGORYICS=PRAGMATYICS("Son of 'TRIZ'")/CATEGORY-SEMANTICS COGNITION(AKA SYNERGETICS PARADIGM AND DICHOTOMY) ANALYTICS DISCOVERY, IN AND UNIFYING PHYSICS TO "PURE"-MATHEMATICS, OF ARISTOTLE'S "SQUARE-OF-OPPOSITION" WITH PLATO'S "FORMS" AND HEGEL'S "BECOMING" BY A SYNTHESIS OF WILLIAM LAWVERE CATEGORY-THEORY/TOPOI WITH KARL MENGER[DIMENSIONTHEORIE, TEUBNER (1929] WITH WIERZBICKA-LANGACKER-LAKOFF COGNITIVE-SEMANTICS WITH PAWLAK-ZIARKO-SLOWINSKI ROUGH-SETS THEORY.
SIEGEL'S RESULT IS A (2+1)-DIMENSIONAL MATRIX(LOOKING LIKE A TIC-TAC-TOE DIAGRAM) OF SYNONYMS/FUNCTORS VERSUS ANTONYMS/MORPHISMS VERSUS ANALOGY/METAPHOR.
AMAZINGLY NEUROIMAGING SCIENTIST JAN WEDEEN(HARVARD MEDICAL SCHOOL) RECENTLY DISCOVERED THIS EXACT STRUCTURE IN HUMAN BRAIN IMAGING!!!
SIEGEL'S FUZZYICS=CATEGORYICS=PRAGMATYICS("Son of 'TRIZ'")/CATEGORY-SEMANTICS COGNITION(AKA SYNERGETICS PARADIGM AND DICHOTOMY)ANALYTICS, BY PARSIMONY ELIMINATION VIA DISAMBIGUATION OF JARGONIAL-OBFUSCATION("LOTSS FANCY SHMANCY LINGO TO SNOW THE RUBES")THUS PROGRESSES UP THE STIKELEATHER "HIERARCHY-OF-THINKING"(HoT)WHERE EACH LOGIC-LEVEL IS META VIA "MINING" THE NEXT-LOWEST LOGIC-LEVEL:
DATA -> INFORMATION -> KNOWLEDGE -> UNDERSTANDING -> MEANING -> WISDOM -> INSPIRATION -> "SPIRITUALITY" -> UNIVERSALITY -> SIMPLICITY ->??? EVOLVING TO VIA PHILOSOPHY OF PARSIMONY TO "K.I.S.S.(KEEP IT SIMPLE STUPIDS)!!!
view post as summary
attachments:
2_FULL_PAPER_COMPLEX_QUANTUM-STATISTICS_IN_FRACTAL-DIMENSIONS.pdf,
STRATIFIED_FUZZYICS__HoT_HIERARCHY-of-THINKING_from_ASKING_ORTHOGONAL_QUESTIONS_WHAT_WHEN__WHERE__WHY.doc
report post as inappropriate
Akinbo Ojo wrote on Aug. 13, 2014 @ 19:22 GMT
Tom,
Do you agree with Feynman? I know your great love for the mathematical...
“Physics is not mathematics, and mathematics is not physics. One helps the other. But in physics you have to have an understanding of the connection of words with the real world. It is necessary at the end to translate what you have figured out into English, into the world, into the blocks of copper and...
view entire post
Tom,
Do you agree with Feynman? I know your great love for the mathematical...
“Physics is not mathematics, and mathematics is not physics. One helps the other. But in physics you have to have an understanding of the connection of words with the real world. It is necessary at the end to translate what you have figured out into English, into the world, into the blocks of copper and glass that you are going to do the experiments with. Only in that way can you find out whether the consequences are true. This is a problem which is not a problem of mathematics at all.” (Feynman, 1965, p. 49).
“Mathematicians are only dealing with the structure of reasoning and they do not
really care what they are talking about. They do not even need to know what they
are talking about, or, as they themselves say, whether what they say is true.” (Id.)
“In other words, mathematicians prepare abstract reasoning ready to be used if
you have a set of axioms about the real world. But the physicist has meaning to
all his phrases.” (Id.)
“Mathematicians like to make their reasoning as general as possible,…[whereas]
the physicist is always interested in the special case.” (Feynman, 1950, p. 50)
“[T]he poor mathematician translates [the special case] into equations, and as the symbols do not mean anything to him he has no guide but precise mathematical
rigour and care in the argument.” (Id.)
Therefore, it is up to the physicist to narrow the scope of the problem and define what is required of the mathematician in rather specific terms.
Strangely enough, Feynman concluded his discussions on the relation of mathematics to physics with the following observation: “the mathematical rigour of great precision is not very useful in physics.” (Id., pp. 50 – 51) The reason is that great precision can dampen or limit the intuition and creative imagination of the physicist, which he needs in order to modify his original ideas or guess at new solutions. (Id., p.51) An approximate mathematical conclusion is often more helpful.
Regards,
Akinbo
view post as summary
report post as inappropriate
Thomas Howard Ray replied on Aug. 13, 2014 @ 21:36 GMT
Hi Akinbo,
Sure, I agree. I have said repeatedly that unless it can be shown that a mathematical model is independent of its physical result (i.e., that meaning is independent of language), there can be no demonstrated correspondence between the theory and the physics, and hence no rational -- no truly objective -- theory.
The main way in which special and general relativity differs from quantum mechanics is that relativity is written in mathematical language that allows exact solutions to the equations that incorporate the theory (this is true of all classical physics). The reason that quantum theory is subject to the many interpretations that we hear, is that it is not based in equations that incorporate the theory, it is based in the phenomenology of quantum mechanics -- as Feynman said, it's all about explaining "the experiment with the two holes."
Quantum theorists from Bohr, Feynman, Bell and to the present day, have struggled to develop from scratch a quantum foundations theory independent of the experiment; they have not been successful. The tendency among theorists now is to simply accept that nature does not obey a strict mathematical structure, that events are random at foundation.
Just to add, the reason that I don't often respond any more to Pentcho or to Peter J, is that they have a conviction that relativity can -- like quantum mechanics -- be "interpreted" starting with physical results rather than from what the theory says. Nothing could be further from the truth, and such discussions go nowhere. Rational theories are true by correspondence, not by interpretation.
Best,
Tom
report post as inappropriate
Akinbo Ojo replied on Aug. 14, 2014 @ 08:43 GMT
Thanks Tom. In your short reply 'truth' appears at least thrice. Now are there two truths, one mathematical and one physical? If there are two types of truth, which one are you looking for?
Mathematically, if something arrives later than it used to under a given condition, it can be interpreted that clocks run slower or time is dilated OR the speed of propagation is reduced/ affected. All are mathematically equivalent.
But in physics, they may not be all equivalent. Some of the
mathematically correct choice of interpretation may lead to riddles, paradoxes and absurdities. In that case, the philosopher is likely to prefer the interpretation free of these.
What is mathematically false, cannot be physically correct. What is physically false, cannot be mathematically correct.Your point is however important. As someone said, you serve as a Quality Controller.
Regards,
Akinbo
*Regarding my statement in italics, a line having length and of zero width is physically impossible, same with a surface of zero thickness. Mathematicians should therefore take a look at this conflict.
report post as inappropriate
Thomas Howard Ray replied on Aug. 14, 2014 @ 11:29 GMT
I used the word truth only once, Akinbo, and not in the context you ascribe to it. My usage of "truly" means "really," and the use of "true statement" means "logically coherent." In the final case, my use of the word truth means "facts." I am not concerned with truth as you use it -- my concern is for rational, objective knowledge.
You write: "Mathematically, if something arrives later than it used to under a given condition, it can be interpreted that clocks run slower or time is dilated OR the speed of propagation is reduced/ affected. All are mathematically equivalent."
No. You are assuming an ideal clock that doesn't exist.
"What is mathematically false, cannot be physically correct. What is physically false, cannot be mathematically correct."
Nothing is ever physically false. There are only physically false interpretations of phenomena. That is why a mathematically complete theory that corresponds with the physical phenomena it incorporates and describes, is not open to interpretation.
"*Regarding my statement in italics, a line having length and of zero width is physically impossible, same with a surface of zero thickness. Mathematicians should therefore take a look at this conflict."
There is no conflict. The ideal line is a metric of 1 dimension, and the ideal surface is a plane of 2 dimensions. Your confusion results from thinking that because we live in 3 dimensions we cannot describe existence in any other terms. Language itself, however, is dimensionless.
report post as inappropriate
Akinbo Ojo replied on Aug. 14, 2014 @ 18:26 GMT
Tom, the title of this blog is Why Mathematics is an Illusion instead of Why Mathematics is NOT an Illusion as you may prefer. I understand your sentiments but you hide much with the use of words. Should I say semantics.
Your confusion results from thinking that because we live in 3 dimensions we cannot describe existence in any other terms.Of course, we can. Jason has been describing existence with ghosts, spirits, etc. While you and others may enjoy looking for truth and describing how you can exist in a 2- or 10- dimensional world, many who are not confused believe we can apprehend truth in the 3-dimensional world which in your own words you admit we live in. So when you say, "The ideal line is a metric of 1 dimension, and the ideal surface is a plane of 2 dimensions", what does 'ideal' mean? Does ideal exist? Can you show me a physical surface of zero thickness? Can multiple surfaces of zero thickness constitute a body of 3-dimensions? Where did the thickness of the body come from, or can multiple of zero thickness give rise to a real measurable thickness? Let's talk about the REAL world.
Regards,
Akinbo
report post as inappropriate
Thomas Howard Ray replied on Aug. 14, 2014 @ 18:46 GMT
The real world is described by mathematics, which is independent of the real world.
In principle, all mathematics can be translated into natural language. Therefore, there is no difference (except in quality and precision) between one describing the real world in the English we are using, and describing it in mathematical language.
report post as inappropriate
Akinbo Ojo replied on Aug. 15, 2014 @ 08:29 GMT
Tom,
"
The real world is described by mathematics, which is independent of the real world". What does this sentence mean?
Perhaps, you meant to say: The ideal (platonic realm) world is described by mathematics, which is independent of the real world.
Regards,
Akinbo
report post as inappropriate
Peter Jackson replied on Aug. 15, 2014 @ 08:33 GMT
Tom,
Are quality and precision not rather important in physics? I suggest also that mathematics often gives us no insight into the physical mechanisms of nature. That means it can hopelessly mislead those who believe it does. It is then a false god. The one most in QM presently pray to.
Best wishes
Peter
report post as inappropriate
Thomas Howard Ray replied on Aug. 15, 2014 @ 12:30 GMT
"Perhaps, you meant to say: The ideal (platonic realm) world is described by mathematics, which is independent of the real world."
I meant what I have said many times: that meaning is independent of language. The correspondence between physical events and their mathematical description tells us whether or not the language describes anything physical.
report post as inappropriate
Robert H McEachern replied on Aug. 15, 2014 @ 13:27 GMT
The reason that multiple "interpretations" exist in QM, is rather different than Tom's statement that:
"The reason that quantum theory is subject to the many interpretations that we hear, is that it is not based in equations that incorporate the theory, it is based in the phenomenology of quantum mechanics ... Rational theories are true by correspondence, not by interpretation."
The reason is that mathematical identities, may imply different physical manifestations. If the only thing that can be observed, is the end result, R, then it is not possible, even in principle, to decide which manifestation "corresponds" to reality.
a(b+c) = R = ab + ac, is an identity.
But one side of the identity implies the existence of one multiplier while the other implies the existence of two. If the only thing that can ever be known, is R, then one can never know whether one, or two, multipliers, exist in the "black box" of reality.
Wave-functions are like multipliers; they can only be observed "within" the "mathematical identities" of QM, not the final result. Hence all the interpretations pertaining to the nature of wave-functions etc.
Rob McEachern
report post as inappropriate
Thomas Howard Ray replied on Aug. 15, 2014 @ 13:31 GMT
Peter, the problem with the quantum mathematical model is that it is not demonstrably based in first principles. It is "lawless" so to speak. Classical theories like Newton's and Einstein's can be shown complete -- i.e., one can simply imagine a mathematical structure, without any knowledge of physical phenomena, that behaves in a certain way according to a certain set of variables, and then...
view entire post
Peter, the problem with the quantum mathematical model is that it is not demonstrably based in first principles. It is "lawless" so to speak. Classical theories like Newton's and Einstein's can be shown complete -- i.e., one can simply imagine a mathematical structure, without any knowledge of physical phenomena, that behaves in a certain way according to a certain set of variables, and then test that described behavior against real world effects to determine whether the mathematical description is identical to the way the physical world actually behaves.
This is why Newton's 'hypotheses non fingo' is so important to the philosophy of physics, and to science in general. The story of Newton's apple is probably apocryphal -- and misleading -- because it assumes no prior knowledge of how things move in space. Newton's actual thinking is abstract, based on the earlier work of Galileo and Kepler, in which we know both mathematically and experimentally that objects fall at the same rate in a gravitational field, and that planetary orbits are elliptical. Newton reasoned, and invented a calculus to describe, the unity of motion that applies to projectiles under the influence of a gravitational field both near and extended, both horizontal to the plane and around a curved manifold. Thus, there is no difference in principle between an apple falling perpendicular to the plane of the Earth, and the moon falling around the curvature of the Earth or the Earth around the curvature of the sun. All that energy of mass and inertial motion is precisely accounted for in the mathematical model. That is why I asked you that if you think Laithwaite's gyroscopic experiment describes more than Newton's laws account for, to calculate that discrepancy -- for if it were true, the laws of motion would be violated and anti-gravity would be a fact. We could not trust energy to be conserved.
The mathematics of quantum mechanics in the microscopic domain does not proceed from the classical laws of motion -- sometimes the apple falls to Earth and sometimes it doesn't. If we want a unitary physics governed by the same laws of motion at every scale, we won't get there by simply assuming that the classical laws are "somehow" projected from the quantum phenomena. We have to know where and how the quantum effect becomes calculably transformed to the classical laws -- that's where models incorporating an extra degree of freedom come in, allowing a continuous measurement function to describe the transformation, without using arbitrary boundary conditions.
Best,
Tom
view post as summary
report post as inappropriate
Thomas Howard Ray replied on Aug. 15, 2014 @ 13:36 GMT
"The reason is that mathematical identities, may imply different physical manifestations."
Not in a complete theory made of closed logical judgments. The physical results are dependent only on the value of the variables. In E = mc^2, e.g., the proportional constant
c describes the limit of the changing identities in the relation between mass and energy.
report post as inappropriate
Robert H McEachern replied on Aug. 15, 2014 @ 14:33 GMT
I agree, if "complete" refers to "Physically" complete, rather than merely "Mathematically" complete.
In other words, Mathematical completeness is not sufficient, to guarantee any relevance to Physics. It is necessary, that there also be a demonstrable, one-to-one correspondence, between "every" physical entity/property, and each mathematical symbol, relevant to the physical phenomenon being described.
Demonstrating such a one-to-one correspondence is where the rubber meets the rubber; it is what distinguishes math from physics.
In the case of QM, the only such correspondence is with the amplitude of the Fourier Transforms, not the Fourier Transforms themselves, or their "internals".
Rob McEachern
report post as inappropriate
Robert H McEachern replied on Aug. 15, 2014 @ 14:39 GMT
Should have said "where the rubber meets the road"
It would be nice if one could edit.
Rob McEachern
report post as inappropriate
Thomas Howard Ray replied on Aug. 15, 2014 @ 15:23 GMT
We agree, Rob.
Mathematical completeness is necessary, though not sufficient.
As you say, "It is necessary, that there also be a demonstrable, one-to-one correspondence, between 'every' physical entity/property, and each mathematical symbol, relevant to the physical phenomenon being described."
A mathematically complete theory, then, is one that guarantees measured correspondence between symbol and physical result.
"Demonstrating such a one-to-one correspondence is where the rubber meets the rubber; it is what distinguishes math from physics."
Absolutely. The language (mathematics) and the meaning (physics) are independent of one another.
"In the case of QM, the only such correspondence is with the amplitude of the Fourier Transforms, not the Fourier Transforms themselves, or their 'internals'."
I agree that the Fourier transform does not provide the degrees of freedom required to completely describe the physical phenomenon.
report post as inappropriate
Thomas Howard Ray replied on Aug. 15, 2014 @ 15:25 GMT
Having just dropped 600 bucks on a new set of Firestone tires, I appreciate that more rubber is reaching the road than before. :-)
report post as inappropriate
hide replies
Login or
create account to post reply or comment.