science.mathematics.fom (date)

October 31, 2006

CiE 2007 - First Call for Papers, S B Cooper
Re: 303: PA completeness CORRECTION, A.P. Hazen
Re: 303: PA Completeness (restatement), A.P. Hazen
Re: 303: PA Completeness (restatement), Andrej Bauer

October 30, 2006

303: PA Completeness (restatement), Harvey Friedman
Re: First-order arithmetical truth, mario

October 29, 2006

Re: Feasible consistency--Truth Transfer Policy, Mirco Mannucci
Re: Ruling-out Nonstandard Models of 1st-Order PA, laureano luna
First Order Logic/status, joeshipman-YDxpq3io04c
Re: Extensionality and Church-Oswald constructions, Roger Bishop Jones
302: PA Completeness, Harvey Friedman
Re: Is there a reasonable sense in which PA is complete?, Harvey Friedman
Re: First Order Logic/status, joeshipman-YDxpq3io04c

October 28, 2006

Is there a reasonable sense in which PA is complete?, Martin Davis
FOM: BUFFALO LOGIC COLLOQUIUM 3RD FALL, John Corcoran
Re: Feasible consistency---Truth Transfer Policy, V . Sazonov-5fL7ta8dD402EctHIo1CcQ
Re: First Order Logic/status, Harvey Friedman
Re: Ruling-out Nonstandard Models of 1st-Order PA, Robbie Lindauer

October 27, 2006

Re: First Order Logic/status, Arnon Avron
Re: First-order arithmetical truth, V . Sazonov-5fL7ta8dD402EctHIo1CcQ
Re: Extensionality and Church-Oswald constructions, Thomas Forster
Re: First-order arithmetical truth, Eray Ozkural
Re: Ruling-out Nonstandard Models of 1st-Order PA, Roger Bishop Jones
Extensionality and Church-Oswald constructions, Roger Bishop Jones
Is first-order logic an adequate language for mathematics?, Randall Holmes
Re: First Order Logic/status, Colin McLarty

October 26, 2006

Re: Shipman's field question, Alasdair Urquhart
Re: First Order Logic/status, josef-GiAsCeYlN9c
Re: Shipman's field question, JoeShipman-YDxpq3io04c
Re: Shipman's field question, Thomas Forster

October 25, 2006

Re: Shipman's field question, Dave Marker
Re: First-order arithmetical truth, Timothy Y. Chow
Concept Calculus/corrected version, Harvey Friedman
Re: Ruling out Nonstandard Models of first-order PA, Leon Horsten
First Order Logic/status, Harvey Friedman
Re: First-order arithmetical truth, V . Sazonov-5fL7ta8dD402EctHIo1CcQ
Are first-order languages adequate for mathematics?, Arnon Avron
Re: First-order arithmetical truth, V . Sazonov-5fL7ta8dD402EctHIo1CcQ
Re: Paraconsistent System ---Truth Transfer Policy, Mirco Mannucci
Ruling-out Nonstandard Models of 1st-Order PA, rtragesser-ee4meeAH724

October 23, 2006

Automated Reasoning Challenge, by way of Martin Davis <martin-Q1ZVUissX3MAvxtiuMwx3w@xxxxxxxxxxxxxxxx>
Re: Formation Rules, Max Weiss
First-order arithmetical truth, Stephen Pollard
Re: First-order arithmetical truth, Arnon Avron
Re: Paraconsistent System, V . Sazonov-5fL7ta8dD402EctHIo1CcQ
Re: First-order arithmetical truth, Timothy Y. Chow
question, Sergei Akbarov
Re: Paraconsistent System, John McCarthy

October 22, 2006

First-order arithmetical truth, Hartley Slater
Re: Paraconsistent System, Mirco Mannucci
Re: First-order arithmetical truth, V . Sazonov-5fL7ta8dD402EctHIo1CcQ

October 21, 2006

