The search for mathematical rigor

• What constitutes truth in mathematics?
• Can mathematics be completely defined and ‘boxed in’ within algorithmic containers?
• Rudolf Carnap: Mathematicians choose a linguistic framework based on its utility; "truth" is a matter of agreed-upon rules (conventions)