FOM -- Foundations of Mathematics


About FOM
English (USA)

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 Martin Davis. 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. Generally, detailed proofs and technical
details are not welcome. 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.
Extended quotes from other FOM postings should be avoided.

Postings to FOM (by subscribers only) should be addressed to
The FOM Editorial Board currently consists of:
Stephen Simpson
Harvey Friedman
Martin Davis
Andreas Blass
William Tait
John Baldwin
Alasdair Urquhart

To see the collection of prior postings to the list, visit the FOM Archives.

Using FOM
To post a message to all the list members, send email to

You can subscribe to the list, or change your existing subscription, in the sections below.

Subscribing to FOM

Subscribe to FOM by filling out the following form. You will be sent email requesting confirmation, to prevent others from gratuitously subscribing you. Once confirmation is received, your request will be held for approval by the list moderator. You will be notified of the moderator's decision by email. This is also a private list, which means that the list of members is not available to non-members.

    Your email address:  
    Your name (optional):  
    You may enter a privacy password below. This provides only mild security, but should prevent others from messing with your subscription. Do not use a valuable password as it will occasionally be emailed back to you in cleartext.

    If you choose not to enter a password, one will be automatically generated for you, and it will be sent to you once you've confirmed your subscription. You can always request a mail-back of your password when you edit your personal options.
    Pick a password:  
    Reenter password to confirm:  
    Which language do you prefer to display your messages? English (USA)  
    Would you like to receive list mail batched in a daily digest? No Yes
FOM Subscribers
(The subscribers list is only available to the list members.)

Enter your address and password to visit the subscribers list:

Address: Password:   

To unsubscribe from FOM, get a password reminder, or change your subscription options enter your subscription email address:

If you leave the field blank, you will be prompted for your email address

FOM list run by davism at
FOM administrative interface (requires authorization)
Overview of all mailing lists

Delivered by Mailman
version 2.1.15
Python Powered GNU's Not Unix