The Logicians Quest Math, Logic, And Reality