Willelm
- 24
- 0
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).Willelm said:By mathematical context, is there something undifined by mathematics?
Any number divided by zero is undefined.newjerseyrunner said:1/0 is undefined.
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.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".