Charla: How to Write a Proof



Charlista: Leslie Lamport, Microsoft Research


(Charla dictada en inglés)


Fecha: Lunes 15 de Noviembre
Hora: 15.00 hrs.
Lugar: Auditorio del DCC. Av. Blanco Encalada 2120, tercer piso, Santiago.




A method of writing proofs is proposed that makes it much harder to prove things that are not true. The method, based on hierarchical structuring, is simple and practical.


About the speaker


Leslie Lamport is a world famous researcher in distributed algorithms. He is also well known as the creator of LaTeX, which is a page layout system used by scientists in a number of fields (information technology, mathematics, physics, etc.) to produce documents containing numerous mathematical formulae. He received a B.S. in mathematics from the Massachusetts Institute of Technology in 1960, and M.A. and Ph.D. degrees in mathematics from Brandeis University, respectively in 1963 and 1972.


Leslie Lamport joined Microsoft Research in 2001 after working as a research engineer for Digital Equipment since 1985. He received the IEEE John von Neumann Medal (2008), ACM SIGOPS Hall of Fame Award (2007) and IEEE Piore Award (2004). He has honorary doctorates from Université Henri Poincaré, Nancy (2007), Universit della Svizzera Italiana, Lugano (2006), Ecole Polytechnique Fédérale de Lausanne (2004), Christian Albrechts University, Kiel (2003), University of Rennes (2003).


Comunicaciones DCC
35 años desarrollando la Computación en Chile