Joint Mathematics Meetings AMS Special Session

Current as of Thursday, April 21, 2022 04:01:57

• Program
• ·
• Deadlines
• ·
• Timetable
• ·
• Inquiries: meet@ams.org

Virtual Joint Mathematics Meetings (formerly in Seattle, WA)

• now meeting virtually, PT (hosted by the American Mathematical Society), Seattle, WA
• April 6-9, 2022 (Wednesday - Saturday)
• Meeting #1174

Associate Secretary for the AMS Scientific Program:

Georgia Benkart, University of Wisconsin-Madison benkart@math.wisc.edu

AMS Special Session on Competing Foundations for Mathematics: How Do We Choose? (a POMSIGMAA Special Session)

• Wednesday April 6, 2022, 8:00 a.m.-11:30 a.m.
  AMS Special Session on Competing Foundations for Mathematics: How Do We Choose? (a POMSIGMAA Special Session)
  Organizers:
  Bonnie Gold, Monmouth University
  Jeffrey Beuchner, Rutgers University Newark
  Kevin Iga, Pepperdine University
  

  • 8:00 a.m.
    Category theory and Model Theory: Symbiotic Scaffolds
    John T. Baldwin*, University of Illinois at Chicago
    (1174-10-7774)
  • 9:00 a.m.
    Reality never has just one correct foundation
    Colin McLarty*, Case Western Reserve University
    (1174-10-8233)
  • 10:00 a.m.
    Complementary foundations for mathematics: when do we choose?
    Michael A Shulman*, University of San Diego
    (1174-03-8058)
  • 11:00 a.m.
    Discussion
• Wednesday April 6, 2022, 1:00 p.m.-6:00 p.m.
  AMS Special Session on Competing Foundations for Mathematics: How Do We Choose?, II
  Organizers:
  Bonnie Gold, Monmouth University
  

  • 1:00 p.m.
    The Design of Mathematical Language
    Jeremy David Avigad*, Carnegie Mellon University
    (1174-03-7272)
  • 2:00 p.m.
    Methodological Frames: Mathematical structuralism and proof theory
    Wilfried Sieg*, Carnegie Mellon University
    (1174-03-9413)
  • 3:00 p.m.
    On the hierarchy of natural theories
    James Walsh*, Cornell University
    (1174-03-5589)
  • 4:00 p.m.
    Foundations & Interpretability
    Toby Meadows*, University of California, Irvine
    (1174-03-9110)
  • 5:00 p.m.
    Discussion
• Thursday April 7, 2022, 8:30 a.m.-11:50 a.m.
  AMS Special Session on Competing Foundations for Mathematics: How Do We Choose?, III
  Organizers:
  Bonnie Gold, Monmouth University
  

  • 8:30 a.m.
    Realism and Underdetermination in Mathematics and the Physical Sciences
    James Henderson*, Penn State Behrend
    (1174-10-6415)
  • 9:00 a.m.
    Break
  • 9:30 a.m.
    An unorthodox Philosophy of Mathematics
    Alejandro Javier Cuneo*, University of Cordoba, Argentina
    Ruggero Ferro, Retired from University of Verona, Italy
    (1174-03-7972)
  • 10:00 a.m.
    Strict Finite Foundations of Mathematics
    John R Burke*, Rhode Island College
    (1174-03-9588)
  • 10:30 a.m.
    Mathematics, Bivalence, and Alternative Logics
    Thomas L Drucker*, University of Wisconsin--Whitewater
    (1174-03-8904)
  • 11:00 a.m.
    Discussion