This project concerns an investigation into three aspects of the relation between mathematics and adaptive logics (AL’s): I investigate how (a) AL’s can be used for the formal modeling of the mathematical practice, (b) AL’s can solve problems of the foundations of mathematics, and (c) mathematical techniques can be used for the abstract study of AL’s.