network profile
| bio | website | nd.edu/~sflood |
|---|---|---|
| location | University of Notre Dame, IN | |
| age | ||
| visits | member for | 1 year, 7 months |
| seen | Oct 4 '11 at 20:16 | |
| stats | profile views | 12 |
I am a graduate student in mathematics at the University of Notre Dame. My research is in the area of computability theory and reverse mathematics.
|
Sep 28 |
awarded | Editor |
|
Sep 28 |
revised |
Is it possible to formalize the relationship between different proofs of the same theorem? added 64 characters in body |
|
Sep 28 |
awarded | Teacher |
|
Sep 28 |
answered | Is it possible to formalize the relationship between different proofs of the same theorem? |
