FOM — Foundations of Mathematics
About FOM

FOM is an automated e-mail list for discussing foundations of mathematics. It is a closed, moderated list. This means that all subscriptions and postings must be approved by the moderator, currently Sam Buss, acting in conjuction with the Editorial Board. Approval of a posting does not imply agreement with the views expressed in the posting.

FOM subscribers typically have advanced training in mathematics, philosophy, computer science or related fields, and either have professional activity in one of these directions or are preparing for such a career.

The FOM list is intended to provide a venue for discussing the provocative, sometimes controversial, ideas which drive contemporary research in foundations of mathematics and which often do not find their way into journal articles. FOM postings must be highly relevant to issues and programs in foundations of mathematics. They should reflect high intellectual and scholarly standards. However, FOM is not a venue for papers that should be submitted to journals, and overly detailed proofs and technical details should be avoided. Of course, pointers to more extensive accounts, published in print or on the Web are welcome. Postings should be thoughtful, well-reasoned, and lively. Although controversy is both expected and desired, personal invective and other irrelevant discussions will not be permitted. Quotation from previous postings should be limited to what is absolutely needed for understanding, and quotations within quotations are particularly to be avoided. All postings are available in full on the archive.

FOM postings must consist of single-spaced, plain text and have an informative subject line in the e-mail header.

Postings to FOM (by subscribers only) should be addressed to fom@lists.ugent.be.
An archive of recent postings since mid-February 2023 is at Current FOM Archives.
An archive of postings prior to mid-February 2023 is at Prior FOM Archives

The FOM Editorial Board currently consists of:
   Stephen Simpson
   Harvey Friedman
   Andreas Blass
   John Baldwin
   Alasdair Urquhart
   Sam Buss

Using FOM

To post a message to all the list members, send email to fom@lists.ugent.be.

Archives of FOM postings are available at Current FOM Archives for postings beginning mid-February 2023. To access archived postings at this URL, first clink the "I am not a spammer" button, then select archived messages by year and month.
FOM postings prior prior to mid-February 2023 are available from the NYU mailman server at https://cs.nyu.edu/pipermail/fom.

See below for directions on how to subscribe or unsubscribe to the list, or change your subscription options.

Accessing the FOM server: The URL for the FOM server is https://lists.ugent.be/wws/info/fom. To login, enter your email address and password. (Select "First time?" for your first login, or "Lost password?" to set a new password.)
You may wish to make the language selection of "English" (or "Español" or "Français" or "Nederlands".)
Subscribing to FOM: Select "Subscribe" in the left-hand column of the FOM web page. Then enter your email address. You will receive an email to that lets you confirm your subscription request. After this confirmation, you are subscribed to the list and no futher action is required.
Unsubscribing from FOM: Select "Unsubscribe" in the left-hand column of the FOM web page, and enter your email address. You will receive an email that lets you confirm your request to unsubscribe.
Changing your subscription options: Select "Subscriber Options" in the left-hand column of the FOM web page and login. This allows you to select either "digest" mode or "standard (direct reception)". Digest mode sends a single email with all the postings of one day. Standard mode sends messages one at time, sent immediately upon acceptance by the moderator. Standard mode also makes it easy to reply to FOM postings by just replying to the message from your email program.
Click the "Update" button to finalise your subscription changes.
Problems with your subscription: Send email to the FOM list owners at fom-request@lists.ugent.be to get personal help with subscriptions.