أرسل هذا في رسالة قصيرة: Memoirs of a proof theorist