ગણિતશાસ્ત્રી અને તર્કશાસ્ત્રી