Printer
Friendly Page

Faculty Profiles

Nathan Carlson Carter
ncarter@bentley.edu          website
MOR 317
781/891-3171
Assistant Professor of Mathematical Sciences

PhD, Indiana University-Bloomington, 2004

Research Interests:

Metamathematics, subclassical logics, intuitionism

Educational software, specifically mathematical and scientific

Social Network Analysis

Practice/Consulting Interests:

Software development

Teaching Interests:

Mathematical Logic

Computer Graphics

Programming Languages

Nathan Carlson Carter
Selected Publications and presentations:

Journal articles
Nathan Carter, Charles Hadlock, Dominique Haughton. "Generating random networks from a given distribution," Computational Statistics & Data Analysis, vol. 52, no. 8, 3928-3938, 2008.

Nathan Carter. "Reflexive Intermediate First-Order Logics," Notre Dame Journal of Formal Logic, vol. 49, no. 1, 75-95, 2008.

Susan Adams, Nathan Carter, Charles Hadlock, Dominique Haughton, George Sirbu. "Change in Connectivity in a Social Network over Time: A Bayesian Perspective," Connections, 2007.

Adams, Susan M, Carter, Nathan C, Hadlock, Charles, Haughton, Dominique, Sirbu, George. "Proactive Encouragement of Interdisciplinary Research Teams in a Business School Environment: Strategy and Results," Journal of Higher Education Policy and Management, vol. 30, no. 1, 2007.

Susan Adams, Nathan Carter, Charles Hadlock, Dominique Haughton, George Sirbu. "A recipe for collaborative research," BizEd, vol. 2006, no. September/October, 30-34, 2006.

Carter, Nathan C. "Reflexive Intermediate Propositional Logics," Notre Dame Journal of Formal Logic, vol. 47, no. 1, 39-62, 2006.

Carter, Nathan, Emmons, Brad. "Group Theory Visualization with Group Explorer," Journal of Online Mathematics and its Applications, 2005.

Carter, Nathan C, Grimes, Stephen M, Reiter, Clifford A. "Frieze and Wallpaper Chaotic Attractors with a Polar Spin," Computers & Graphics, vol. 22, no. 6, 765-779, 1999.

Carter, Nathan C, Eagles, Richard L, Grimes, Stephen M, Hahn, Andrew C, Reiter, Clifford A. "Chaotic Attractors with Discrete Planar Symmetries," Chaos, Solitons & Fractals, vol. 9, no. 12, 2031-2054, 1998.

Books
Nathan Carter. Visual Group Theory, Mathematical Association of America, Washington, DC, 2009.

Book reviews
Nathan Carter. Review of Five Minute Mathematics by Ehrhard Behrends. for Math Horizons, vol. 2008, no. February, 2, 2009.

Professional presentations
Nathan Carter. "A Talk Without Words: Visualizing Group Theory," to the Joint Mathematics Meetings of the American Mathematical Soc. and the Mathematical Assoc. of America, San Diego, CA, January 2008.

Nathan Carter. "Lurch: Software for teaching mathematical proofs," to the Northeast Section Meeting of the Mathematical Association of America, Bentley University, November 2008.

Carter, Nathan C. "Visualizing Group Theory with Group Explorer," to the Joint Meetings of the AMS and MAA, New Orleans, LA, January 2007.

Nathan Carter. "Reflexive Intermediate Propositional Logics," to the Association for Symbolic Logic Winter Meeting, Joint Meetings of AMS and MAA, San Antonio, TX, January 2006.

Allen Hibbard, Nathan Carter, Ellen Maycock. "Technology in the Abstract Algebra Classroom," to the Council on Undergraduate Research National Conference, DePauw University, DePauw, IN, June 2006.

Carter, Nathan. "Visualizing Group Theory: From Zero to Galois Theory in 50 Minutes," to the Wellesley College Math Faculty & Students, Wellesley College Science Center 396, September 2006.

Carter, Nathan C. "Visualizing Group Theory: From Zero to Galois Theory in 50 Minutes," to the Marywood University Mathematics Seminar, Scranton, PA, November 2006.

Nathan Carter. "Reflexive Intermediate Logics," to the Massachusetts Institute of Technology Logic Seminar, Cambridge, MA, September 2005.

Carter, Nathan, Emmons, Brad. "Group Explorer - Visualization Software in the Abstract Algebra Classroom," to the Joint Meetings of the AMS and MAA, Phoenix, Arizona, January 2004.

Carter, Nathan. "Group theory visualization," to the Northeastern Section of Mathematical Association of America meeting, Worcester Polytechnic Institute, November 2004.

Doctoral dissertation
Carter, Nathan Carlson. "Reflexive Logics - Intermediate logics that can prove their own completeness." Indiana University, 2004.

Professional Memberships:
American Mathematical Society
Mathematical Association of America
Association for Symbolic Logic

Honors and Awards:
2007, Bentley Innovation in Teaching Award, 2007.

2003, Rothrock Teaching Award, Indiana University Department of Mathematics

Scholarly Work in Progress:
Lurch: Software for Teaching Mathematical Proofs.
Kenneth Monks (University of Scranton) and I are building a piece of mathematics education software for teaching proof, and any other kind of step-by-step, rule-based work. (supported by NSF award 0736644).

Top of page

Nathan Carter earned his PhD in mathematics at Indiana University in July 2004, and joined the Bentley College faculty that fall. His dissertation work investigated metamathematics and intermediate logics under adviser David McCarty. In addition to logic, Nathan writes mathematical software, http://www.platosheaven.com, and works on Social Networks Analysis with colleagues at Bentley: Susan Adams, Charles Hadlock, Dominique Haughton, and George Sirbu.