science.mathematics.fom (date)

science.mathematics.fom (date)

December 29, 2005

Re: Modal logic with scope-modifying operators, tulenhei-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Re: Towards a Real Finitism?, David F. Isles
Towards a Real Finitism?, Karlis Podnieks
Re: Modal logic with scope-modifying operators, Aatu Koskensilta

December 28, 2005

Re: Modal logic with scope-modifying operators, Thomas Forster

December 27, 2005

Modal logic with scope-modifying operators, Aatu Koskensilta
Predicativism and natural numbers, Giovanni Lagnese

December 26, 2005

Re: [HM] Infinity and the "Noble Lie", Alexander Zenkin

December 24, 2005

Conway on generalizing F.T. of A., joeshipman-YDxpq3io04c

December 21, 2005

R: A compedium... Axiomatics of physical theories, Antonino Drago

December 20, 2005

A Model of Hypercomputation, Dmytro Taranovsky
Re: Question about "fresh" variables/objects in logics, Divianszky Peter
Actual and potential infinite in Euclidean geometry, José Félix Costa
PhD Scholarship, Edwin Mares
Re: Paradise vs. Hell, Timothy Y. Chow

December 19, 2005

Re: Paradise vs. Hell, Dana Scott
Partial Combinatory algebras., Thomas Forster
CFP: HyLo 2006 first call for papers, Thomas Bolander
Answer to Jaap van Oosten, José Félix Costa
CFP: International Workshop on Hybrid Logic 2005 (HyLo 2006), Carlos Areces
ESSLLI 2006: List of Courses, Carlos Areces
A Paradise of Fools that feels more like Hell, Dana Scott
Latest from Doron Zeilberger, Dean Buckner
Friedman on predicativity, Nik Weaver
classical/constructive: what is the issue?, Gabriel Stolzenberg
Re: Latest from Doron Zeilberger, aa-+lLcF8/aw9x6auLlOhE+pQ
Re: Latest from Doron Zeilberger, Jacques Carette
Re: Latest from Doron Zeilberger, Mitch Harris
Re: Infinity of primes in Euclid, Alexander Zenkin

December 16, 2005

A compedium... further information, José Félix Costa
MKM 2006 First Call for Papers and Workshop Proposals, William Farmer
A compedium... from McCarthy to Drago, José Félix Costa
Infinity of primes in Euclid, Mark Bridger
Re: Questions on Complexity Theory, Rahul Santhanam
historical question, Jaap van Oosten
Latest from Doron Zeilberger, Dean Buckner

December 15, 2005

R: Is there a compendium of examples of the "power"of deductive logic?, Antonino Drago
Re: Infinity and the "Noble Lie", Andrew Boucher
Re: Questions on Complexity Theory, Dmytro Taranovsky

December 14, 2005

Re: Infinity and the "Noble Lie", joeshipman-YDxpq3io04c
Re: Friedman on predicativity, friedman-hyEunQjjh3V1yXs8afm8B5Vzexx5G7lz
Re: Infinity and the "Noble Lie", joeshipman-YDxpq3io04c
CiE 2006 - Student Grants and grants for researchers from the former Soviet Union, S B Cooper
Re: Is there a compendium of examples of the "power" of deductive logic?, John McCarthy
Re: Infinity and the "Noble Lie", Andrew Boucher
Correction, Vladimir Sazonov
Re: Infinity and the "Noble Lie", friedman-hyEunQjjh3V1yXs8afm8B5Vzexx5G7lz
Re: Is there a compendium of examples of the "power" of deductive logic?, Vladimir Sazonov
Re: Infinity and the "Noble Lie", joeshipman-YDxpq3io04c
Friedman on predicativity, Nik Weaver

December 13, 2005

Answer to Richard -- Continued, José Félix Costa
Re: Infinity and the "Noble Lie", Aatu Koskensilta
Re: Infinity and the "Noble Lie", Andrew Boucher
Re: Is there a compendium of examples of the "power" of deductive logic?, Richard Haney

December 12, 2005

Re: Infinity and the "Noble Lie", joeshipman-YDxpq3io04c
Re: Infinity and the "Noble Lie", Patrick Caldon
An Introduction to Gödel's Theorems, Peter Smith
Answer to Richard -- Stackpile of examples, José Félix Costa
Answer to Richard -- Stackpile of examples, José Félix Costa
correction, William Tait
Re: Infinity and the "Noble Lie", William Tait

December 11, 2005

Re: Is there a compendium of examples of the "power" of deductivelogic?, mjmurphy
Re: Infinity and the "Noble Lie", joeshipman-YDxpq3io04c
Questions on Complexity Theory, Dmytro Taranovsky
FOM: Noble Lies, John Corcoran
Re: Infinity and the "Noble Lie", Timothy Y. Chow
Re: Is there a compendium of examples of the "power" of deductive logic?, Neil Tennant

December 10, 2005

Is there a compendium of examples of the "power" of deductive logic?, Richard Haney
Re: Infinity and the "Noble Lie", A. Mani
Re: Infinity and the "Noble Lie", William Tait
Re: Infinity and the "Noble Lie", Aatu Koskensilta

December 09, 2005

Re: Infinity and the "Noble Lie", joeshipman-YDxpq3io04c
262:Correction/Restatement, Harvey Friedman
Re: Smullyan' workings review, John McCarthy
Re: Infinity and the "Noble Lie", Steven Obua
Re: Proof Identity, Alessio Guglielmi
Re: Infinity and the "Noble Lie", joeshipman-YDxpq3io04c

December 08, 2005

December 07, 2005

Infinity and the "Noble Lie", joeshipman-YDxpq3io04c
Improving the Fundamental Theorem of Algebra (Update), joeshipman-YDxpq3io04c
Need statement of Conway/Gauntt result on finite choice axioms, joeshipman-YDxpq3io04c
Smullyan' workings review, José Félix Costa
Re: Proof Identity, Alessio Guglielmi
2nd Call: ESSLLI 2006 Student Session, Carlos Areces
Re: Master Class in Mathematical Logic, 2006-7, Andreas Weiermann

December 06, 2005

workshop on termination 2006 in Seattle, Andreas Weiermann
2nd CFP Conference (Anti-)Realisms, Manuel Rebuschi
Chinese and Indian logic -- Buckner's post, José Félix Costa
review of two books on logic and foundations, Jeremy Avigad
260:Pi01/simplification, Harvey Friedman
261:Pi01/nicer, Harvey Friedman
Lack of abstraction in LOGIC but not only, José Félix Costa
about predicativity, Harvey Friedman

December 02, 2005

CSR-2006: Springer LNCS, Deadline 18th December, Edward A. Hirsch
Chinese and Indian logic, Dean Buckner
Imaginary numbers in logic -- answer to Jim, José Félix Costa
Solomon Feferman's response to "Predicativity beyond Gamma_0", Nik Weaver

December 01, 2005

Re.. Question on the relevance of pragmatism to mathematical abstraction [nonconstructive numerical analysis], Richard Haney
Re.. Question on the relevance of pragmatism to mathematical abstraction [re natural science], Richard Haney

News | FAQ | advertise