Kurt Gödel : mathématiques, logique et philosophie