Menu:

This is an irregular seminar for Ph.D. students from Ph.D. students where everyone is invited to propose a talk having remotely to do with pure mathematics. In fact, if anyone feels like getting a little deeper into some topic, it would be the perfect opportunity to prepare a little talk and enjoy a discussion afterwards.

Though we appreciate talks to cover a variety of topics, they are intended to be rather technical and will likely assume quite a bit of general knowledge. A, hypothetically speaking, "perfect" talk would be on something like the Perelman or the Wiles proof. Everyone knows about them; but who really knows how these proofs work? Obviously, it is not possible to get into the last detail but if the talk leaves the audience with a good idea of the steps involved and why they matter then we'll be happy campers. By the way, this is also the reason why we would kindly ask presenters to communicate some sort of script or at least a list of preliminaries so that we can prepare for what is expected to know in order to follow the talk.

If you wish to get access to any of the protected pages, please contact Tobias Hartung (tobias.hartung [at] kcl.ac.uk).

TBA Pascal Honoré Non-standard analysis
TBA Tobias Hartung -Algebras
TBA Niccolò Salvatori On many-valued Logic
TBA Niccolò Salvatori An introduction to Logic II: First Order Logic
Dec 15th, 2014
2pm, S5.20		 Tobias Hartung Gödel's Incompleteness Theorems [pdf]
Dec 15th, 2014
11am, S5.20		 Niccolò Salvatori An introduction to Logic I
Nov 26th, 2014
4pm, S4.36		 Robin Nicole Segregation of traders in double auction markets:
Numerical simulations and analytical mean field results in the limit of a large population of traders
May 16th, 2014
2pm, S4.36		 Riccardo Maffucci The complex analytic approach to the Prime Number Theorem
Jan 10th, 2014
1pm, S4.36		 Tobias Hartung The Banach-Tarski Paradox [pdf]