Mathematical Logic: Tomorrow's Gold