Is there any object or something 'antimathematical'

  • Thread starter Thread starter Willelm
  • Start date Start date
AI Thread Summary
The discussion explores the concept of objects or statements that are "undefined by mathematics." It references Gödel's theorem, which indicates that there are true mathematical statements that cannot be proven or disproven within a given axiomatic system. The distinction between "undefined" and "unprovable" is emphasized, with examples like division by zero being clearly undefined. Additionally, it is noted that mathematical statements must be well-formed formulae to be considered defined. Overall, the conversation highlights the limitations and boundaries of mathematical definitions and proofs.
Willelm
Messages
24
Reaction score
0
By mathematical context, is there something undifined by mathematics?
 
Mathematics news on Phys.org
Willelm said:
By mathematical context, is there something undifined by mathematics?
Sure. If you are talking pure mathematics, Gödels famous theorem states that there are some true statements that cannot be proved (and some false statements that cannot be disproved).

So what? Mathematics isn't physics - or chemistry or... Mathematics is a tool to help you describe some real-world phenomena.
 
It is not at all clear what you mean by "undefined by mathematics". As Svein said, given any axiom system there exist statements that can be phrased in that system but neither proven nor disproven. But you said "undefined", not "proved".
 
1/0 is undefined.
 
newjerseyrunner said:
1/0 is undefined.
Any number divided by zero is undefined.
 
HallsofIvy said:
As Svein said, given any axiom system there exist statements that can be phrased in that system but neither proven nor disproven. But you said "undefined", not "proved".
More to the point, statements in mathematics or logic are only defined if they are well-formed formulae (wffs for short). So, I can write x\forall (\longrightarrow (\wedge ) \emptysetall of which are mathematically well defined symbols, but since the above atrocity is not a wff, it is undefined.
 
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
Suppose ,instead of the usual x,y coordinate system with an I basis vector along the x -axis and a corresponding j basis vector along the y-axis we instead have a different pair of basis vectors ,call them e and f along their respective axes. I have seen that this is an important subject in maths My question is what physical applications does such a model apply to? I am asking here because I have devoted quite a lot of time in the past to understanding convectors and the dual...
Thread 'Imaginary Pythagoras'
I posted this in the Lame Math thread, but it's got me thinking. Is there any validity to this? Or is it really just a mathematical trick? Naively, I see that i2 + plus 12 does equal zero2. But does this have a meaning? I know one can treat the imaginary number line as just another axis like the reals, but does that mean this does represent a triangle in the complex plane with a hypotenuse of length zero? Ibix offered a rendering of the diagram using what I assume is matrix* notation...
Back
Top