January 2006 Archives by thread
Starting: Sun Jan 1 13:04:54 EDT 2006
Ending: Tue Jan 31 19:17:18 EDT 2006
Messages: 149
- [FOM] Predicativism and natural numbers
Giovanni Lagnese
- [FOM] High Complexity without Infinity
Dmytro Taranovsky
- [FOM] Choice axioms and degree axioms
joeshipman at aol.com
- [FOM] Predicativism and natural numbers
Charles Parsons
- [FOM] Predicativism and natural numbers
Giovanni Lagnese
- [FOM] Query on alternating groups
joeshipman at aol.com
- [FOM] PREDICATIVISTS AND NATURAL NUMBERS
laureano luna
- [FOM] Predicativism and natural numbers
Nik Weaver
- [FOM] Infinity and the "Noble Lie"
Richard Haney
- [FOM] PREDICATIVISTS AND NATURAL NUMBERS
Giovanni Lagnese
- [FOM] Comments on Feferman on Hellman
Harvey Friedman
- [FOM] Infinity and the "Noble Lie"
praatika at mappi.helsinki.fi
- [FOM] Infinity and the "Noble Lie"
Jan Mycielski
- [FOM] Infinity and the "Noble Lie"
Giovanni Lagnese
- [FOM] Comments on Feferman on Hellman
Nik Weaver
- [FOM] Uri Fidelman: neurosciences and foundations of mathematics
Giovanni Lagnese
- [FOM] links between nonstandard analysis and formal logic and set theory
Ben Crowell
- [FOM] [CiE] Computability in Europe 2006 - Final Call for Papers
S B Cooper
- [FOM] infinity and the noble lie
Mark Lance
- [FOM] Axiomatization of sciences
José Félix Costa
- [FOM] Resources on the empirical foundations of mathematics
Richard Haney
- [FOM] Are Friedman's indepence results natural?
Andreas Weiermann
- [FOM] Resources on the empirical foundations of mathematics
Ben Crowell
- [FOM] CFP: Workshop on Logics for Resource Bounded Agents
Carlos Areces
- [FOM] Resources on the empirical foundations of mathematics
Ben Crowell
- [FOM] ICCL Summer School 2006: KNOWLEDGE STRUCTURES
Bertram Fronhoefer
- [FOM] Richard's Quest >> Feasible Numbers
José Félix Costa
- [FOM] 263:Pi01/digraphs 1
Harvey Friedman
- [FOM] Resources on the empirical foundations of mathematics
Alexander Zenkin
- [FOM] Resources on the empirical foundations of mathematics
José Félix Costa
- [FOM] countable saturation
Ben Crowell
- [FOM] Could spacetime be discrete?
Richard Haney
- [FOM] Could spacetime be discrete?
Vladimir Sazonov
- [FOM] Could spacetime be discrete?
Ben Crowell
- [FOM] links between nonstandard analysis and formal logic and set theory
Dana Scott
- [FOM] Resources on the empirical foundations of mathematics
Richard Haney
- [FOM] links between nonstandard analysis and formal logic, and set theory
Jeremy Avigad
- [FOM] The theory of fields; professional puzzlement
joeshipman at aol.com
- [FOM] Predicativism and natural numbers
Nik Weaver
- [FOM] Could spacetime be discrete?
Giuseppe.Longo at ens.fr
- [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] Formal logic, constructivism, & intuitionism ...
José Félix Costa
- [FOM] Could spacetime be discrete?
José Félix Costa
- [FOM] Predicativism and natural numbers
Nik Weaver
- [FOM] Could spacetime be discrete?
José Félix Costa
- [FOM] European Master's Program in Computational Logic
Int. Center for Computational Logic
- [FOM] message from the moderator
Martin Davis
- [FOM] Role of Polemics
Harvey Friedman
- [FOM] Role of Polemics
Lew Gordeew
- [FOM] Is there...
Giovanni Lagnese
- [FOM] Role of Polemics/Clarification
Harvey Friedman
- [FOM] analysis with hyperreals vs. surreals?
Ben Crowell
- [FOM] CFP:Fourth Workshop on Learning with Logics and Logics for Learning
akama at math.tohoku.ac.jp
- [FOM] FOM Digest, Vol 37, Issue 24. Lagnese's question
John Bell
- [FOM] Polynomials/correction
Harvey Friedman
- [FOM] The observational standpoint for numbers
Giovanni Lagnese
- [FOM] Utilitarian critiques/analyses/surveys of mathematical methodology
Richard Haney
- [FOM] Role of Polemics
José Félix Costa
- [FOM] formalized metalanguage
Chris Gray
- [FOM] The irrelevance of Friedman's polemics and results
aa at post.tau.ac.il
- [FOM] analysis with hyperreals vs. surreals?
Ben Crowell
- [FOM] 264:Pi01/digraphs 2
Harvey Friedman
- [FOM] FOM - reply to Haney and others
Ehlert-Abler
- [FOM] Daniel Osherman
Martin Davis
- [FOM] FOM] Naturalness
weiermann at math.uu.nl
- [FOM] Naturalness
Timothy Y. Chow
- [FOM] The irrelevance of Friedman's polemics and results
Timothy Y. Chow
- [FOM] intuitionistic logic and symmetry
Laurent Delattre
- [FOM] dual of a category
Laurent Delattre
- [FOM] polemic
Arnon Avron
- [FOM] intuitionists on source of mathematics
Mark van Atten
- [FOM] intuitionistic logic and symmetry
Kreinovich, Vladik
- [FOM] introduction to Harvey Friedman's work on digraphs and similar results
Robert Smith
- [FOM] Call for Participation: Young Scholars' Competition
goedel2006 at logic.at
- [FOM] Dual of a category
Florian Lengyel
- [FOM] Least class that ...
Richard Haney
- [FOM] Axiom of Choice in Category Theory
Laurent Delattre
- [FOM] Least class that ...
José Félix Costa
- [FOM] Axiom of Choice in Category Theory
Andreas Blass
- [FOM] Workshop on Rationality and Knowledge in Malaga, August 7-11, 2006
Sergei Artemov
- [FOM] FOM Digest, Vol 37, Issue 32, question on axiom of choice in categories.
John Bell
- [FOM] summer school for undergraduates
Jeremy Avigad
Last message date:
Tue Jan 31 19:17:18 EDT 2006
Archived on: Tue Jan 31 21:53:30 EDT 2006
This archive was generated by
Pipermail 0.09 (Mailman edition).