science.mathematics.fom (date)

science.mathematics.fom (date)

April 30, 2006

Good gnus for Russell Scholars, Thomas Forster

April 29, 2006

Essays on the foundations of Mathematics and Logic, G. Sica

April 27, 2006

[ESSLLI 2007] Calll for Course and Workshop Proposals, Carlos Areces

April 25, 2006

Query on p-adic numbers, joeshipman-YDxpq3io04c

April 24, 2006

Workshop on termination, Andreas Weiermann
[protege-discussion] FINAL CFP: FOIS 2006 - International Conference on Formal Ontology in Information Systems: May 1 - Abstracts, May 5 - Papers, Obrst, Leo J.
Torkel Franzen, Timothy Y. Chow
[Esslli2006.dist] FW: ESSLLI 2006: Call for participation, Ernesto Pimentel
another reply to martin davis, Gabriel Stolzenberg

April 22, 2006

LPAR 2006 (Phnom Penh, Cambodia), Last CFP, Miki Hermann
Feferman-Schutte: summary, Nik Weaver
what is predicativity?, Harvey Friedman

April 21, 2006

CFP: Uncertainty: Reasoning about probability and vagueness, Prague, Sept 5-8, 2006, Richard Zach
Computability in Europe 2006 - Call for Participation, S B Cooper
Solovay's question about the Skewes bound, Alasdair Urquhart
Re: Primitive recursive reals, Timothy Y. Chow
The "mythological predicativist", Arnon Avron
Re: Primitive recursive reals, Adam Kolany
Re: Primitive recursive reals, Andrej Bauer
Re: Torkel Franzen, Charles Silver
Re: Primitive recursive reals, joeshipman-YDxpq3io04c

April 20, 2006

Re: Primitive recursive reals, Timothy Y. Chow
International Conference on Formal Methods in Computer-Aided Design, Martin Davis
reply to Gabriel's reply, Martin Davis
Torkel Franzen, Martin Davis
a lower bound? (another ps to my reply to Bob Solovay.), Gabriel Stolzenberg
What is Category Theory?, G. Sica
Re: Primitive recursive reals, Harvey Friedman

April 19, 2006

Re: Primitive recursive reals, hendrik-e9JHxFxFq/nmOAo1QFYKGQ
Re: Roth's Theorem; Liouville numbers, Timothy Y. Chow
Primitive recursive reals, Harvey Friedman
reply to martin davis, Gabriel Stolzenberg
EUROPEAN MASTERS PROGRAM IN COMPUTATIONAL LOGIC, Martin Davis
a postscript to my reply to bob solovay, Gabriel Stolzenberg

April 18, 2006

Re: interesting real number, weiermann-ivFytHEg0Jfz+pZb47iToQ
Re: Roth's Theorem; Liouville numbers, Stephen G Simpson
Re: afterthoughts re my reply to Tim Chow's "Re: Harvey's> effective number theorists.", Timothy Y. Chow
Gabriel's ruminations, Martin Davis
Re: Roth's Theorem; Liouville numbers, Jacques Carette
Re: Roth's Theorem; Liouville numbers, Timothy Y. Chow
Re: interesting real number, A. Mani
reply to bob solovay, Gabriel Stolzenberg

April 17, 2006

Re: Goodstein's Theorem and Pi^1_1 comprehension, ali enayat
afterthoughts re my reply to Tim Chow's "Re: Harvey's effective number theorists.", Gabriel Stolzenberg
Re: Goodstein's Theorem and Pi^1_1 comprehension, Dmytro Taranovsky
Roth's Theorem; Liouville numbers, Stephen G Simpson
Re: Goodstein's Theorem and Pi^1_1 comprehension, William Tait
Re: Re Timothy Chow's "Re: Harvey's effective number theorists", Robert M. Solovay
Re: Feferman-Schutte: response to Tait, Nik Weaver
Re: Feferman-Schutte: response to Koskensilta, Nik Weaver
Feferman-Schutte: response to Taotao, Nik Weaver
Intrinsic interest of bounds unfazed, Harvey Friedman
Re Timothy Chow's "Re: Harvey's effective number theorists", Gabriel Stolzenberg

April 16, 2006

