Personal tools
You are here: Home Events Lab Lunch with Leonid Libkin

Lab Lunch with Leonid Libkin

— filed under:

Leonid Libkin will be our speaker. Biscuits will be provided as usual.

What
  • Lab Lunch
When Sep 16, 2014
from 01:00 PM to 02:00 PM
Where MF2
Contact Name
Add event to calendar vCal
iCal

Title: Deux ou trois choses que je sais ...

Abstract:  With apologies for stealing the title of both a very influential movie and a very influential logic paper, the lab lunch talk I give is a potpourri comprising at least the following:

1. Why we all - knowingly or unknowingly - agree that \forall N: N-1=0 is true and do nothing about it;

2. Why presenting solutions to this problem is incompatible with proper digestion (hence solutions won't be given during lab *lunch*), and

3. Why a new industry, supplying fake PhDs to Russian officials, is flourishing, and how it operates.

Document Actions