Re: First-order arithmetical truth, Harvey Friedman
Paraconsistent System, Harvey Friedman
"Grammar and Sets" paper?, Hartley Slater
Re: First-order arithmetical truth, Arnon Avron
Re: Question of the Day: What is a Logic?, Erik Douglas

October 20, 2006

Re: Need reference for results in Field Theory, Baldwin, John T.
Re: Is the derivability sign a metalinguistic sign?, Arnon Avron
Re: Formation Rules, John McCarthy
Re: First-order arithmetical truth, V . Sazonov-5fL7ta8dD402EctHIo1CcQ
Formation Rules, Alasdair Urquhart
Re: Need reference for results in Field Theory, joeshipman-YDxpq3io04c
conference: Calculability and Constructivity: Historical and Philosophical Aspects, mark van atten
Re: Need reference for results in Field Theory, zahidi-jWBY/M41MtVBtd510xpiSUZa+K1vlBrA
Re: FOM Formation Rules, Steven Ericsson-Zenith

October 19, 2006

Re: First-order arithmetical truth, Timothy Y. Chow
Re: FOM Formation Rules, Richard Heck
Re: Formation Rules, Richard Heck
Re: First-order arithmetical truth, Stephen Pollard
Is the derivability sign a metalinguistic sign?, Giordani Alessandro
Re: Need reference for results in Field Theory, Frank Waaldijk
"Grammar and Sets" paper?, Bill Taylor
free ultrafilters, Andreas Blass

October 18, 2006

FMCAD 2006 Early Registration Approaching, Panagiotis Manolios
Re: FOM Formation Rules, Neil Tennant
Re: First-order arithmetical truth, V . Sazonov-5fL7ta8dD402EctHIo1CcQ
Re: Formation Rules, Max Weiss
Re: Formation Rules, Richard Heck

October 17, 2006

Re: Formation Rules, Richard Zach
Re: First-order arithmetical truth, John McCarthy
Re: First-order arithmetical truth, Timothy Y. Chow
Re: free ultrafilters, K. P. Hart
Re: Formation Rules, Neil Tennant
First-order arithmetical truth, Hartley Slater

October 16, 2006

Re: First-order arithmetical truth, Francis Davey
Re: Formation Rules, Richard Zach
Re: Question of the Day: What is a Logic?, Andrej Bauer
FOM Formation Rules, John Corcoran
Re: Formation Rules, Neil Tennant
Re: Formation Rules, Richard Heck
Re: free ultrafilters, Freek Wiedijk
Re: Formation Rules, Neil Tennant
Re: First-order arithmetical truth, Arnon Avron
Formation Rules, Edwin Mares

October 15, 2006

ending the Lucas-Penrose thread, Martin Davis
Re: Need reference for results in Field Theory, joeshipman-YDxpq3io04c

October 14, 2006

Re: First-order arithmetical truth/the intended model of arithmetic, V . Sazonov-5fL7ta8dD402EctHIo1CcQ
Re: First-order arithmetical truth, Stephen Pollard
free ultrafilters, Andreas Blass
Need reference for results in Field Theory, joeshipman-YDxpq3io04c
Re: First-order arithmetical truth, A.P. Hazen
Re: free ultrafilters, Thomas Forster

October 13, 2006

Re: First-order arithmetical truth, Francis Davey
Re: The Lucas-Penrose Fallacy, Steven Ericsson-Zenith
free ultrafilters, Andreas Blass
First-order arithmetical truth, Stephen Pollard
the intended model of arithmetic, Robert Black
Re: The Lucas-Penrose Fallacy, Eray Ozkural
Re: The Lucas-Penrose Fallacy, hendrik-e9JHxFxFq/nmOAo1QFYKGQ
Re: The Lucas-Penrose Fallacy, Francis Davey
Re: The Lucas-Penrose Fallacy, daddycaylor-YDxpq3io04c
Re: The Lucas-Penrose Fallacy, hendrik-e9JHxFxFq/nmOAo1QFYKGQ

October 12, 2006

