Technology contributed many fields of studies over thee years. One of them is maths. Over the years technology has contributed a lot to maths. Mostly we can see that the computing is the technology which contributed maths.
Mathematicians used computers for many purposes. They used it to solve mathematical problems, prove theorems, to display graphical ideas, to use software programs relating maths and to teach. They used it from doing the simple calculations to proving very complicated theorems. The use of computers was encouraged when the theorems were hard and sometimes impossible to prove by mathematicians.
The first theorem proved using a computer was The Four Color Theorem. It was proved in 1976.After that in the 80s we can recognize several proofs using computers.
- Mitchell Feigenbaum's universality conjecture in non-linear dynamics, 1982 .
- Non-existence of a finite projective plane of order 10 , 1989.
- Robbins conjecture, 1996.
- Kepler conjecture, 1998 – the problem of optimal sphere packing in a box. (Not yet definitively proved).
Mitchell Feigenbaum's universality conjecture in non-linear dynamics
This was Proven by O.E. Lanford using rigorous computer arithmetic .Oscar Eramus Lanford III (born January 6, 1940 in New York, United States) is an American mathematician working on mathematical physics and dynamical systems theory.
Robbins conjecture.
WilliamMcCuneproved the conjecture in 1996, using the automatedtheorem proverEQP.
Kepler conjecture.
Thomas_Callister_Halesproved the conjecture in 1998.
Those are the ways which computers contributed maths in 80s to 90s.Also we can recognize that there were little software programs which were used.
Also apart from computers calculators and electronic tools which were used to teach were contributions to maths from technology.
So as you can see technology has contributed maths in past , present and future a lot.
No comments:
Post a Comment