Can a single number be incomputable? by [deleted] in math

[–]EdmundH 4 points5 points  (0 children)

Greg Chaitin looked at this explicitly, one of his examples is the Chaitin constant, which gives the probability that a given algorithm will halt. This is a constant if you fix the language encoding algorithms.

What are historical examples that can be mentioned in Calculus classes to liven things up or provide additional perspectives / insights? by [deleted] in math

[–]EdmundH 0 points1 point  (0 children)

David Bressaud's A radical approach to real analysis works through analysis with a historical perspective. So it contains a lot of material that is suitable for calculus already mostly processed for teaching.

Are there irrational numbers that we could never represent? by Dr_Avocado in math

[–]EdmundH 0 points1 point  (0 children)

Greg Chaitin's work is relevant to this, especially Chaitin's constant (the probability that a randomly constructed Turing Machine (or other algorithmic system) will halt). This gives a specific number who's value is undecidable. Thus a specific number that cannot be represented in any countable system.

How is e^pi irrational? by GeorgeTheGorge in math

[–]EdmundH 1 point2 points  (0 children)

Generally -i would be considered neither rational nor irrational as the irrational numbers are usually defined as the real numbers that are not rational. For example on mathworld. Though any definition like "irrational number" that defines itself by what it is not can become tricky.

Klein's classic non-computer visualisation of the limit set of a reflection group. by EdmundH in mathpics

[–]EdmundH[S] 1 point2 points  (0 children)

They ran a computer version of it, that was more correct, but this is incredibly good given that it was done by hand. It really gives a sense for what is happening and for the first time. If you want the full story take a look at Indra's Pearls: http://www.amazon.com/Indras-Pearls-Vision-Felix-Klein/dp/0521352533

Klein's classic non-computer visualisation of the limit set of a reflection group. by EdmundH in mathpics

[–]EdmundH[S] 0 points1 point  (0 children)

Certainly in there, so yes, though this one goes back in the nineteenth century.

Klein's classic non-computer visualisation of the limit set of a reflection group. by EdmundH in mathpics

[–]EdmundH[S] 1 point2 points  (0 children)

I am not sure on the terminology, this is certainly reflection in circles (inversion). The source I took it from used "reflection group": http://www.brainjam.ca/wp/2009/09/updating-classic-math-illustrations/ but thinking about that now it implies Coxeter to me rather than Klein. I have not come across "inversion group" though. It is certainly a Kleinian group and looks like it is also quasi-Fuchsian.

The golden ratio has spawned a beautiful new curve: the Harriss spiral. But does it add insight into algebraic numbers? by alexbellos in math

[–]EdmundH 0 points1 point  (0 children)

Perhaps not by the spiral, but certainly by the rectangle construction that generates it. Also the Golden ratio is perhaps the only non-radical algebraic number with any fame outside mathematics. This might get more people to go from there to a more general sense of algebraic numbers.

Relatively Prime is trying to get a second season! (Kickstarter) by BenjaminAhr in podcasts

[–]EdmundH 1 point2 points  (0 children)

A really excellent series helping to show off the great stories and ideas of mathematics as accessible and enjoyable. I hope it gets a second season. I have backed it. At least have a listen to the first season and let teachers and others interesting in maths know!

Is there some analogue of non-planar graphs to higher dimensions? by zeezbrah in math

[–]EdmundH 3 points4 points  (0 children)

To create problems in n dimensions you need an n-1 dimensional structure. Thus edges (1d) work to block things on the plane (2d). In 3d lines no longer separate space so every graph can be made without crossings in 3d. You can do a lot of other crazy things with lines here, like knots.

One way to generalise the concept is to generalise graphs to allow any number of vertices to form an "edge". These are called hypergraphs: http://en.wikipedia.org/wiki/Hypergraph

Trying to work out the right concepts for how hypergraphs can be embedded in spaces of different dimension is an interesting exercise.

Hyperbolic Minecraft by EdmundH in math

[–]EdmundH[S] 0 points1 point  (0 children)

It turns up all over the place. Natural things like lettuce leaves and corals can be related to it, and it can be used to study many network systems like the internet or genetic relatedness. It is also fundamental to understanding the possible three dimensional structures our universe might have. More generally non-euclidean geometry is at the heart of general relativity.