Re: The Lucas-Penrose Thesis vs The Turing Thesis, Robbie Lindauer
Re: The Lucas-Penrose Fallacy, laureano luna
Free ultrafilters on N., Bill Taylor
Re: The Lucas-Penrose Thesis vs The Turing Thesis, Arnon Avron
Re: Question of the Day: What is a Logic?, Arnon Avron
Re: Computer searches for combinatorial bijections, Jacques Carette

October 11, 2006

Re: The Lucas-Penrose Thesis, Eray Ozkural
FOM BUFFALO LOGIC COLLOQUIUM 2ND 2006-7, John Corcoran
The Lucas-Penrose Fallacy, Bob Hadley
Computer searches for combinatorial bijections, Timothy Y. Chow
Re: The Lucas-Penrose Thesis, Apostolos Syropoulos
Re: Question of the Day: What is a Logic?, Neil Tennant

October 10, 2006

Re: Question of the Day: What is a Logic?, Thomas Forster
Re: Question of the Day: What is a Logic?, Neil Tennant
Re: The Lucas-Penrose Thesis, Eray Ozkural

October 09, 2006

Jack Copeland on Turing's oracle machines, Martin Davis
Re: The Lucas-Penrose Thesis, Apostolos Syropoulos
Subject: LPAR 2006 (Phnom Penh, Cambodia), 2nd Call for Participation, Miki Hermann
Re: The Lucas-Penrose Thesis vs The Turing Thesis, Robbie Lindauer
Re: Inference Avoidance?, Charles Silver
Re: Question of the Day: What is a Logic?, Steven Obua
Re: QUESTION ABOUT COMPUTERS, John McCarthy
Re: The Lucas-Penrose Thesis vs The Turing Thesis, Calvin Ostrum

October 08, 2006

Re: QUESTION ABOUT COMPUTERS, Dennis E. Hamilton
Re: The Lucas-Penrose Thesis vs The Turing Thesis, joeshipman-YDxpq3io04c
Re: Question of the Day: What is a Logic?, Andrej Bauer
Re: QUESTION ABOUT COMPUTERS, Eray Ozkural
Re: The Lucas-Penrose Thesis vs The Turing Thesis, scerir
Re: The Lucas-Penrose Thesis vs The Turing Thesis, Robbie Lindauer
Re: The Lucas-Penrose Thesis vs The Turing Thesis, hendrik-e9JHxFxFq/nmOAo1QFYKGQ
Re: The Lucas-Penrose Thesis vs The Turing Thesis, Arnon Avron
Re: The Lucas-Penrose Thesis, laureano luna
QUESTION ABOUT COMPUTERS, laureano luna
Inference Avoidance?, Harvey Friedman
Re: Question of the Day: What is a Logic?, Neil Tennant
Re: The Lucas-Penrose Thesis vs The Turing Thesis, John McCarthy
Re: The Lucas-Penrose Thesis, Eray Ozkural

October 07, 2006

Re: The Lucas-Penrose Thesis vs The Turing Thesis, Arnon Avron
Re: Question of the Day: What is a Logic?, Arnon Avron
Re: The Lucas-Penrose Thesis, Apostolos Syropoulos
Re: The Lucas-Penrose Thesis, John McCarthy
Re: Grim paradox, Richard Heck
Re: The Lucas-Penrose Thesis, scerir
Early Registration ends: OCT. 18, FINAL CFP: FOIS 2006 - Nov. 9-11, Baltimore, MD, USA, Obrst, Leo J.
Re: The Lucas-Penrose Thesis, mjmurphy
Re: The Lucas-Penrose Thesis vs The Turing Thesis, A.P. Hazen
Re: Question of the Day: What is a Logic?, hendrik-e9JHxFxFq/nmOAo1QFYKGQ
Grim paradox, laureano luna
Re: Question of the Day: What is a Logic?, Neil Tennant
FMCAD 2006 Workshop on Pre- and Post-Silicon Verification Call For Participation, Panagiotis Manolios
Re: The Lucas-Penrose Thesis, Eray Ozkural

October 06, 2006

