November 2007 Archives by author
Starting: Thu Nov 1 04:51:52 EDT 2007
Ending: Fri Nov 30 06:28:19 EDT 2007
Messages: 158
- [FOM] Historical queries
Wayne Aitken
- [FOM] UFD example?
Wayne Aitken
- [FOM] Tarski's real projective geometry
John Baldwin
- [FOM] Simple Turing machines, Universality, Encodings, etc.
Andrej Bauer
- [FOM] Simple Turing machines, Universality, Encodings, etc.
Andrej Bauer
- [FOM] constructive Tychonov
Andrej Bauer
- [FOM] constructive Tychonov
Andrej Bauer
- [FOM] CiE08 - 2nd Call for Papers
Arnold Beckmann
- [FOM] Benenson
Robert Black
- [FOM] Intuitionism and 0=1
Robert Black
- [FOM] constructive Tychonov
Robert Black
- [FOM] Verifying or Falsifying The Principle of Computational Equivalence
Kovas Boguta
- [FOM] Principle of Computational Equivalence
Kovas Boguta
- [FOM] Benenson
Timothy Y. Chow
- [FOM] UFD example?
Timothy Y. Chow
- [FOM] TAMC 2008: extension of submission deadline
S B Cooper
- [FOM] Q and A (nonstandard analysis)
Martin Davis
- [FOM] note to subscribers from the moderator
Martin Davis
- [FOM] non-Euclidean geometry and FOM programs
Antonino Drago
- [FOM] non-Euclidean geometry and FOM programs
Antonino Drago
- [FOM] non-Euclidean geometry and FOM programs
Antonino Drago
- [FOM] Might there be no inaccessible cardinals?
Kenny Easwaran
- [FOM] VIG 2008 at UCLA
H. Enderton
- [FOM] Simple Turing machines, Universality, Encodings, etc.
FL
- [FOM] The discrete and the continuous
Thomas Forster
- [FOM] Prenex
Thomas Forster
- [FOM] Prenex
Thomas Forster
- [FOM] 310:Thematic PA Incompleteness 2
Harvey Friedman
- [FOM] 311:Thematic PA Incompleteness 3
Harvey Friedman
- [FOM] nonconstructive proofs
Harvey Friedman
- [FOM] 312: Pi01 Incompleteness
Harvey Friedman
- [FOM] 2,3 Turing machine proof controversy
Alex Galicki
- [FOM] 2,3 Turing machine proof controversy
Alex Galicki
- [FOM] 2,3 Turing machine proof controversy
Alex Galicki
- [FOM] 2,3 Turing machine proof controversy
Alex Galicki
- [FOM] Might there be no inaccessible cardinals?
Kaveh Ghasemloo
- [FOM] 2,3 Turing machine proof controversy
Clive Gifford
- [FOM] 2,3 Turing machine proof controversy
Clive Gifford
- [FOM] Simple Turing machines, Universality, Encodings, etc.
Rob van Glabbeek
- [FOM] Simple Turing machines, Universality, Encodings, etc.
Rob van Glabbeek
- [FOM] Proof and open source software
Jay Halcomb
- [FOM] Simple Turing machines, Universality, Encodings, etc.
James Harland
- [FOM] Ancient History
Allen Hazen
- [FOM] 2,3 Turing machine proof controversy
Bob Hearn
- [FOM] 2,3 Turing machine proof controversy
Bob Hearn
- [FOM] Simple Turing machines, Universality, Encodings, etc.
Richard Heck
- [FOM] Re the future of history
Robert L Knighten
- [FOM] regular expressions
Adam Kolany
- [FOM] regular expressions
Adam Kolany
- [FOM] Simple Turing machines, Universality, Encodings, etc.
Kreinovich, Vladik
- [FOM] FW: Simple Turing machines, Universality, Encodings, etc.
Kreinovich, Vladik
- [FOM] Q and A
Kreinovich, Vladik
- [FOM] Tarski's real projective geometry
Kreinovich, Vladik
- [FOM] 2,3 Turing machine proof controversy
Kreinovich, Vladik
- [FOM] constructive cauchy
S. S. Kutateladze
- [FOM] Re the future of history
S. S. Kutateladze
- [FOM] re re re the future of history
S. S. Kutateladze
- [FOM] reply to s.s. kuteladze
S. S. Kutateladze
- [FOM] Archimedes's "Method"
S. S. Kutateladze
- [FOM] the ultimate aim of mathematics etc.
S. S. Kutateladze
- [FOM] Simple Turing machines, Universality, Encodings, etc.
Bruno Loff
- [FOM] a taxonomy to help with 2-3 controversies
Thomas Lord
- [FOM] Principle of Computational Equivalence
Thomas Lord
- [FOM] The discrete and the continuous
A. Mani
- [FOM] Algebra and Ramsey Type Theorems
A. Mani
- [FOM] Algebra and Ramsey Type Theorems
A. Mani
- [FOM] Prenex
Alberto Marcone
- [FOM] UFD Example
Dave Marker
- [FOM] Might there be no inaccessible cardinals?
Rupert McCallum
- [FOM] UFD example?
Messing
- [FOM] 2,3 Turing machine proof controversy
TURLOUGH NEARY
- [FOM] Query on nonstandard models of the integers
A J Franco de Oliveira
- [FOM] regular expressions
Vaughan Pratt
- [FOM] Smallest universal machine
Vaughan Pratt
- [FOM] Simple Turing machines, Universality, Encodings, etc.
Vaughan Pratt
- [FOM] Might there be no inaccessible cardinals?
Vaughan Pratt
- [FOM] Intuitionism and 0=1
Vaughan Pratt
- [FOM] 2,3 Turing machine proof controversy
Vaughan Pratt
- [FOM] 2,3 Turing machine proof controversy
Vaughan Pratt
- [FOM] 2,3 Turing machine proof controversy
Vaughan Pratt
- [FOM] 2,3 Turing machine proof controversy
Vaughan Pratt
- [FOM] 2,3 Turing machine proof controversy
Vaughan Pratt
- [FOM] 2,3 Turing machine proof controversy
Vaughan Pratt
- [FOM] Transfinite Euclidean Algorithm
Vaughan Pratt
- [FOM] Universality for unbounded computations
Vaughan Pratt
- [FOM] 2,3 Turing machine proof controversy
Vaughan Pratt
- [FOM] 2,3 Turing machine proof controversy
Vaughan Pratt
- [FOM] Paper announcement: Categorical Models of Classical Logic and GoI
David Pym
- [FOM] Query on nonstandard models of the integers
Joachim Reineke
- [FOM] UFD example?
Joachim Reineke
- [FOM] UFD example
Joachim Reineke
- [FOM] replies to two nonstandard postings
David Ross
- [FOM] FOM Digest, Vol 59, Issue 18
David Ross
- [FOM] Universality for unbounded computations
Todd Rowland
- [FOM] Universality for unbounded computations
Todd Rowland
- [FOM] Principle of Computational Equivalence
Todd Rowland
- [FOM] 2,3 Turing machine proof controversy
Todd Rowland
- [FOM] Query on nonstandard models of the integers
Gyorgy Sereny
- [FOM] Question on axiomatizations
Michael Sheard
- [FOM] constructive Tychonov
Stephen G Simpson
- [FOM] Simple Turing machines, Universality, Encodings, etc.
Alexander Smith
- [FOM] Simple Turing machines, Universality, Encodings, etc.
Alexander Smith
- [FOM] Simple Turing machines, Universality, Encodings, etc.
Alexander Smith
- [FOM] 2,3 Turing machine proof controversy
Alexander Smith
- [FOM] 2,3 Turing machine proof controversy
Alexander Smith
- [FOM] 2,3 Turing machine proof controversy
Alexander Smith
- [FOM] Halting rules for the 2,3 and a 2,4 Turing machine
Alexander Smith
- [FOM] Correction: Halting rules for the 2, 3 and a 2, 4 Turing machine
Alexander Smith
- [FOM] Nested-universality
Alexander Smith
- [FOM] 2,3 Turing machine proof controversy
Robert Smith
- [FOM] the power of nonconstructive reasoning
Gabriel Stolzenberg
- [FOM] Q and A
Gabriel Stolzenberg
- [FOM] constructive cauchy
Gabriel Stolzenberg
- [FOM] Re the future of history
Gabriel Stolzenberg
- [FOM] Re the future of history
Gabriel Stolzenberg
- [FOM] reply to s.s. kuteladze
Gabriel Stolzenberg
- [FOM] re re re the future of history
Gabriel Stolzenberg
- [FOM] the ultimate aim of mathematics etc.
Gabriel Stolzenberg
- [FOM] Benenson
Jay Sulzberger
- [FOM] The discrete and the continuous
William Tait
- [FOM] Historical queries
William Tait
- [FOM] Principle of Computational Equivalence
Bill Taylor
- [FOM] Tarski's real projective geometry
Neil Tennant
- [FOM] Prenex
Sara L. Uckelman
- [FOM] Prenex (Thomas Forster)
Rafal Urbaniak
- [FOM] Beltrami and non-Euclidean geometry
Alasdair Urquhart
- [FOM] Historical queries
Alasdair Urquhart
- [FOM] Historical queries
Alasdair Urquhart
- [FOM] Archimedes's "Method"
Alasdair Urquhart
- [FOM] 2,3 Turing machine proof controversy
Tjark Weber
- [FOM] Prenex
Max Weiss
- [FOM] Prenex
Max Weiss
- [FOM] Prenex
Richard Zach
- [FOM] Smallest universal machine
Hector Zenil
- [FOM] constructive Tychonov
gcuri at math.unipd.it
- [FOM] The discrete and the continuous
hendrik at topoi.pooq.com
- [FOM] Transfinite Euclidean Algorithm
hendrik at topoi.pooq.com
- [FOM] Transfinite Euclidean Algorithm
hendrik at topoi.pooq.com
- [FOM] Query on nonstandard models of the integers
joeshipman at aol.com
- [FOM] Reply to Smith on Universality
joeshipman at aol.com
- [FOM] Query on nonstandard models of the integers
joeshipman at aol.com
- [FOM] Query on nonstandard models of the integers
joeshipman at aol.com
- [FOM] Q and A
joeshipman at aol.com
- [FOM] Historical queries
joeshipman at aol.com
- [FOM] Historical queries
joeshipman at aol.com
- [FOM] 2,3 Turing machine proof controversy
joeshipman at aol.com
- [FOM] Transfinite Euclidean Algorithm
joeshipman at aol.com
- [FOM] Historical queries
joeshipman at aol.com
- [FOM] Transfinite Euclidean Algorithm
joeshipman at aol.com
- [FOM] Historical queries
joeshipman at aol.com
- [FOM] History of Fundamental Theorem of Arithmetic
joeshipman at aol.com
- [FOM] UFD example?
joeshipman at aol.com
- [FOM] UFD example
joeshipman at aol.com
- [FOM] Fuzzy or Extensible? On ill-defined Concepts
laureano luna
- [FOM] Prenex
laureano luna
- [FOM] constructive Tychonov
negri at mappi.helsinki.fi
- [FOM] non-Euclidean geometry and FOM programs
andre rodin
- [FOM] non-Euclidean geometry and FOM programs
andre rodin
Last message date:
Fri Nov 30 06:28:19 EDT 2007
Archived on: Fri Nov 30 09:19:28 EDT 2007
This archive was generated by
Pipermail 0.09 (Mailman edition).