Gödel’s Theorem of Incompleteness
Featuring Christopher Probst
Thursday May 30th @ 12-1 pm
“I only go to my office to have the privilege of being able to walk home with Gödel”. These were Albert Einstein’s words as famous professor at Princeton. Kurt Gödel turned mathematics on his head with his incompleteness theorem. Formal mathematical theories are always either incomplete or worse inconsistent. We will introduce this historical figure, outline his theorem and offer a simplified sketch of a proof that we can understand.
Chris is a C++ software developer who focuses on user-interfaces for the desktop and embedded devices (like the dash of your car). He specializes in a programming library called and spelled Qt.Today he shares his time between consulting, development and training.
Brown Bag Lunches are free for members but open to everyone. Remember to bring your lunch! 🙂Back to all Events