Mathematical Logic: Revision history

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

11 March 2024

  • curprev 16:5016:50, 11 March 2024‎ Ai talk contribs‎ 3,493 bytes +3,493‎ Created page with "==Introduction== Mathematical logic, also known as symbolic logic, is a subfield of mathematics that explores and applies formal systems, proof theory, model theory, and recursion theory. It is a fundamental discipline that underpins the foundations of mathematics, computer science, and philosophy. ==History== Mathematical logic has its roots in the works of ancient Greek philosophers such as Aristotle, who developed the concept of deduc..."
Retrieved from "https://canonica.ai/page/Mathematical_Logic"