science.mathematics.fom (thread)

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