science.mathematics.fom (date)

science.mathematics.fom (date)

November 30, 2005

259:Pi01 pointer, Harvey Friedman
Re: Imaginary numbers in logic, Kreinovich, Vladik
Re: Imaginary numbers in logic, John Baldwin
Imaginary numbers in logic, Jim Hardy

November 28, 2005

SEALS 2006 conference, Douglas Cenzer
Re: FOM: Pointless Geometry, A. Mani

November 27, 2005

Re: Improving the Fundamental Theorem of Algebra, Timothy Y. Chow
258:Pi01/simplification/restatement, Harvey Friedman
Re: Quotation from Frege, Mark Steiner
Re: Quotation from Frege, Sara L. Uckelman
Re: Question about "fresh" variables/objects in logics, Andrej Bauer
Quotation from Frege, Dean Buckner
Improving the Fundamental Theorem of Algebra, joeshipman-YDxpq3io04c
Re: Question about "fresh" variables/objects in logics, A. Mani
Re: Question about "fresh" variables/objects in logics, Steven Obua
Re: Question about "fresh" variables/objects in logics, Bas Spitters
Re: Quotation from Frege, Jeffrey Ketland
FOM: Pointless Geometry, John Corcoran

November 25, 2005

Quotation from Frege, Dean Buckner
Master Class in Mathematical Logic, 2006-7, Jaap van Oosten
Re: Geometry question, Olivier Souan
Re: can the classicist understand the intuitionist? if not, why?, Todd Wilson
Question about "fresh" variables/objects in logics, Divianszky Peter
Re: Geometry question, A.J. Franco de Oliveira

November 24, 2005

can the classicist understand the intuitionist? if not, why?, Joao Marcos
Proof Identity, Milos Adzic
Re: Question on the relevance of pragmatism to mathematical abstraction, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Re: Geometry question, Jay Sulzberger

November 23, 2005

Question on the relevance of pragmatism to mathematical abstraction, Richard Haney

November 22, 2005

Re: Geometry question, William Boshuck
257:FIT/more, Harvey Friedman
Re: Geometry question, Andre . Rodin-rMg7eGrThuo
Formal grammar question, Alasdair Urquhart

November 21, 2005

256:NAME:finite inclusion theory, Harvey Friedman
Lisbon positions in quantum computation, information and logic, Amílcar Sernadas
Re: Geometry question, A.P. Hazen

November 20, 2005

mereology reference and comment, Robert Smith
Geometry question, A. Mani

November 19, 2005

Re: A question on disjunction and numerical existence properties for extensions of HA, Harvey Friedman
Re: Nonempty Finite Interval Mereology, A.P. Hazen

November 18, 2005

A question on disjunction and numerical existence properties for extensions of HA, Wojtek Moczydlowski
Re: Question on the number line, Robert Lindauer
Nonempty Finite Interval Mereology, Harvey Friedman

November 17, 2005

Re: finite choice question, Andrej Bauer
Re: Question on Number Line, Lawrence Stout
Re: Question on the number line, Ron Rood
finite choice question, Peter Schuster
Re: Question on the number line, Alasdair Urquhart
Re: Question on the number line, Robert Black
Re: finite choice question, Thomas Forster
Number Line/mereology, Harvey Friedman
Re: finite choice question, A.P. Hazen
Question on the number line, Hartley Slater
Corrected response to Question on Number Line (Bruckner), Robert Tragesser
CFP: M4M-4 Program and Call for Participation, Holger Schlingloff
Re: Question on the number line, William Tait
Re: finite choice question, Robert M. Solovay
Re: Question on the number line, H Z
Question on the number line, Dean Buckner

November 16, 2005

Question on Number Line (Bruckner), Robert Tragesser
finite choice question, Stephen Fenner
Improving the Fundamental Theorem of Algebra, joeshipman-YDxpq3io04c
Re: Question on the number line, Alasdair Urquhart
Re: Question on the number line, Rob Arthan
Construction of the Reals and a Paradigm, A. Mani
Buckner's Question on the number line, A.P. Hazen
Re: Question on the number line, Steven Ericsson Zenith

November 15, 2005

Question on the number line, Dean Buckner
Re: FOL reduced to equational logic, Richard Grandy

November 14, 2005

Question on history of Turing machines, Lew Gordeew
Re: FOL reduced to equational logic, Lew Gordeew
Re: Intutionistic "negation", Rob Arthan
255:Controlling Pi01, Harvey Friedman
FOL reduced to equational logic, H Z

November 11, 2005

CiE06: 2nd Call for Papers, S B Cooper
Re: Formal grammar question, A. Mani
FOM--BUFFALO LOGIC COLLOQUIUM 2005-6: SIXTH FALL ANNOUNCEMENT, John Corcoran

November 10, 2005

254:Pi01 Progress/more, Harvey Friedman
CFP: European Conference on Logics in AI [JELIA'06], Michael Fisher
Formal grammar question, Alasdair Urquhart
Finite Analogues of Infinite Structures, Dmytro Taranovsky
Re: Intutionistic "negation", Arnon Avron
Re: Formal grammar question, Todd Wilson
Re: Some informative questions about intuitionistic logic and mathematics, Arnon Avron aa at tau.ac.il, Todd Wilson
Re: Some informative questions about intuitionistic logic and mathematics, Neil Tennant
Re: Formal grammar question, A.P. Hazen

November 08, 2005

Formal grammar question, A.P. Hazen
St. PetersburgCSR-2006: Final Call for Papers (fwd), Grigori Mints
Re: Some informative questions about intuitionistic logic and mathematics, Thomas Forster
Credit where credit is due (a cute trick in BBJ), Peter Smith
Re: Some informative questions about intuitionistic logic and mathematics, Mark van Atten
CSR-2006: Final Call for Papers, Edward A. Hirsch
Some informative questions about intuitionistic logic and mathematics, Arnon Avron aa at tau.ac.il, Rene Vestergaard

November 06, 2005

Re: colour or colours, Paul Hollander
Re: Some informative questions about intuitionistic logic and mathematics, Lew Gordeew
Re: Mathematical explanation, mjmurphy
Avron's questions about intuitionistic, A.P. Hazen
Mathematical explanation, Dean Buckner
Intuitionism, predicativism, and ill-defined domains, Nik Weaver
Ackermann Award, Zoltan Esik
Gödel's theorems and abstract notions, Olivier Souan
Re: Some informative questions about intuitionistic logic and mathematics, giovanni sambin
Re: Some informative questions about intuitionistic logic and mathematics, Wim van Gessel
Re: Some informative questions about intuitionistic logic and mathematics, Todd Wilson
Re: Some informative questions about intuitionistic logic and mathematics, Richard Heck

November 04, 2005

Re: Intuitionism, predicativism, and ill-defined domains, Arnon Avron
Re: Mathematical explanation, Richard Heck
Re: Mathematical explanation, mjmurphy
Some informative questions about intuitionistic logic and mathematics, Arnon Avron
colour or colours, A.R.D.Mathias

November 02, 2005

Re: Mathematical explanation, Richard Heck
Re: Mathematical explanation, mjmurphy
Kleene's Philosophy, addamo-5tc4TXWwyLM
Re: Mathematical explanation, Paul Hollander
Re: Mathematical explanation, Gernot Salzer
Re: Intuitionism, predicativism, and ill-defined domains, Jaap van Oosten
Intuitionists and excluded middle, Hartley Slater
Re: Mathematical explanation, Schaefer, Marcus

News | FAQ | advertise