Email Record: Strict finitism and the logic of mathematical applications /