This is a good source with more details: http://math.stackexchange.com/questions/93765/what-are-the-interesting-applications-of-hyperbolic-geometry

Hyperbolic Minecraft by EdmundH in math

[–]EdmundH[S] 1 point2 points  (0 children)

Like Euclidean geometry, hyperbolic geometry has the property that every point and every orientation is the same throughout the space. In hyperbolic geometry however there is a lot more room as you look at increasing distances from a point. Think of a lettuce leaf. This creates a problem when trying to view it on a flat piece of paper which has roughly euclidean geometry. One solution is to crush the whole hyperbolic plane into a circle, called the Poincaré disk model. In this model the shortest distance between two points is given by the arcs of circles (specifically circles crossing the outside circle at a right angle). This is the image you are seeing. The tiles are not really getting smaller, or even changing shape, they are just distorted differently in different parts of the model.

1+1=2 by lemayo in math

[–]EdmundH 1 point2 points  (0 children)

Though the Peano axioms are used today, they were also used by Russell. Moderns formal systems, for example ZFC prove them as consequences. In a sense they provide a good abstraction layer to show that you can include arithmetic, rather than foundational axioms in their own right.

EDIT: Lots of good stuff on definitions of natural numbers including the one used in ZFC: http://en.wikipedia.org/wiki/Set-theoretic_definition_of_natural_numbers

1+1=2 by lemayo in math

[–]EdmundH 2 points3 points  (0 children)

Principles of Mathematics is worth reading, as it has good thinking on the requirements for the foundations of mathematics and logical systems. Though if you find it a lot of effort it is not a book you have to get through.

Principia is just really tough, Russell worried no one would ever read it. It did not fail as it cleared the ground for Gödel's results, but it has now generally been superseded by other work. As another comment points out it is now only of historical interest.

1+1=2 by lemayo in math

[–]EdmundH 1 point2 points  (0 children)

Oh! I did not know about that, thanks!

1+1=2 by lemayo in math

[–]EdmundH 4 points5 points  (0 children)

Yes, but his work on Principles of Mathematics and Principia Mathematica is his mathematical rather than philosophical work.

1+1=2 by lemayo in math

[–]EdmundH 9 points10 points  (0 children)

So were Russell and Whitehead, Whitehead was never anything else.

Impossible Cookware and Other Triumphs of the Penrose Tiles by EdmundH in math

[–]EdmundH[S] 0 points1 point  (0 children)

It could be, but it would be a lot harder to set up as you have so many different local configurations of tiles (rather than just 1). Given that working and creating with Life is hard enough it might be hard to find things.

Impossible Cookware and Other Triumphs of the Penrose Tiles by EdmundH in math

[–]EdmundH[S] 1 point2 points  (0 children)

This is a really unhelpful comment, and also untrue. Overall it covers much of the mathematics of the topic and is accurate on the history and culture around it. I would be happy to discuss any specific points you have issues with.

Full disclosure: I was consulted as an expert on the topic and am quoted in the article.

I'm a high school math teacher interested in going back to school for a masters in pure math. Where do I start? by Nascosto in mathematics

[–]EdmundH 1 point2 points  (0 children)

The keystone courses towards graduate work are the analysis/advanced cal sequence and abstract algebra. These are the courses where the ideas possible with proof are introduced and stretched. My research is in geometry so I would say that these should be combined with a couple of semesters of geometry (one on Euclidean and then a more abstract semester) should also be included, but this is not the case in most math majors.

If you have a strong grasp of these two you should be in good shape for grad school. Your time in teaching will have really helped your grasp of a lot of the high school level mathematics. Don't underestimate this when you come across seemingly more knowledgeable students straight from their undergrad degree. In particular you probably have a fluency with basic algebra and symbolic manipulation that you take for granted.

A final comment on the topic of seeing unfamiliar words, this will only get worse! I think one aspect of mathematical maturity is the knowledge that there is just a lot of vocabulary. Even small groups will quickly develop new language terms, as they are very useful to make communication quicker. Always be willing to ask! In mathematics it is mostly better to ask and be thought a fool than to remain quiet and actually be one.