Is the Four Color Theorem Proof Controversial?

  • Thread starter Thread starter 2^Oscar
  • Start date Start date
  • Tags Tags
    Mathematical
AI Thread Summary
The Four Color Theorem, which states that no more than four colors are needed to color a map so that no adjacent regions share the same color, has sparked controversy due to its computer-generated proof. Critics argue that the proof's complexity makes it difficult for humans to verify, raising questions about its validity. This debate highlights broader issues in mathematics regarding reliance on computational methods for theorem proving. The theorem serves as an example of how modern mathematics can be challenging to engage with at a high school or early college level. Exploring this topic could provide valuable insights into the intersection of mathematics and computer science.
2^Oscar
Messages
45
Reaction score
0
Hey guys,

For my university application I've been told I have to investigate a modern mathematical topic on which there is currently a debate (i.e. some people who agree with the concept and others who disagree). The level of the topic should be about A level to first year degree kind of standard.

I'm really stumped for ideas, and was wondering if anyone would be kind enough to suggest a good topic which has plenty of free online resources I can look at avaliable?

Thanks very much in advance,
Oscar
 
Mathematics news on Phys.org
It seems kind of strange as most modern mathematics is way beyond A level. If there is dispute it means that the problem is not properly understood by leading mathematicians so it would be hard for a high schooler/freshman to write anything novel about it. Anyway I guess I would look at some of the following conjectures:
- http://en.wikipedia.org/wiki/3x%2B1" (easy to understand).
- http://en.wikipedia.org/wiki/P_vs_NP" (requires a bit of knowledge of complexity theory. May not qualify as math, but CS).
- http://en.wikipedia.org/wiki/Riemann_hypothesis" (requires a bit of analysis to understand).
- http://en.wikipedia.org/wiki/Classification_of_finite_simple_groups" (requires a bit of group theory. Not really a conjecture, but there is some controversy about the proof).
- http://en.wikipedia.org/wiki/Abc_conjecture" (understandable using high-school math I think).
Alternatively you may want to talk about the use of computers in theorem proving such as the use in the http://en.wikipedia.org/wiki/Four_color_theorem" .
 
Last edited by a moderator:
Thank you so much for the speedy reply :)

You've given me some good ideas - I see at least 2 or 3 i'd like to have a look at for fun if not as part of my project!

Thanks so much again,
Oscar
 
What about the four color theorem? The computer-generated proof (which is too long to be checked by humans) generated lots of discussion whether or not the proof was valid. Google for "four color theorem controversy" (without the quote marks) for more information.
 
Fermat's Last Theorem has long been one of the most famous mathematical problems, and is now one of the most famous theorems. It simply states that the equation $$ a^n+b^n=c^n $$ has no solutions with positive integers if ##n>2.## It was named after Pierre de Fermat (1607-1665). The problem itself stems from the book Arithmetica by Diophantus of Alexandria. It gained popularity because Fermat noted in his copy "Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et...
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 Pythagorus'
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...

Similar threads

Back
Top