home › event - "what is computation?"
"What is computation?"
We depend on computer systems that are not dependable. No one knows how to solve this problem, and I don't pretend to. But a better understanding of what those systems do just might help a little. The tool that people have been using for centuries to understand such things is math. I will use math to explain what computation is. I will assume a familiarity with grade-school arithmetic, and I will explain the small amount of additional math that is required (which is much simpler than arithmetic).
Leslie Lamport received a doctorate in mathematics from Brandeis University, with a dissertation on singularities in analytic partial differential equations. This, together with a complete lack of education in computer science, prepared him for a career as a computer scientist at Massachusetts Computer Associates, SRI, Digital, and Compaq. He claims that it is through no fault of his that of those four corporations, only the one that was supposed to be non-profit still exists. He joined Microsoft in 2001, but that company has not yet succumbed.
Dr. Lamport's initial research in concurrent algorithms made him well-known as the author of LaTeX?, a document formatting system for the ever-diminishing class of people who write formulas instead of drawing pictures. He is also known for writing: A distributed system is one in which the failure of a computer you didn't even know existed can render your own computer unusable -- which established him as an expert on distributed systems. Among his other contributions is the TLA+ specification language, which represents a Quixotic attempt to overcome computer scientists' antipathy towards mathematics.
Despite having received five honorary doctorates from European universities and having been sent by the IEEE to Italy to receive its 2004 Piore Award and to Quebec to receive its 2008 von Neumann medal, Dr. Lamport has not taken the hint and continues to return to his home in California.
upcoming events view all
Heat-Switch-Based Electrocaloric Cooling (invited)
Sylvia Smullin, Craig Eldershaw, Martin Sheridan, Qian Wang
10 February 2016
Conferences & Talks
Bio-Inspired Sensors for Wearable Electronics and Prosthetics
18 February 2016
Visit us at the ARPA-E Energy Innovation Summit 2016
Bernard Casse, Scott Elrod, Christian Fritz, Sean Garner, Jeng Ping Lu, Rob McHenry, Ashish Pattekar, Austin Pugh, Ajay Raghavan, Jessy Rivest, David Eric Schwartz, Eugene Chow, Peter Kiesel, Clinton J. Smith, Quentin Van Overmeere
29 February 2016 - 2 March 2016 | Washington, DC
Conferences & Talks