Mathématiques et logique — Mark Kac, Stanislaw Marcin Ulam