Re Harvey's "Intrinsic interest of effective bounds.", Gabriel Stolzenberg
Re: Goodstein's Theorem and Pi^1_1 comprehension, Aatu Koskensilta
Re: der Morgenstern ist die Venus, Robert Black
Re: Goodstein's Theorem and Pi^1_1 comprehension, William Tait
part III of my comments on Harvey's comments on "Harvey's effective number theorists.", Gabriel Stolzenberg
Re: der Morgenstern ist die Venus, Schneelocke
The n-body problem, Alasdair Urquhart
der Morgenstern ist die Venus, Dean Buckner
Re: re harvey re my "effective number theorists" (II), Harvey Friedman
re harvey re my "effective number theorists" (II), Gabriel Stolzenberg
FW: DRAFT: FOM EXISTENTIAL IMPORT THEOREMS, John Corcoran
on Martin Davis's "bounds and Hilbert's 10th Problem", Gabriel Stolzenberg

April 15, 2006

Goodstein's Theorem and Pi^1_1 comprehension, Peter Smith
interesting real number, Martin Davis
bounds and Hilbert's 10th Problem, Martin Davis
on Harvey Friedman's Re "Harvey's re effective number theorists", Gabriel Stolzenberg
Intrinsic Interest of Effective Bounds, Harvey Friedman
Re: "Refutation" of the Feferman-Schutte analysis of predicativism, Aatu Koskensilta
Feferman/Schutte unfazed, Harvey Friedman
Re: a real number for the Ackermann function, Ron Graham
Re: a real number for the Ackermann function, Robert M. Solovay
"Refutation" of the Feferman-Schutte analysis of predicativism, Nik Weaver
Re: Nik Weaver's conceptualism and the correctness of the Schu"tte-Feferman analysis, William Tait
CFP: 2nd International Congress on Tools for Teaching Logic, Carlos Areces
CSL'06: September 25 -- 29, 2006, Szeged, Hungary, Martin Davis
INTERNATIONAL CONFERENCE ON LOGIC, NAVYA NYAYA AND APPLICATIONS, Martin Davis
re "Number theorist's interest in bounds (10 Apr)", Gabriel Stolzenberg
Predicative "reasonability" question, Charles Silver
Re: Harvey's effective number theorists, Timothy Y. Chow
a real number for the Ackermann function, Andreas Weiermann
Deep Thought on number theory, Gabriel Stolzenberg
CFP: International Workshop on Hybrid Logic 2006, Carlos Areces
Logic Colloquium 2006: 2nd Call for Participation/Call for Contributed Talks, Herman Geuvers
Roth's Theorem., Bill Taylor

April 13, 2006

Re: Harvey's effective number theorists, Harvey Friedman
*ACL2 2006 Deadline Extended*, Martin Davis
Weaver's error?, Harvey Friedman
Harvey's effective number theorists, Gabriel Stolzenberg

April 12, 2006

From the moderator: FOM lacuna, Martin Davis
回复:Nik Weaver's conceptualism and the correctness of the Schu"tte-Feferman analysis, 邢滔滔
Re: Martin-Lof predicativity, William Tait
Friedman's confusion?, Nik Weaver

April 11, 2006

FOM EXISTENTIAL IMPORT, John Corcoran
Re: Recursive but not p.r. computable functions -- the simplest "natural" examples???, Andreas Weiermann
Re: Martin-Lof predicativity, Jesper Carlström
On the Scope of Predicative Reasoning, Dmytro Taranovsky
Re: Martin-Lof predicativity, William Tait

April 10, 2006

Weaver's error?, Harvey Friedman
Re: Harvey Friedman's, "Number theorist's interest in bounds" (8 Apr), Timothy Y. Chow
Re: Martin-Lof predicativity, Steve Stevenson
Number theorist's interest in bounds, Harvey Friedman
Re Timothy Chow's Re on harvey friedman's number theorists (8 Apr) Part Two, Gabriel Stolzenberg
Re Harvey Friedman's, "Number theorist's interest in bounds" (8 Apr), Gabriel Stolzenberg
Re Timothy Chow's Re on harvey friedman's number theorists (8 Apr), Gabriel Stolzenberg
Re: Nature of semantics of formal lenguages, Steven Ericsson Zenith
on harvey friedman's message, "Re on harvey friedman's 'number theorists'" of April 7., Gabriel Stolzenberg
FOM Counterexample Theorems., John Corcoran
Nik Weaver's conceptualism and the correctness of the Schu"tte-Feferman analysis, Nik Weaver
Martin-Lof predicativity, Harvey Friedman

April 09, 2006

