Ngô Bảo Châu and the Fundamental Lemma

My mother called the other day and asked if I know who Ngô Bảo Châu is.  I didn't know, so while she was on the phone, I found a few links about this Vietnamese man and why he is considered so influential.

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

http://talk.onevietnam.org/influential-vietnamese-ngo-bao-chau-and-the-fundamental-lemma/

His work was listed by Time as one of the Top 10 Scientific Discoveries of 2009.

http://www.time.com/time/specials/packages/article/0,28804,1945379_1944416_1944435,00.html

So I was curious about what exactly this Fundamental Lemma is, so I followed a few links from the wikipedia's articles listed above.  Saying that this stuff is over my head is a huge understatement.  So without even trying to understand what this is, I just wonder if this Fundamental Lemma thing, whatever it is, will play some role in the field of Computer Science, perhaps in the next century?  If that's the case, I'm surely glad I wouldn't be around to learn about it.

Source: http://pragmaticlogiclabs.blogspot.com/2010/04/ngo-bao-chau-and-fundamental-lemma.html

Xem bài viết trên phiên bản di động