Friday, March 18, 2011

Computers Effective In Verifying Mathematical Proofs (7th post)

If you want your life to be a magnificent story, then begin by realizing that you are the author and everyday you have the opportunity to write a new page. 
- Mark Houlahan -


this is my 7th post
and i'm almost done!
this project is so stressful!
by the way, does the title of my post catch your attention?
hahaha ! dapat lang !


okay! so it is good that computers can now check the theorems of mathematicians. It is less effort done doing it manually. i hope that they could develop it more so that we can also solve the unsolved problems in mathematics.


that's all :)

No comments:

Post a Comment