infinitary logic and `core mathematics', John Baldwin
Re: Impredicativity of Kruskal's Theorem, Jesper Carlström
Nik Weaver's conceptualism and the correctness of the Schu"tte-Feferman analysis, Nik Weaver
Number theorist's interest in bounds, Harvey Friedman
Number theorist's interest in bounds, Harvey Friedman

April 08, 2006

Nature of semantics of formal lenguages, barov-3ZgaBc53ezU
Re: on harvey friedman's "number theorists" (4 Apr)., Timothy Y. Chow
re Timothy Chow's Re: contra harvey on what number theorists want (4 Apr), Gabriel Stolzenberg
279:Subcubic Graph Numbers/restated, Harvey Friedman
Re: Impredicativity of Kruskal's Theorem, Harvey Friedman
278:Ultra/Strict/Predicativity/Higman, Harvey Friedman
Re: Impredicativity of Kruskal's Theorem, Harvey Friedman
Re: on harvey friedman's "number theorists" (4 Apr)., Harvey Friedman
Re: Impredicativity of Kruskal's Theorem, Todd Wilson

April 07, 2006

Impredicativity of Kruskal's Theorem, Nik Weaver
on harvey friedman's "number theorists" (4 Apr)., Gabriel Stolzenberg
Final Call for Papers: JELIA'06, Michael Fisher
Re: Godel in AMS notices, Timothy Y. Chow
Re: Impredicativity needed?, Harvey Friedman

April 06, 2006

Re: FOM future, Martin Davis
Re: Clarity in fom and problem solving, Mark van Atten
Impredicativity needed?, Bill Taylor
Godel in AMS notices, John Baldwin
Re: Clarity in fom and problem solving, Vladimir Sazonov
Re: Clarity in fom and problem solving, Timothy Y. Chow
Re Re: Re Harvey Friedman's "Sigma01/optimal" 24 Mar (I), Gabriel Stolzenberg
Nik Weaver's conceptualism and the correctness of the Schu"tte-Feferman analysis, Nik Weaver
277:Strict Predicativity, Harvey Friedman
Re: Impredicativity of Kruskal's Theorem, hendrik-e9JHxFxFq/nmOAo1QFYKGQ

April 05, 2006

Re: Clarity in fom and problem solving, Harvey Friedman
Impredicativity of Kruskal's Theorem, Nik Weaver
Impredicativity of Kruskal's Theorem, Harvey Friedman

April 04, 2006

Re: FOM future, Martin Davis
276:Higman/Kruskal/impredicativity, Harvey Friedman
Nik Weaver's conceptualism and the correctness of the Schütte-Feferman analysis, Aatu Koskensilta
Re Re on Bas Spitters on "constructive impredicativity?" 31 Mar, Gabriel Stolzenberg
Re: contra harvey on what number theorists want, Timothy Y. Chow
Fraenkel-Mostowski-Specker method and category theory, Andreas Blass
FOM Consequent Equivalence Theorems., John Corcoran
Re: on andrej bauer on gs on |x| (II), Eray Ozkural
number theorists, Harvey Friedman
Re: Fraenkel-Mostowski-Specker method and category theory, solovay-ffIAWvALzlkb0cFwG/AQJIdd74u8MsAO
Impredicativity of Kruskal's Theorem, Nik Weaver
Re: Another constructivist query., Vladimir Sazonov
Re: Fraenkel-Mostowski-Specker method and category theory, V. Yu. Shavrukov

April 03, 2006

FOM future, Harvey Friedman
correction to "contra harvey on what number theorists want", Gabriel Stolzenberg
Re: Another constructivist query., S. Spijkerman / F. Waaldijk
re Re: on andrej bauer on gs on |x| (II), Gabriel Stolzenberg
Fraenkel-Mostowski-Specker method and category theory, solovay-ffIAWvALzlkb0cFwG/AQJIdd74u8MsAO
Re: Impredicativity of Kruskal's Theorem, hendrik-e9JHxFxFq/nmOAo1QFYKGQ
Re: on andrej bauer on gs on |x| (II), Andrej Bauer
Godel's Second, Harvey Friedman
Clarity in fom and problem solving, Zachary J. Purvis
contra harvey on what number theorists want, Gabriel Stolzenberg
2nd Call for Papers:International Conference on Formal Ontology in Information Systems, Martin Davis
Impredicativity of Kruskal's Theorem, Harvey Friedman
Another constructivist query., Bill Taylor
on andrej bauer on gs on |x| (I), Gabriel Stolzenberg
on andrej bauer on gs on |x| (II), Gabriel Stolzenberg
Predicativity, constructivity, Kruskal, Bas Spitters
Study of Mathematical Practice, Harvey Friedman

April 02, 2006

275:Kruskal Theorem/Impredicativity, Harvey Friedman
re About Harvey Friedman's "Classical/Constructive Arithmetic", Gabriel Stolzenberg
on Bas Spitters on "constructive impredicativity?", Nik Weaver
274:Subcubic Graph Numbers, Harvey Friedman
on Bas Spitters on "constructive impredicativity?", Nik Weaver

News | FAQ | advertise