April 2006 Archives by date

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...

Starting: Sat Apr 1 11:23:41 EDT 2006
Ending: Sun Apr 30 06:51:46 EDT 2006
Messages: 178

• [FOM] 274:Subcubic Graph Numbers   Harvey Friedman
• [FOM] on Bas Spitters on "constructive impredicativity?"   Nik Weaver
• [FOM] re About Harvey Friedman's "Classical/Constructive Arithmetic"   Gabriel Stolzenberg
• [FOM] 275:Kruskal Theorem/Impredicativity   Harvey Friedman
• [FOM] Impredicativity of Kruskal's Theorem   Harvey Friedman
• [FOM] Study of Mathematical Practice   Harvey Friedman
• [FOM] Predicativity, constructivity, Kruskal   Bas Spitters
• [FOM] on andrej bauer on gs on |x| (II)   Gabriel Stolzenberg
• [FOM] on andrej bauer on gs on |x| (I)   Gabriel Stolzenberg
• [FOM] Another constructivist query.   Bill Taylor
• [FOM] 2nd Call for Papers:International Conference on Formal Ontology in Information Systems   Martin Davis
• [FOM] contra harvey on what number theorists want   Gabriel Stolzenberg
• [FOM] Clarity in fom and problem solving   Zachary J. Purvis
• [FOM] Godel's Second   Harvey Friedman
• [FOM] on andrej bauer on gs on |x| (II)   Andrej Bauer
• [FOM] Impredicativity of Kruskal's Theorem   hendrik at topoi.pooq.com
• [FOM] Fraenkel-Mostowski-Specker method and category theory   solovay at Math.Berkeley.EDU
• [FOM] re Re: on andrej bauer on gs on |x| (II)   Gabriel Stolzenberg
• [FOM] Another constructivist query.   S. Spijkerman / F. Waaldijk
• [FOM] correction to "contra harvey on what number theorists want"   Gabriel Stolzenberg
• [FOM] FOM future   Harvey Friedman
• [FOM] Fraenkel-Mostowski-Specker method and category theory   V. Yu. Shavrukov
• [FOM] Another constructivist query.   Vladimir Sazonov
• [FOM] Impredicativity of Kruskal's Theorem   Nik Weaver
• [FOM] Fraenkel-Mostowski-Specker method and category theory   solovay at Math.Berkeley.EDU
• [FOM] number theorists   Harvey Friedman
• [FOM] 276:Higman/Kruskal/impredicativity   Harvey Friedman
• [FOM] on andrej bauer on gs on |x| (II)   Eray Ozkural
• [FOM] FOM Consequent Equivalence Theorems.   John Corcoran
• [FOM] Nik Weaver's conceptualism and the correctness of the Schütte-Feferman analysis   Aatu Koskensilta
• [FOM] Fraenkel-Mostowski-Specker method and category theory   Andreas Blass
• [FOM] contra harvey on what number theorists want   Timothy Y. Chow
• [FOM] Re Re on Bas Spitters on "constructive impredicativity?" 31 Mar   Gabriel Stolzenberg
• [FOM] FOM future   Martin Davis
• [FOM] Impredicativity of Kruskal's Theorem   Harvey Friedman
• [FOM] Impredicativity of Kruskal's Theorem   Nik Weaver
• [FOM] Clarity in fom and problem solving   Harvey Friedman
• [FOM] Impredicativity of Kruskal's Theorem   hendrik at topoi.pooq.com
• [FOM] 277:Strict Predicativity   Harvey Friedman
• [FOM] Nik Weaver's conceptualism and the correctness of the Schu"tte-Feferman analysis   Nik Weaver
• [FOM] Re Re: Re Harvey Friedman's "Sigma01/optimal" 24 Mar (I)   Gabriel Stolzenberg
• [FOM] Clarity in fom and problem solving   Timothy Y. Chow
• [FOM] Clarity in fom and problem solving   Vladimir Sazonov
• [FOM] Impredicativity needed?   Bill Taylor
• [FOM] Clarity in fom and problem solving   Mark van Atten
• [FOM] Godel in AMS notices   John Baldwin
• [FOM] FOM future   Martin Davis
• [FOM] Impredicativity needed?   Harvey Friedman
• [FOM] Godel in AMS notices   Timothy Y. Chow
• [FOM] Final Call for Papers: JELIA'06   Michael Fisher
• [FOM] on harvey friedman's "number theorists" (4 Apr).   Gabriel Stolzenberg
• [FOM] Impredicativity of Kruskal's Theorem   Nik Weaver
• [FOM] Impredicativity of Kruskal's Theorem   Todd Wilson
• [FOM] on harvey friedman's "number theorists" (4 Apr).   Harvey Friedman
• [FOM] Impredicativity of Kruskal's Theorem   Harvey Friedman
• [FOM] 278:Ultra/Strict/Predicativity/Higman   Harvey Friedman
• [FOM] Impredicativity of Kruskal's Theorem   Harvey Friedman
• [FOM] 279:Subcubic Graph Numbers/restated   Harvey Friedman
• [FOM] re Timothy Chow's Re: contra harvey on what number theorists want (4 Apr)   Gabriel Stolzenberg
• [FOM] on harvey friedman's "number theorists" (4 Apr).   Timothy Y. Chow
• [FOM] Nature of semantics of formal lenguages   barov at mccme.ru
• [FOM] Number theorist's interest in bounds   Harvey Friedman
• [FOM] Number theorist's interest in bounds   Harvey Friedman
• [FOM] Nik Weaver's conceptualism and the correctness of the Schu"tte-Feferman analysis   Nik Weaver
• [FOM] Impredicativity of Kruskal's Theorem   Jesper Carlström
• [FOM] Martin-Lof predicativity   Harvey Friedman
• [FOM] Nik Weaver's conceptualism and the correctness of the Schu"tte-Feferman analysis   Nik Weaver
• [FOM] on harvey friedman's message, "Re on harvey friedman's 'number theorists'" of April 7.   Gabriel Stolzenberg
• [FOM] FOM Counterexample Theorems.   John Corcoran
• [FOM] Re Timothy Chow's Re on harvey friedman's number theorists (8 Apr)   Gabriel Stolzenberg
• [FOM] infinitary logic and `core mathematics'   John Baldwin
• [FOM] Nature of semantics of formal lenguages   Steven Ericsson Zenith
• [FOM] Re Harvey Friedman's, "Number theorist's interest in bounds" (8 Apr)   Gabriel Stolzenberg
• [FOM] Re Timothy Chow's Re on harvey friedman's number theorists (8 Apr) Part Two   Gabriel Stolzenberg
• [FOM] Number theorist's interest in bounds   Harvey Friedman
• [FOM] Martin-Lof predicativity   Steve Stevenson
• [FOM] Harvey Friedman's, "Number theorist's interest in bounds" (8 Apr)   Timothy Y. Chow
• [FOM] Weaver's error?   Harvey Friedman
• [FOM] Martin-Lof predicativity   William Tait
• [FOM] On the Scope of Predicative Reasoning   Dmytro Taranovsky
• [FOM] Martin-Lof predicativity   Jesper Carlström
• [FOM] Recursive but not p.r. computable functions -- the simplest "natural" examples???   Andreas Weiermann
• [FOM] FOM EXISTENTIAL IMPORT   John Corcoran
• [FOM] Friedman's confusion?   Nik Weaver
• [FOM] Martin-Lof predicativity   William Tait
• 回复 :[FOM] Nik Weaver's conceptualism and the correctness of the Schu"tte-Feferman analysis   邢滔滔
• [FOM] From the moderator: FOM lacuna   Martin Davis
• [FOM] Harvey's effective number theorists   Gabriel Stolzenberg
• [FOM] Weaver's error?   Harvey Friedman
• [FOM] *ACL2 2006 Deadline Extended*   Martin Davis
• [FOM] Harvey's effective number theorists   Harvey Friedman
• [FOM] Roth's Theorem.   Bill Taylor
• [FOM] Logic Colloquium 2006: 2nd Call for Participation/Call for Contributed Talks   Herman Geuvers
• [FOM] CFP: 2nd International Congress on Tools for Teaching Logic   Carlos Areces
• [FOM] CFP: International Workshop on Hybrid Logic 2006   Carlos Areces
• [FOM] Deep Thought on number theory   Gabriel Stolzenberg
• [FOM] a real number for the Ackermann function   Andreas Weiermann
• [FOM] Nik Weaver's conceptualism and the correctness of the Schu"tte-Feferman analysis   William Tait
• [FOM] Harvey's effective number theorists   Timothy Y. Chow
• [FOM] Predicative "reasonability" question   Charles Silver
• [FOM] re "Number theorist's interest in bounds (10 Apr)"   Gabriel Stolzenberg
• [FOM] "Refutation" of the Feferman-Schutte analysis of predicativism   Nik Weaver
• [FOM] INTERNATIONAL CONFERENCE ON LOGIC, NAVYA NYAYA AND APPLICATIONS   Martin Davis
• [FOM] CSL'06: September 25 -- 29, 2006, Szeged, Hungary   Martin Davis
• [FOM] a real number for the Ackermann function   Robert M. Solovay
• [FOM] a real number for the Ackermann function   Ron Graham
• [FOM] Intrinsic Interest of Effective Bounds   Harvey Friedman
• [FOM] Feferman/Schutte unfazed   Harvey Friedman
• [FOM] "Refutation" of the Feferman-Schutte analysis of predicativism   Aatu Koskensilta
• [FOM] on Harvey Friedman's Re "Harvey's re effective number theorists"   Gabriel Stolzenberg
• [FOM] bounds and Hilbert's 10th Problem   Martin Davis
• [FOM] interesting real number   Martin Davis
• [FOM] Goodstein's Theorem and Pi^1_1 comprehension   Peter Smith
• [FOM] on Martin Davis's "bounds and Hilbert's 10th Problem"   Gabriel Stolzenberg
• [FOM] FW: DRAFT: FOM EXISTENTIAL IMPORT THEOREMS   John Corcoran
• [FOM] re harvey re my "effective number theorists" (II)   Gabriel Stolzenberg
• [FOM] re harvey re my "effective number theorists" (II)   Harvey Friedman
• [FOM] der Morgenstern ist die Venus   Dean Buckner
• [FOM] The n-body problem   Alasdair Urquhart
• [FOM] der Morgenstern ist die Venus   Schneelocke
• [FOM] part III of my comments on Harvey's comments on "Harvey's effective number theorists."   Gabriel Stolzenberg
• [FOM] Goodstein's Theorem and Pi^1_1 comprehension   William Tait
• [FOM] der Morgenstern ist die Venus   Robert Black
• [FOM] Goodstein's Theorem and Pi^1_1 comprehension   Aatu Koskensilta
• [FOM] Re Harvey's "Intrinsic interest of effective bounds."   Gabriel Stolzenberg
• [FOM] Re Timothy Chow's "Re: Harvey's effective number theorists"   Gabriel Stolzenberg
• [FOM] Intrinsic interest of bounds unfazed   Harvey Friedman
• [FOM] Feferman-Schutte: response to Taotao   Nik Weaver
• [FOM] Feferman-Schutte: response to Koskensilta   Nik Weaver
• [FOM] Feferman-Schutte: response to Tait   Nik Weaver
• [FOM] Re Timothy Chow's "Re: Harvey's effective number theorists"   Robert M. Solovay
• [FOM] Goodstein's Theorem and Pi^1_1 comprehension   William Tait
• [FOM] Roth's Theorem; Liouville numbers   Stephen G Simpson
• [FOM] Re: Goodstein's Theorem and Pi^1_1 comprehension   Dmytro Taranovsky
• [FOM] afterthoughts re my reply to Tim Chow's "Re: Harvey's effective number theorists."   Gabriel Stolzenberg
• [FOM] Goodstein's Theorem and Pi^1_1 comprehension   ali enayat
• [FOM] interesting real number   A. Mani
• [FOM] reply to bob solovay   Gabriel Stolzenberg
• [FOM] afterthoughts re my reply to Tim Chow's "Re: Harvey's> effective number theorists."   Timothy Y. Chow
• [FOM] Roth's Theorem; Liouville numbers   Timothy Y. Chow
• [FOM] Roth's Theorem; Liouville numbers   Jacques Carette
• [FOM] Gabriel's ruminations   Martin Davis
• [FOM] Roth's Theorem; Liouville numbers   Stephen G Simpson
• [FOM] interesting real number   weiermann at math.uu.nl
• [FOM] a postscript to my reply to bob solovay   Gabriel Stolzenberg
• [FOM] EUROPEAN MASTERS PROGRAM IN COMPUTATIONAL LOGIC   Martin Davis
• [FOM] reply to martin davis   Gabriel Stolzenberg
• [FOM] Primitive recursive reals   Harvey Friedman
• [FOM] Roth's Theorem; Liouville numbers   Timothy Y. Chow
• [FOM] Primitive recursive reals   hendrik at topoi.pooq.com
• [FOM] Primitive recursive reals   Harvey Friedman
• [FOM] What is Category Theory?   G. Sica
• [FOM] a lower bound? (another ps to my reply to Bob Solovay.)   Gabriel Stolzenberg
• [FOM] Torkel Franzen   Martin Davis
• [FOM] reply to Gabriel's reply   Martin Davis
• [FOM] International Conference on Formal Methods in Computer-Aided Design   Martin Davis
• [FOM] Primitive recursive reals   Timothy Y. Chow
• [FOM] Primitive recursive reals   joeshipman at aol.com
• [FOM] Torkel Franzen   Charles Silver
• [FOM] Primitive recursive reals   Andrej Bauer
• [FOM] Primitive recursive reals   Adam Kolany
• [FOM] The "mythological predicativist"   Arnon Avron
• [FOM] Computability in Europe 2006 - Call for Participation   S B Cooper
• [FOM] Primitive recursive reals   Timothy Y. Chow
• [FOM] Solovay's question about the Skewes bound   Alasdair Urquhart
• [FOM] CFP: Uncertainty: Reasoning about probability and vagueness, Prague, Sept 5-8, 2006   Richard Zach
• [FOM] what is predicativity?   Harvey Friedman
• [FOM] Feferman-Schutte: summary   Nik Weaver
• [FOM] LPAR 2006 (Phnom Penh, Cambodia), Last CFP   Miki Hermann
• [FOM] [protege-discussion] FINAL CFP: FOIS 2006 - International Conference on Formal Ontology in Information Systems: May 1 - Abstracts, May 5 - Papers   Obrst, Leo J.
• [FOM] another reply to martin davis   Gabriel Stolzenberg
• [FOM] [Esslli2006.dist] FW: ESSLLI 2006: Call for participation   Ernesto Pimentel
• [FOM] Torkel Franzen   Timothy Y. Chow
• [FOM] Workshop on termination   Andreas Weiermann
• [FOM] Query on p-adic numbers   joeshipman at aol.com
• [FOM] [ESSLLI 2007] Calll for Course and Workshop Proposals   Carlos Areces
• [FOM] Essays on the foundations of Mathematics and Logic   G. Sica
• [FOM] Good gnus for Russell Scholars   Thomas Forster

Last message date: Sun Apr 30 06:51:46 EDT 2006
Archived on: Sun Apr 30 14:51:49 EDT 2006

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...