I will discuss Godel's own vision of the implications of his incompleteness theorem for the future of mathematics, and will talk about what has actually been accomplished in that direction. He started working on Data Warehousing with IBM in the late 1980's where he held a number of positions. Prior to that he was a faculty member at the University of Texas and also worked with several oil companies. Dr. Singh has written six books in computer science with Prentice-Hall including two books on Data Warehousing. Special subrings called ideals and their importance will be discussed.
Ideals have bases, analogous to bases for vector subspaces.
Some bases are better than others for purposes of computation and discovery of mathematical properties. The talk discusses these bases, called Grobner bases. All students, faculty, alumni, and friends are welcome to attend. Contact one of the colloquium organizers below for more information or to suggest other possible speakers.