Works cited Mathematical logic - Wikipedia, accessed August 31, 2025, https://en.wikipedia.org/wiki/Mathematical_logic Syllogism - Wikipedia, accessed August 31, 2025, https://en.wikipedia.org/wiki/Syllogism Aristotle's Logic (Stanford Encyclopedia of Philosophy), accessed August 31, 2025, https://plato.stanford.edu/entries/aristotle-logic/ Term logic - Wikipedia, accessed August 31, 2025, https://en.wikipedia.org/wiki/Term_logic library.fiveable.me, accessed August 31, 2025, https://library.fiveable.me/history-of-mathematics/unit-4/euclids-elements-axiomatic-method/study-guide/dnSqlgBw0HFDcRGq#:~:text=The%20axiomatic%20method%20introduced%20in,developments%20in%20math%20and%20science. Euclid's Elements and axiomatic method | History of Mathematics ..., accessed August 31, 2025, https://library.fiveable.me/history-of-mathematics/unit-4/euclids-elements-axiomatic-method/study-guide/dnSqlgBw0HFDcRGq Axiomatic systems in mathematics - EBSCO, accessed August 31, 2025, https://www.ebsco.com/research-starters/science/axiomatic-systems-mathematics Euclidean geometry - Wikipedia, accessed August 31, 2025, https://en.wikipedia.org/wiki/Euclidean_geometry The Laws of Thought - Wikipedia, accessed August 31, 2025, https://en.wikipedia.org/wiki/The_Laws_of_Thought Begriffsschrift - Wikipedia, accessed August 31, 2025, https://en.wikipedia.org/wiki/Begriffsschrift Frege's Begriffsschrift (1879) – An Ideal Logical Language (Chapter 4), accessed August 31, 2025, https://www.cambridge.org/core/books/frege/freges-begriffsschrift-1879-an-ideal-logical-language/FA3818464C5DBF050FC82EC946BD7392 Begriffsschrift in Modern Notation: (1) to (51) (Appendix A) - The Philosophy of Gottlob Frege, accessed August 31, 2025, https://www.cambridge.org/core/books/philosophy-of-gottlob-frege/begriffsschrift-in-modern-notation-1-to-51/7F87559B30F7AFC2811CA66B89E55141 History of Logic, Information, and Computation - University of Pennsylvania, accessed August 31, 2025, https://logic.sas.upenn.edu/about/history-logic-information-and-computation logic.sas.upenn.edu, accessed August 31, 2025, https://logic.sas.upenn.edu/about/history-logic-information-and-computation#:~:text=Modern%20mathematical%20logic%20began%20with,the%20development%20of%20mathematical%20analysis. en.wikipedia.org, accessed August 31, 2025, https://en.wikipedia.org/wiki/Foundations_of_mathematics#:~:text=By%20near%20the%20turn%20of,the%20foundational%20crisis%20of%20mathematics. ELI5: The real-world implications of Russell's Paradox : r/explainlikeimfive - Reddit, accessed August 31, 2025, https://www.reddit.com/r/explainlikeimfive/comments/16w5ryh/eli5_the_realworld_implications_of_russells/ Russell Discovers the Great Paradox | EBSCO Research Starters, accessed August 31, 2025, https://www.ebsco.com/research-starters/history/russell-discovers-great-paradox Gödel's Incompleteness Theorems for Dummies - Part 0 - Radhika Ghosal, accessed August 31, 2025, https://www.kharghoshal.xyz/blog/g%C3%B6dels-incompleteness-theorems-0 The Rhetoric of Mathematical Logicism, Intuitionism, and Formalism - LOUIS, accessed August 31, 2025, https://louis.uah.edu/cgi/viewcontent.cgi?article=1578&context=honors-capstones ELI5: How did formalism, intuitionism and logicism in mathematics exactly disagree with each other? : r/explainlikeimfive - Reddit, accessed August 31, 2025, https://www.reddit.com/r/explainlikeimfive/comments/1d60s0q/eli5_how_did_formalism_intuitionism_and_logicism/ Philosophy of mathematics - Logicism, Intuitionism, Formalism ..., accessed August 31, 2025, https://www.britannica.com/science/philosophy-of-mathematics/Logicism-intuitionism-and-formalism What are the main issues on which the schools of Intuitionism, Formalism, and Logicism disagree? - Philosophy Stack Exchange, accessed August 31, 2025, https://philosophy.stackexchange.com/questions/29845/what-are-the-main-issues-on-which-the-schools-of-intuitionism-formalism-and-lo Intuitionism in the Philosophy of Mathematics, accessed August 31, 2025, https://plato.stanford.edu/entries/intuitionism/ Formalism in the Philosophy of Mathematics, accessed August 31, 2025, https://plato.stanford.edu/archives/fall2011/entries/formalism-mathematics/ Formalism in the Philosophy of Mathematics, accessed August 31, 2025, https://plato.stanford.edu/entries/formalism-mathematics/ Gödel's Incompleteness Theorems for Dummies! | by Almas K ..., accessed August 31, 2025, https://medium.com/@almaskadic1/g%C3%B6dels-incompleteness-theorems-for-dummies-fcdaf867e4ad Explanation about completeness and incompleteness theorems in logic, accessed August 31, 2025, https://math.stackexchange.com/questions/4060253/explanation-about-completeness-and-incompleteness-theorems-in-logic Entscheidungsproblem - Wikipedia, accessed August 31, 2025, https://en.wikipedia.org/wiki/Entscheidungsproblem The Entscheidungsproblem and Alan Turing - Georgia College, accessed August 31, 2025, https://www.gcsu.edu/sites/files/page-assets/node-808/attachments/brodkorb.pdf Lecture 28: Introduction to the λ-Calculus - Cornell: Computer Science, accessed August 31, 2025, https://www.cs.cornell.edu/courses/cs3110/2014sp/recitations/25/lambda-calculus.html Lambda calculus - Wikipedia, accessed August 31, 2025, https://en.wikipedia.org/wiki/Lambda_calculus Alonzo Church > D. The λ-Calculus and Type Theory (Stanford ..., accessed August 31, 2025, https://plato.stanford.edu/entries/church/supplementD.html A Tutorial Introduction to the Lambda Calculus - arXiv, accessed August 31, 2025, https://arxiv.org/pdf/1503.09060 www.lenovo.com, accessed August 31, 2025, https://www.lenovo.com/us/en/glossary/lambda-calculus/#:~:text=Lambda%20calculus%20influences%20the%20design,functions%20and%20higher%2Dorder%20functions. Exploring Lambda Calculus in Functional Programming | Lenovo US, accessed August 31, 2025, https://www.lenovo.com/us/en/glossary/lambda-calculus/ Turing's proof - Wikipedia, accessed August 31, 2025, https://en.wikipedia.org/wiki/Turing%27s_proof Alan Turing "On Computable Numbers, with an Application to the Entscheidungsproblem" 1936 Paper - YouTube, accessed August 31, 2025, https://www.youtube.com/shorts/2ioj41cvKPY Computational logic: its origins and applications - PMC - PubMed Central, accessed August 31, 2025, https://pmc.ncbi.nlm.nih.gov/articles/PMC5832843/ Stanford Center for Formal Methods in Computing, accessed August 31, 2025, http://www-formal.stanford.edu/jmc/math.html Applications of logic in computer science and AI | Formal Logic II ..., accessed August 31, 2025, https://library.fiveable.me/formal-logic-ii/unit-12/applications-logic-computer-science-ai/study-guide/cqtCXJThqd5JxGBL Formal Methods & Automated Reasoning | Computer Science and Engineering at Michigan, accessed August 31, 2025, https://cse.engin.umich.edu/research/areas-of-research/formal-methods-automated-reasoning/ How to integrate formal proofs into software development - Amazon Science, accessed August 31, 2025, https://www.amazon.science/blog/how-to-integrate-formal-proofs-into-software-development ontosight.ai, accessed August 31, 2025, https://ontosight.ai/Library/articles/applications-of-formal-logic-in-computer-science-and-programming--68267403441fa5c285505d37#:~:text=Did%20you%20know%20that%20artificial,and%20make%20predictions%20Stanford%20University.