science.mathematics.fom (date)

January 31, 2006

summer school for undergraduates, Jeremy Avigad
Re: Least class that ..., Giuseppina RONZITTI
Re: FOM Digest, Vol 37, Issue 32, question on axiom of choice in categories., John Bell
Workshop on Rationality and Knowledge in Malaga, August 7-11, 2006, Sergei Artemov
Least class that ..., José Félix Costa
Re: Axiom of Choice in Category Theory, Andreas Blass
Re: Least class that ..., Harvey Friedman
Re: Dual of a category, Laurent Delattre
Axiom of Choice in Category Theory, Laurent Delattre
Least class that ..., Richard Haney
Re: Dual of a category, Florian Lengyel
Call for Participation: Young Scholars' Competition, goedel2006-DX+603jRYB8
Re: intuitionistic logic and symmetry, David J. Pym
introduction to Harvey Friedman's work on digraphs and similar results, Robert Smith

January 30, 2006

Re: dual of a category, Vladimir Komendantsky
Re: intuitionistic logic and symmetry, Vladimir Komendantsky
Re: intuitionistic logic and symmetry, Kreinovich, Vladik

January 29, 2006

polemic, Arnon Avron
dual of a category, Laurent Delattre
intuitionists on source of mathematics, Mark van Atten
intuitionistic logic and symmetry, Laurent Delattre

January 28, 2006

265:Pi01/digraphs 2/more, Harvey Friedman
Re: The irrelevance of Friedman's polemics and results, Timothy Y. Chow
Re: Naturalness, Timothy Y. Chow
FOM] Naturalness, weiermann-ivFytHEg0Jfz+pZb47iToQ
Re: The irrelevance of Friedman's polemics and results, Lew Gordeew
Daniel Osherman, Martin Davis
analysis with hyperreals vs. surreals?, Ben Crowell
FOM - reply to Haney and others, Ehlert-Abler
Re: Naturalness, Harvey Friedman

January 27, 2006

264:Pi01/digraphs 2, Harvey Friedman
Re: Naturalness, Eray Ozkural
Re: Role of Polemics, Patrick Caldon
Naturalness, Harvey Friedman
Re: The irrelevance of Friedman's polemics and results, Harvey Friedman
Re: The irrelevance of Friedman's polemics and results, joeshipman-YDxpq3io04c
Re: The irrelevance of Friedman's polemics and results, H Z
Re: The irrelevance of Friedman's polemics and results, Neil Tennant
Re: The irrelevance of Friedman's polemics and results, Eray Ozkural
Re: formalized metalanguage, Richard Heck
Re: formalized metalanguage, Jesse Alama

January 26, 2006

The irrelevance of Friedman's polemics and results, aa-+lLcF8/aw9x6auLlOhE+pQ
Role of Polemics, José Félix Costa
Re: The observational standpoint for numbers, Eray Ozkural
formalized metalanguage, Chris Gray
Utilitarian critiques/analyses/surveys of mathematical methodology, Richard Haney

January 25, 2006

The observational standpoint for numbers, Giovanni Lagnese
Re: analysis with hyperreals vs. surreals?, Steven Obua
Polynomials/correction, Harvey Friedman
Re: FOM Digest, Vol 37, Issue 24. Lagnese's question, John Bell

January 24, 2006

CFP:Fourth Workshop on Learning with Logics and Logics for Learning, akama-BIfocZ5GMCFgFH3rbKz/LXgSJqDPrsil
Role of Polemics/Clarification, Harvey Friedman
analysis with hyperreals vs. surreals?, Ben Crowell
Is there..., Giovanni Lagnese

January 23, 2006

Re: Role of Polemics, Harvey Friedman
Re: Role of Polemics, Lew Gordeew

January 22, 2006

Re: Role of Polemics, Neil Tennant

January 21, 2006

Role of Polemics, Harvey Friedman

January 20, 2006

message from the moderator, Martin Davis
European Master's Program in Computational Logic, Int. Center for Computational Logic
Could spacetime be discrete?, José Félix Costa
R: Could spacetime be discrete?, Antonino Drago

January 19, 2006

Re: Predicativism and natural numbers, Giovanni Lagnese
Re: Could spacetime be discrete?, jean paul van bendegem
Predicativism and natural numbers, Nik Weaver

January 18, 2006

Could spacetime be discrete?, José Félix Costa
Formal logic, constructivism, & intuitionism ..., José Félix Costa
Formal logic, constructivism, & intuitionism: concerning the quest to find the fundamental origins of our beliefs that formal logic is a useful methodology, Richard Haney

January 17, 2006

Re: Predicativism and natural numbers, Giovanni Lagnese
Re: Could spacetime be discrete?, Mark Steiner
Re: Could spacetime be discrete?, Giuseppe . Longo-rMg7eGrThuo

January 16, 2006

