Geraldine Brady
Adjunct Assistant Professor
CSPP Mathematics Counselor

Contact Information

Phone: (773) 834-3705
Fax: (773) 702-8487

Email:

Teaching

• Winter 2010:
  • Instructor for CSPP 55005—Advanced Algorithms
• Autumn 2009:
  • Instructor for CSPP 55001—Algorithms
• Summer 2009:
  • Instructor for CSPP 50201—Discrete Mathematics
    
  • Instructor for CSPP 50202—Counting, Probability, & Statistics

Research

List of publications in reverse chronological order.

• Geraldine Brady and Todd H. Trimble. The topology of relational calculus. Submitted to Advances in Mathematics, February 2002.
• Geraldine Brady. From Peirce to Skolem: A Neglected Chapter in the History of Mathematical Logic. Elsevier Science: North-Holland, 2000.
  Mathematical Reviews: MR 1834718
• Geraldine Brady and Todd H. Trimble. A categorical interpretation of C. S. Peirce's System Alpha. Journal of Pure and Applied Algebra, 149: 213-239, 2000.   Mathematical Reviews: MR 17627665
• Geraldine Brady and Todd H. Trimble. A string diagram calculus for predicate logic. Preprint, November 1998.
• Geraldine Brady. The Contributions of Peirce, Schroeder, Loewenheim, and Skolem to the Development of First-Order Logic. Doctoral Dissertation, Universitetet i Oslo, 1997.
• Geraldine Brady. From the algebra of relations to the logic of quantifiers. Studies in the Logic of Charles Sanders Peirce, Indiana University Press, 1997.
• Stuart A. Kurtz and Geraldine Brady. Existential Graphs: I. January 1997.