FMPC - Foundational Issues in Mathematics, Philosophy and Computer Science Archives

Harvey M. Friedman, Founder
Victor Marek, Manager

FMPC Information Page - Rules and Procedures

FMPC Membership List

FMPC Main Page

The postings are indexed by the title, author, date, and the internal identifier. Internally, the messages are stored by reference to the identifier. You can use this identifier or the url or both in your responses.

Here is the current list of archived postings. Those preserve their original posting metadata, except that they are now stored in the archive.

  1. What is Philosophy? H. Friedman, May 23, 2006, Posting 0605001
  2. Historical Studies, H. Friedman, May 24, 2006, Posting 0605002
  3. AI Barrier, H. Friedman, May 24, 2006, Posting 0605003
  4. Foundational Organization of Mathematics, H. Friedman, May 26, 2006, Posting 0605004
  5. Wittgenstein, incompleteness, rules, H. Friedman, May 26, 2006, Posting 0605005
  6. Progress in AI, V. Marek, May 27, 2006, Posting 0605006
  7. Question about the posting by V. Marek 0605006, S. Shapiro, May 29, 2006, Posting 0605007
  8. AI Barrier, J. McCarthy, May 29, 2006, Posting 0605008
  9. Some remarks on chess computers against human players, A. Weiermann, May 30, 2006, Posting 0605009
  10. Concerning Chess Computers, H. Friedman, May 31, 2006, Posting 0605010
  11. Correspondence chess limits, A. Weiermann, May 31, 2006, Posting 0605011
  12. Future directions in proof theory, A. Weiermann, May 31, 2006, Posting 0605012
  13. Chess and just war theory, H. Friedman, June 9, 2006, Posting 0606001
  14. Independently Free Minds/Collectively Random Agents, H. Friedman, June 12, 2006, Posting 0606002
  15. Independently Free Minds/Collectively Random Agents, part II, H. Friedman, June 13, 2006, Posting 0606003
  16. Concept Calculus 1, H. Friedman, June 17, 2006, Posting 0606004
  17. Concept Calculus 2, H. Friedman, June 20, 2006, Posting 0606005
  18. Simulation vs. emulation, and computational logic, N. Tennant, June 23, 2006, Posting 0606006
  19. Concept Calculus 3, H. Friedman, June 25, 2006, Posting 0606007
  20. Traditional "foundational" concerns, M. van Atten, June 28, 2006, Posting 0606008
  21. Concept Calculus 4, H. Friedman, July 3, 2006, Posting 0607001
  22. Axiomatic theories of truth, L. Horsten, July 10, 2006, Posting 0607002
  23. Remark on Paradoxes, H. Friedman, July 13, 2006, Posting 0607003
  24. Concept Calculus 5, H. Friedman, July 15, 2006, Posting 0607004
  25. Concept Calculus Reference, H. Friedman, July 28, 2006, Posting 0607005
  26. Three major programs, H. Friedman, September 26, 2006, Posting 0609001
  27. An abstract on Concept Calculus by H. Friedman, September 29, 2006, posting 0609002
  28. Prospects for Progress, H. Friedman, October 2, 2006, posting 0610001
  29. Reflections on FLoC, V.W. Marek, October 17, 2006, posting 0610002
  30. Inference/Logic/Inconsistent/Concept Calculus, H. Friedman, October 24, 2006, posting 0610003
  31. PA Completeness, H. Friedman, October 29, 2006, posting 0610004
  32. PA Completeness 2, H. Friedman, November 1, 2006, posting 0611001
  33. More on PA Completeness, H. Friedman, November 4, 2006, posting 0611002

Started: May 23, 2006
Last modified: March 8, 2007