Logic and Foundations Commons^™

Canonical Extensions Of Quantale Enriched Categories, Alexander Kurz

MPP Research Seminar

No abstract provided.

Unknowable Truths: The Incompleteness Theorems And The Rise Of Modernism, Caroline Tvardy

Honors Scholars Collaborative Projects

This thesis evaluates the function of the current history of mathematics methodologies and explores ways in which historiographical methodologies could be successfully implemented in the field. Traditional approaches to the history of mathematics often lack either an accurate portrayal of the social and cultural influences of the time, or they lack an effective usage of mathematics discussed. This paper applies a holistic methodology in a case study of Kurt Gödel’s influential work in logic during the Interwar period and the parallel rise of intellectual modernism. In doing so, the proofs for Gödel’s Completeness and Incompleteness theorems will be discussed as …

Abstracting Aristotle’S Philosophy Of Mathematics, John J. Cleary

Research Resources

In the history of science perhaps the most influential Aristotelian division was that

between mathematics and physics. From our modern perspective this seems like an unfortunate deviation from the Platonic unification of the two disciplines, which guided Kepler and Galileo towards the modern scientific revolution. By contrast, Aristotle’s sharp distinction between the disciplines seems to have led to a barren scholasticism in physics, together with an arid instrumentalism in Ptolemaic astronomy. On the positive side, however, astronomy was liberated from commonsense realism for the conceptual experiments of Aristarchus of Samos, whose heliocentric hypothesis was not adopted by later astronomers because …