Mathematics Department

Student Colloquia

Upcoming Seminar

November 7, 4:40 PM in Physics 123
Langston Barrett

Type theory is simultaneously a programming language and an alternative to set theory as a foundation for mathematics. In this talk, we'll explore how one formal system can take on such seemingly disparate tasks. First, we'll try to understand the origins of formal systems, what they consist of, and how we can reason about them. We'll take a tour of intuitionistic propositional logic and the typed λ-calculus, discuss their similarity, and explore the consequences for mathematics and computer science.

Most Tuesday afternoons during the academic year, the Mathematics students host a math talk. The talks are directed to our mathematics majors but are usually accessible on a variety of levels. Refreshments are served before the talks.

Please email Skye Binegar and Langston Barrett, if interested in signing up for a talk.

2017-18 Schedule

Fall

4:40 in Physics 123 (unless marked otherwise).

Sept 18The Controllability of Functional Classes in the Genetic Regulatory Network of E. coli
Ananthan Nambiar
Ananthan Nambiar will discuss control theory,
its computations, and its application in studying dynamical systems in biology!
Sept 26An Elliptic Curve Analogue to the Ferment Numbers
Skye Binegar
The Fermat numbers have many notable properties, including order universality, coprimality, and definition by a recurrence relation. We use arbitrary elliptic curves and rational points of infinite order to generate sequences that are analogous to the Fermat numbers. We demonstrate that these sequences have properties similar to those of the Fermat numbers, and we discuss results about the prime factors of sequences generated by specific curves and points.
 
This talk covers results from the 2017 Wake Forest/Davidson number theory REU. A preprint is available on arXiv: https://arxiv.org/abs/1708.03804
Oct 2How does a math/cs/stats major find ways to spend their summers while staying engaged with their discipline?
Kyle Ormsby, Kelly Shaw, and Heather Kitada
Professors Kyle OrmsbyKelly Shaw, and Heather Kitada will provide some resources and answer questions about the opportunities available. We will discuss topics such as Research Experience for Undergraduates (REUs), industry internships, Reed faculty projects, camps, and independent studies. Additionally, there will be students with previous summer experiences to talk about how they got there and what it was like.
Oct 9Dependence Analysis and Automatic Optimization
Ben Black
Most code is written as sequential instructions. But somehow, compilers and hardware have managed to exploit significant parallelism in this sequential code. However, these are some of the most complex systems imaginable, and so reasoning about them directly is hard.
Luckily, there are powerful models we can use to reason about the optimal system, and we can often use these to understand the real-world systems much more easily. And there are effective tools we can use to understand their behavior more precisely. I will use dependency graphs as a model and use it to give a brief introduction to instruction level parallelism from the hardware level and the compiler level. I will also show how to perform measurements to inspect how well the real-world hardware and software is achieving its goals relative to the optimal model. 
Nov 7Langston Barrett
Type theory is simultaneously a programming language and an alternative to set theory as a foundation for mathematics. In this talk, we'll explore how one formal system can take on such seemingly disparate tasks. First, we'll try to understand the origins of formal systems, what they consist of, and how we can reason about them. We'll take a tour of intuitionistic propositional logic and the typed λ-calculus, discuss their similarity, and explore the consequences for mathematics and computer science.

Spring

4:40 in Physics 123 (unless marked otherwise).

Seminar schedule coming soon.

Contact Us

Phone: 503-777-7710
Fax: 503-788-6691

Subscribe to the Math-at-Reed Email List

Follow @ReedCollegeMath on Twitter