Logic and Foundations Commons^™

Category Theory And Universal Property, Niuniu Zhang

Honors Theses

Category theory unifies and formalizes the mathematical structure and concepts in a way that various areas of interest can be connected. For example, many have learned about the sets and its functions, the vector spaces and its linear transformation, and the group theories and its group homomorphism. Not to mention the similarity of structure in topological spaces, as the continuous function is its mapping. In sum, category theory represents the abstractions of other mathematical concepts. Hence, one could use category theory as a new language to define and simplify the existing mathematical concepts as the universal properties. The goal of …

Choice Of Choice: Paradoxical Results Surrounding Of The Axiom Of Choice, Connor Hurley

Honors Theses

When people think of mathematics they think "right or wrong," "empirically correct" or "empirically incorrect." Formalized logically valid arguments are one important step to achieving this definitive answer; however, what about the underlying assumptions to the argument? In the early 20th century, mathematicians set out to formalize these assumptions, which in mathematics are known as axioms. The most common of these axiomatic systems was the Zermelo-Fraenkel axioms. The standard axioms in this system were accepted by mathematicians as obvious, and deemed by some to be sufficiently powerful to prove all the intuitive theorems already known to mathematicians. However, this system …

Verifying Harder's Conjecture For Classical And Siegel Modular Forms, David Sulon

Honors Theses

A conjecture by Harder shows a surprising congruence between the coefficients of “classical” modular forms and the Hecke eigenvalues of corresponding Siegel modular forms, contigent upon “large primes” dividing the critical values of the given classical modular form.

Harder’s Conjecture has already been verified for one-dimensional spaces of classical and Siegel modular forms (along with some two-dimensional cases), and for primes p 37. We verify the conjecture for higher-dimensional spaces, and up to a comparable prime p.

Mathematical Philosophy, Janie Ferguson

Honors Theses

The purpose of Mathematical Philosophy by Cassius J. Keyser is to delve into some of the more essential and significant relations between mathematics and philosophy. To see this relation, one must gain insight into the nature of mathematics as a distinctive type of thought. The standard of excellence in the quality of thinking to which mathematicians are accustomed is called "logical rigor;" clarity and precision are essentials. The demands of logic, however, cannot be fully satisfied even in mathematics, but it meets the requirements much more nearly than any other discipline. Thus, the amount of mathematical training essential to education …

Mathematics And Logic, Janet Moffett

Honors Theses

Mathematics is interested in the methods by which concepts are defined in terms of others and statements are inferred from others. It therefore uses a primarily deductive form of reasoning. It is almost impossible to distinguish where logic leaves off and mathematics begins. "... logic is the youth of mathematics and mathematics is the manhood of logic." Mathematics starts from certain premises and, by a strict process of deduction, arrives at the various theorems which constitute it.

In order to understand the congruence of mathematics and deductive logic, one must understand the principles of each and the relation between them. …