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