January 2006 Archives by author

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

Starting: Sun Jan 1 13:04:54 EDT 2006
Ending: Tue Jan 31 19:17:18 EDT 2006
Messages: 149

• [FOM] formalized metalanguage   Jesse Alama
• [FOM] CFP: Workshop on Logics for Resource Bounded Agents   Carlos Areces
• [FOM] Workshop on Rationality and Knowledge in Malaga, August 7-11, 2006   Sergei Artemov
• [FOM] intuitionists on source of mathematics   Mark van Atten
• [FOM] links between nonstandard analysis and formal logic, and set theory   Jeremy Avigad
• [FOM] summer school for undergraduates   Jeremy Avigad
• [FOM] Predicativism and natural numbers   Arnon Avron
• [FOM] Predicativism and natural numbers   Arnon Avron
• [FOM] polemic   Arnon Avron
• [FOM] FOM Digest, Vol 37, Issue 24. Lagnese's question   John Bell
• [FOM] FOM Digest, Vol 37, Issue 32, question on axiom of choice in categories.   John Bell
• [FOM] Axiom of Choice in Category Theory   Andreas Blass
• [FOM] Resources on the empirical foundations of mathematics   Andrew Boucher
• [FOM] Role of Polemics   Patrick Caldon
• [FOM] Naturalness   Timothy Y. Chow
• [FOM] The irrelevance of Friedman's polemics and results   Timothy Y. Chow
• [FOM] Query on alternating groups   Jon Cohen
• [FOM] [CiE] Computability in Europe 2006 - Final Call for Papers   S B Cooper
• [FOM] Axiomatization of sciences   José Félix Costa
• [FOM] Richard's Quest >> Feasible Numbers   José Félix Costa
• [FOM] Resources on the empirical foundations of mathematics   José Félix Costa
• [FOM] Formal logic, constructivism, & intuitionism ...   José Félix Costa
• [FOM] Could spacetime be discrete?   José Félix Costa
• [FOM] Could spacetime be discrete?   José Félix Costa
• [FOM] Role of Polemics   José Félix Costa
• [FOM] Least class that ...   José Félix Costa
• [FOM] links between nonstandard analysis and formal logic and set theory   Ben Crowell
• [FOM] Resources on the empirical foundations of mathematics   Ben Crowell
• [FOM] Resources on the empirical foundations of mathematics   Ben Crowell
• [FOM] countable saturation   Ben Crowell
• [FOM] Could spacetime be discrete?   Ben Crowell
• [FOM] analysis with hyperreals vs. surreals?   Ben Crowell
• [FOM] analysis with hyperreals vs. surreals?   Ben Crowell
• [FOM] message from the moderator   Martin Davis
• [FOM] Daniel Osherman   Martin Davis
• [FOM] intuitionistic logic and symmetry   Laurent Delattre
• [FOM] dual of a category   Laurent Delattre
• [FOM] Dual of a category   Laurent Delattre
• [FOM] Axiom of Choice in Category Theory   Laurent Delattre
• [FOM] R: Could spacetime be discrete?   Antonino Drago
• [FOM] FOM - reply to Haney and others   Ehlert-Abler
• [FOM] Comments on Feferman on Hellman   Harvey Friedman
• [FOM] Infinity and the "Noble Lie"   Harvey Friedman
• [FOM] Comments on Feferman on Hellman   Harvey Friedman
• [FOM] 263:Pi01/digraphs 1   Harvey Friedman
• [FOM] Role of Polemics   Harvey Friedman
• [FOM] Role of Polemics   Harvey Friedman
• [FOM] Role of Polemics/Clarification   Harvey Friedman
• [FOM] Polynomials/correction   Harvey Friedman
• [FOM] The irrelevance of Friedman's polemics and results   Harvey Friedman
• [FOM] Naturalness   Harvey Friedman
• [FOM] 264:Pi01/digraphs 2   Harvey Friedman
• [FOM] Naturalness   Harvey Friedman
• [FOM] 265:Pi01/digraphs 2/more   Harvey Friedman
• [FOM] Least class that ...   Harvey Friedman
• [FOM] polemic   Harvey Friedman
• [FOM] ICCL Summer School 2006: KNOWLEDGE STRUCTURES   Bertram Fronhoefer
• [FOM] Could spacetime be discrete?   Giuseppe.Longo at ens.fr
• [FOM] countable saturation   John Goodrick
• [FOM] Role of Polemics   Lew Gordeew
• [FOM] The irrelevance of Friedman's polemics and results   Lew Gordeew
• [FOM] formalized metalanguage   Chris Gray
• [FOM] Infinity and the "Noble Lie"   Richard Haney
• [FOM] Resources on the empirical foundations of mathematics   Richard Haney
• [FOM] Could spacetime be discrete?   Richard Haney
• [FOM] Resources on the empirical foundations of mathematics   Richard Haney
• [FOM] Formal logic, constructivism, & intuitionism: concerning the quest to find the fundamental origins of our beliefs that formal logic is a useful methodology   Richard Haney
• [FOM] Utilitarian critiques/analyses/surveys of mathematical methodology   Richard Haney
• [FOM] Least class that ...   Richard Haney
• [FOM] formalized metalanguage   Richard Heck
• [FOM] dual of a category   Vladimir Komendantsky
• [FOM] intuitionistic logic and symmetry   Vladimir Komendantsky
• [FOM] intuitionistic logic and symmetry   Kreinovich, Vladik
• [FOM] Predicativism and natural numbers   Giovanni Lagnese
• [FOM] Predicativism and natural numbers   Giovanni Lagnese
• [FOM] Predicativism and natural numbers   Giovanni Lagnese
• [FOM] PREDICATIVISTS AND NATURAL NUMBERS   Giovanni Lagnese
• [FOM] Infinity and the "Noble Lie"   Giovanni Lagnese
• [FOM] Infinity and the "Noble Lie"   Giovanni Lagnese
• [FOM] Predicativism and natural numbers   Giovanni Lagnese
• [FOM] Uri Fidelman: neurosciences and foundations of mathematics   Giovanni Lagnese
• [FOM] Predicativism and natural numbers   Giovanni Lagnese
• [FOM] Predicativism and natural numbers   Giovanni Lagnese
• [FOM] Predicativism and natural numbers   Giovanni Lagnese
• [FOM] Predicativism and natural numbers   Giovanni Lagnese
• [FOM] Is there...   Giovanni Lagnese
• [FOM] The observational standpoint for numbers   Giovanni Lagnese
• [FOM] infinity and the noble lie   Mark Lance
• [FOM] Dual of a category   Florian Lengyel
• [FOM] European Master's Program in Computational Logic   Int. Center for Computational Logic
• [FOM] links between nonstandard analysis and formal logic and settheory   Robert Lubarsky
• [FOM] Could spacetime be discrete?   John McCarthy
• [FOM] Infinity and the "Noble Lie"   Jan Mycielski
• [FOM] analysis with hyperreals vs. surreals?   Steven Obua
• [FOM] Infinity and the "Noble Lie"   Calvin Ostrum
• [FOM] Could spacetime be discrete?   Eray Ozkural
• [FOM] The observational standpoint for numbers   Eray Ozkural
• [FOM] The irrelevance of Friedman's polemics and results   Eray Ozkural
• [FOM] Naturalness   Eray Ozkural
• [FOM] Predicativism and natural numbers   Charles Parsons
• [FOM] Predicativism and natural numbers   Charles Parsons
• [FOM] Infinity and the "Noble Lie"   Karlis Podnieks
• [FOM] intuitionistic logic and symmetry   David J. Pym
• [FOM] Least class that ...   Giuseppina RONZITTI
• [FOM] Richard's Quest >> Feasible Numbers   Vladimir Sazonov
• [FOM] Could spacetime be discrete?   Vladimir Sazonov
• [FOM] links between nonstandard analysis and formal logic and set theory   Dana Scott
• [FOM] Predicativism and natural numbers   Charles Silver
• [FOM] links between nonstandard analysis and formal logic and set theory   Stephen G Simpson
• [FOM] introduction to Harvey Friedman's work on digraphs and similar results   Robert Smith
• [FOM] Could spacetime be discrete?   Olivier Souan
• [FOM] Could spacetime be discrete?   Mark Steiner
• [FOM] Could spacetime be discrete?   Apostolos Syropoulos
• [FOM] Predicativism and natural numbers   William Tait
• [FOM] High Complexity without Infinity   Dmytro Taranovsky
• [FOM] Role of Polemics   Neil Tennant
• [FOM] The irrelevance of Friedman's polemics and results   Neil Tennant
• [FOM] links between nonstandard analysis and formal logic and set theory   Alasdair Urquhart
• [FOM] Could spacetime be discrete?   Alasdair Urquhart
• [FOM] Could spacetime be discrete?   Alasdair Urquhart
• [FOM] Predicativism and natural numbers   Nik Weaver
• [FOM] Comments on Feferman on Hellman   Nik Weaver
• [FOM] Predicativism and natural numbers   Nik Weaver
• [FOM] Predicativism and natural numbers   Nik Weaver
• [FOM] Are Friedman's indepence results natural?   Andreas Weiermann
• [FOM] Could spacetime be discrete?   H Z
• [FOM] The irrelevance of Friedman's polemics and results   H Z
• [FOM] Could spacetime be discrete?   Steven Ericsson Zenith
• [FOM] Resources on the empirical foundations of mathematics   Alexander Zenkin
• [FOM] Could spacetime be discrete?   Alexander Zenkin
• [FOM] The irrelevance of Friedman's polemics and results   aa at post.tau.ac.il
• [FOM] CFP:Fourth Workshop on Learning with Logics and Logics for Learning   akama at math.tohoku.ac.jp
• [FOM] Could spacetime be discrete?   jean paul van bendegem
• [FOM] Call for Participation: Young Scholars' Competition   goedel2006 at logic.at
• [FOM] Resources on the empirical foundations of mathematics   hendrik at topoi.pooq.com
• [FOM] Choice axioms and degree axioms   joeshipman at aol.com
• [FOM] Query on alternating groups   joeshipman at aol.com
• [FOM] Infinity and the "Noble Lie"   joeshipman at aol.com
• [FOM] Infinity and the "Noble Lie"   joeshipman at aol.com
• [FOM] Infinity and the "Noble Lie"   joeshipman at aol.com
• [FOM] Infinity and the "Noble Lie"   joeshipman at aol.com
• [FOM] Query on alternating groups   joeshipman at aol.com
• [FOM] Infinity and the "Noble Lie"   joeshipman at aol.com
• [FOM] infinity and the noble lie   joeshipman at aol.com
• [FOM] The theory of fields; professional puzzlement   joeshipman at aol.com
• [FOM] The irrelevance of Friedman's polemics and results   joeshipman at aol.com
• [FOM] PREDICATIVISTS AND NATURAL NUMBERS   laureano luna
• [FOM] Infinity and the "Noble Lie"   praatika at mappi.helsinki.fi
• [FOM] FOM] Naturalness   weiermann at math.uu.nl

Last message date: Tue Jan 31 19:17:18 EDT 2006
Archived on: Tue Jan 31 21:53:30 EDT 2006

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