Is the Four Color Theorem Proof Controversial?

  • Thread starter Thread starter 2^Oscar
  • Start date Start date
  • Tags Tags
    Mathematical
Click For 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.
 
Here is a little puzzle from the book 100 Geometric Games by Pierre Berloquin. The side of a small square is one meter long and the side of a larger square one and a half meters long. One vertex of the large square is at the center of the small square. The side of the large square cuts two sides of the small square into one- third parts and two-thirds parts. What is the area where the squares overlap?

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 2 ·
Replies
2
Views
483
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 46 ·
2
Replies
46
Views
5K
  • · Replies 2 ·
Replies
2
Views
1K