The History and Evolution of Mathematical Logic

Abstract

This paper traces the historical development of mathematical logic, from its ancient roots in the works of Aristotle and Euclid to its modern formulations in the 19th and 20th centuries. It will examine the contributions of key figures like Gottlob Frege, Bertrand Russell, Kurt Gödel, and Alan Turing to the field. The paper will also discuss the significance of mathematical logic in understanding the foundations of mathematics and its applications in computer science and philosophy.