Re: Question of the Day: What is a Logic?, Arnon Avron

October 05, 2006

Re: The Lucas-Penrose Thesis, Robbie Lindauer
Re: The Lucas-Penrose Thesis, Apostolos Syropoulos
Re: The Lucas-Penrose Thesis vs The Turing Thesis, joeshipman-YDxpq3io04c
Re: The Lucas-Penrose Thesis, laureano luna
Re: The Lucas-Penrose Thesis vs The Turing Thesis, Eray Ozkural
Re: Slater on the Liar (and other issues), Bill Taylor
Re: Question of the Day: What is a Logic?, Baldwin, John T.
Re: The Lucas-Penrose Thesis, John McCarthy
Question of the Day: What is a Logic?, Erik Douglas

October 04, 2006

inconsistency, Martin Davis
talk this Friday, John McCarthy
The Lucas-Penrose Thesis (long), A.P. Hazen
Re: The Lucas-Penrose Thesis, laureano luna
Re: The Lucas-Penrose Thesis vs The Turing Thesis, Steven Ericsson-Zenith
Slater on the Liar (and other issues), Arnon Avron

October 03, 2006

The Lucas Penrose Thesis, Hartley Slater
Re: The Lucas-Penrose Thesis, Eray Ozkural
Growth Rate of Level-k Goodstein Function, Timothy Y. Chow
[CiE] CiE 2007 - Preliminary Announcement, S B Cooper
The Lucas Penrose Thesis, Hartley Slater
Re: The Lucas-Penrose Thesis, Robert Smith
Re: The Lucas Penrose Thesis, Jack Woods
The Lucas-Penrose Thesis, Zack Purvis

October 02, 2006

Re: The Lucas-Penrose Thesis, John McCarthy
Re: The Lucas Penrose Thesis, Eray Ozkural
Re: The Lucas-Penrose Thesis, Eray Ozkural
Re: The Lucas-Penrose Thesis, laureano luna
Re: The Lucas-Penrose Thesis, Steven Ericsson-Zenith
Re: The Lucas-Penrose Thesis, ravi narayan sarma
Re: The Lucas-Penrose Thesis, John McCarthy
Re: The Lucas-Penrose Thesis, Robbie Lindauer
Re: The Lucas-Penrose Thesis, Keith Brian Johnson
Re: Inconsistent systems., praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Re: Inconsistent systems., A.P. Hazen
grants for foreign PhD students in Padua, giovanni sambin
Re: Inconsistent systems., hendrik-e9JHxFxFq/nmOAo1QFYKGQ
Re: The Lucas-Penrose Thesis, Eray Ozkural
Re: The Lucas-Penrose Thesis, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Re: The Lucas-Penrose Thesis, Arnon Avron
Re: The Lucas Penrose Thesis, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Re: The Irrelevance of definite descriptions in the Slingshot Argument?, A.S.Virdi-QBqurZHE+u5aa/9Udqfwiw
Re: The Lucas-Penrose Thesis, Timothy Y. Chow
Re: The Lucas-Penrose Thesis, Robbie Lindauer
Re: The Lucas-Penrose Thesis, Steven Ericsson-Zenith

October 01, 2006

Re: The Irrelevance of definite descriptions in the Slingshot Argument?, kremer-t4+EzPmVLfD2fBVCVOL8/A
Re: The Lucas-Penrose Thesis, John McCarthy
Re: The Lucas-Penrose Thesis, Bob Hadley
Re: The Lucas-Penrose Thesis, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Inconsistent systems., Bill Taylor
Re: The Irrelevance of definite descriptions in the Slingshot Argument?, Richard Heck
The Lucas-Penrose Thesis, Hartley Slater
Re: The Lucas-Penrose Thesis, Robbie Lindauer
Re: The Lucas-Penrose Thesis, Robbie Lindauer
talk abstract, Harvey Friedman
Re: The Lucas-Penrose Thesis, Robbie Lindauer
Re: The Lucas-Penrose Thesis, Stewart Shapiro