I am going to tell you the story ..

Leonardo Da Vinci & Spring Banquet 2005 Lamar
University

One thing that stucked me today was Google logo emphasizing
Leonardo Da vinci today must be that souls birthday. That directly took me to
the Image result page of Da vinci, i do know about him from the Novel by Robert
Brown "The Da Vinci Code " Its superb.

mona lisa .

http://en.wikipedia.org/wiki/Mona_Lisa

Or Vitruvian Man

http://en.wikipedia.org/wiki/Vitruvian_Man

I loved the accuracy in Vitruvian Man

Spring Banquet !!!

Featured Guest some one who knows the relationship between logic and Computer
Science

and start by the history of logic from aristotle to Euclids with photos of
all.

He said i am going to tell you the story about
logic, nice way to start a presentation.

One thing that stucked me was about the argument he was saying

Mathematics is complete and can be proved by Mathematics itself. Is it
true , i love mathematics and i think there is a mathematician inside me but can
you prove that mathematics is complete by mathematics.

I mean you can first assume that M is complete than try to prove it is
not and by contradiction you can say it is

But assume that M is not complete can you now use M to prove that
mathematics is complete ?

I don'ty know what the guest speakers conclusion but that get me started.

The most intresting aspect of mathematics is really the Provability, is it
not . None of thescience have that exact method of Proof like mathematics.