 |
|
|
|
 |
egories |
 |
|
New Addition |
|
|
|
 |
Details: |
 |
|
A closed, moderated, e-mail list for discussing Foundations of Mathematics moderated by Martin Davis. Archive available.
Sponsored Links:
|
| URL: |
http://www.cs.nyu.edu/mailman/listinfo/fom/
|
| Title: |
FOM Info Page |
| Description: |
Science, Math, Logic and Foundations, Foundations - FOM. A closed, moderated, e-mail list for discussing Foundations of Mathematics moderated by Martin Davis. |
| Specialized in: |
|
|
|
|
|
Mizar Project (Popularity:  ): An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by ...
Practical Foundations of Mathematics (Popularity: ): Online text of the book by Paul Taylor, together with supporting materials. The text aims to provide a conceptual and ...
A Century of Controversy over the Foundations of Mathematics (Popularity: ): Edited transcript of a lecture by Gregory Chaitin, author of `The Unknowable'.
Arché (Popularity: ): The Arche project looks at the foundations of mathematics, especially at Frege's Theorem and its ramifications. Based at the University ...
Foundations of Mathematics (Popularity: ): This is a site for studying foundations of mathematics, or it can be used as a reference material. The site ...
|
|
Popular Sites |
|
Foundations of Mathematics (Popularity: ): This is a site for studying foundations of mathematics, or it can be used as a reference material. The site ...
Mizar Project (Popularity: ): An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by ...
Practical Foundations of Mathematics (Popularity: ): Online text of the book by Paul Taylor, together with supporting materials. The text aims to provide a conceptual and ...
FOM (Popularity: ): A closed, moderated, e-mail list for discussing Foundations of Mathematics moderated by Martin Davis. Archive available.
Arché (Popularity: ): The Arche project looks at the foundations of mathematics, especially at Frege's Theorem and its ramifications. Based at the University ...
|
|
Related Press |
|
Our Stock Picks for today (www.hypergrowthstock.com) 25th Nov. 2009 (Popularity: ): CLF, BDGH, KNDR, AWSL, VGPR Current HOT Watch List
MIAMI, Nov. 25th 2009 (M2 PRESSWIRE via COMTEX) – HyperGrowthStocks.com is pleased ...
Infant Entrapment and Suffocation Prompts Stork Craft to Recall More Than 2.1 Million Drop-Side Cribs (Popularity: ): The U.S. Consumer Product Safety Commission (CPSC), in cooperation with Stork Craft Manufacturing Inc., of British Columbia, Canada, today announced ...
CUNA/CFA 10th Annual Survey of Consumer Holiday Spending Attitudes, Plus Spending Tips (Popularity: ): Consumers plan to spend more during the holidays this year than during the depths of the recession a year ago, ...
Cybex Exim Solution Pvt Ltd Has Launched Online Export Import Data Portal (Popularity: ): In addition to their offline export import data services, Cybex Exim Solution Pvt Ltd has launched their Online Export Import ...
Postal Service Ends 2009 With $3.8 Billion Loss (Popularity: ): The U.S. Postal Service (USPS) today filed its 2009 fiscal year-end financial results, showing a net loss of $3.8 billion ...
|
|
Related Articles |
|
|
|
 |
|
 |
| |
| | |
|
|
|
© 2003-2008, ABC-Directory.Com. All Rights Reserved
|
|
|
 |
|
 |
|
