Mantık tarihi ondokuzuncu yüzyılın ikinci yarısından bu yana matematiğin temelleriyle ilgili soruların yanıtlanmasına sahne olmuştur. Bugün tarihsel gelişiminin bir sonucu olarak mantık bilgisayar kullanımı aracılığıyla yaşam ile etkileşmektedir. Bu yazıda söz konusu etkileşimin geleceğine ilişkin bilgisel ufukların geçmişte hangi soruları yanıtlamak amacıyla belirlendiği çok kısaca özetlenmektedir.