Re: Could spacetime be discrete?, Olivier Souan
Re: Could spacetime be discrete?, Alasdair Urquhart
Re: Could spacetime be discrete?, Steven Ericsson Zenith
Predicativism and natural numbers, Nik Weaver
Re: Could spacetime be discrete?, Apostolos Syropoulos
links between nonstandard analysis and formal logic and set theory, Stephen G Simpson
Re: links between nonstandard analysis and formal logic, and set theory, Jeremy Avigad
The theory of fields; professional puzzlement, joeshipman-YDxpq3io04c
Re: Could spacetime be discrete?, Eray Ozkural
Re: Resources on the empirical foundations of mathematics, Richard Haney
Re: Could spacetime be discrete?, John McCarthy
Re: Predicativism and natural numbers, Arnon Avron
Re: Could spacetime be discrete?, Alexander Zenkin

January 15, 2006

Re: links between nonstandard analysis and formal logic and set theory, Dana Scott
Could spacetime be discrete?, Ben Crowell
Re: Could spacetime be discrete?, Vladimir Sazonov
Re: Could spacetime be discrete?, Richard Haney
Re: countable saturation, John Goodrick
Re: Could spacetime be discrete?, H Z

January 14, 2006

Could spacetime be discrete?, Alasdair Urquhart
Re: links between nonstandard analysis and formal logic and set theory, Alasdair Urquhart
countable saturation, Ben Crowell
Re: Richard's Quest >> Feasible Numbers, Vladimir Sazonov
Resources on the empirical foundations of mathematics, José Félix Costa
263:Pi01/digraphs 1, Harvey Friedman
Re: Resources on the empirical foundations of mathematics, Alexander Zenkin

January 13, 2006

Richard's Quest >> Feasible Numbers, José Félix Costa
Resources on the empirical foundations of mathematics, Ben Crowell
Resources on the empirical foundations of mathematics, Ben Crowell
ICCL Summer School 2006: KNOWLEDGE STRUCTURES, Bertram Fronhoefer

January 12, 2006

CFP: Workshop on Logics for Resource Bounded Agents, Carlos Areces
Re: Predicativism and natural numbers, Giovanni Lagnese
Re: Resources on the empirical foundations of mathematics, Andrew Boucher

January 11, 2006

Re: Resources on the empirical foundations of mathematics, hendrik-e9JHxFxFq/nmOAo1QFYKGQ
Are Friedman's indepence results natural?, Andreas Weiermann
Resources on the empirical foundations of mathematics, Richard Haney

January 10, 2006

Axiomatization of sciences, José Félix Costa
Re: links between nonstandard analysis and formal logic and settheory, Robert Lubarsky
Re: Predicativism and natural numbers, Arnon Avron

January 09, 2006

links between nonstandard analysis and formal logic and set theory, Ben Crowell
Re: Comments on Feferman on Hellman, Harvey Friedman
Re: infinity and the noble lie, joeshipman-YDxpq3io04c
infinity and the noble lie, Mark Lance
[CiE] Computability in Europe 2006 - Final Call for Papers, S B Cooper
Re: Predicativism and natural numbers, Giovanni Lagnese
Uri Fidelman: neurosciences and foundations of mathematics, Giovanni Lagnese
Re: Infinity and the "Noble Lie", joeshipman-YDxpq3io04c
Re: Predicativism and natural numbers, Giovanni Lagnese
Re: Query on alternating groups, joeshipman-YDxpq3io04c
Comments on Feferman on Hellman, Nik Weaver
Re: Infinity and the "Noble Lie", Giovanni Lagnese
Re: Infinity and the "Noble Lie", joeshipman-YDxpq3io04c
Re: Infinity and the "Noble Lie", Harvey Friedman

January 08, 2006

Re: Infinity and the "Noble Lie", Jan Mycielski

January 07, 2006

Re: Infinity and the "Noble Lie", joeshipman-YDxpq3io04c
Re: Infinity and the "Noble Lie", joeshipman-YDxpq3io04c
Re: Infinity and the "Noble Lie", praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Re: Infinity and the "Noble Lie", Giovanni Lagnese
Comments on Feferman on Hellman, Harvey Friedman

January 06, 2006

Re: Infinity and the "Noble Lie", Calvin Ostrum
Re: Infinity and the "Noble Lie", Karlis Podnieks
Re: Infinity and the "Noble Lie", joeshipman-YDxpq3io04c
Re: PREDICATIVISTS AND NATURAL NUMBERS, Giovanni Lagnese
Re: Query on alternating groups, Jon Cohen

January 05, 2006

Predicativism and natural numbers, Nik Weaver
Re: Infinity and the "Noble Lie", Richard Haney
Re: Predicativism and natural numbers, Charles Parsons
Re: PREDICATIVISTS AND NATURAL NUMBERS, laureano luna
Query on alternating groups, joeshipman-YDxpq3io04c
Re: Predicativism and natural numbers, William Tait

January 03, 2006

Re: Predicativism and natural numbers, Giovanni Lagnese
Re: Predicativism and natural numbers, Giovanni Lagnese
Re: Predicativism and natural numbers, Charles Parsons

January 02, 2006

Re: Predicativism and natural numbers, Charles Silver

January 01, 2006

Choice axioms and degree axioms, joeshipman-YDxpq3io04c
High Complexity without Infinity, Dmytro Taranovsky
Re: Predicativism and natural numbers, Giovanni Lagnese
Re: Predicativism and natural numbers, Charles Silver