science.mathematics.fom (thread)

Towards a Real Finitism?, Karlis Podnieks
- Re: Towards a Real Finitism?, David F. Isles
Modal logic with scope-modifying operators, Aatu Koskensilta
- Message not available
  - Re: Modal logic with scope-modifying operators, Thomas Forster
    - Message not available
    - Re: Modal logic with scope-modifying operators, Aatu Koskensilta
- Re: Modal logic with scope-modifying operators, tulenhei-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Predicativism and natural numbers, Giovanni Lagnese
Re: [HM] Infinity and the "Noble Lie", Alexander Zenkin
Conway on generalizing F.T. of A., joeshipman-YDxpq3io04c
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, Dana Scott
- Re: Paradise vs. Hell, Timothy Y. Chow
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
classical/constructive: what is the issue?, Gabriel Stolzenberg
A compedium... further information, José Félix Costa
- R: A compedium... Axiomatics of physical theories, Antonino Drago
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
- Message not available
  - Re: Infinity of primes in Euclid, Alexander Zenkin
historical question, Jaap van Oosten
Latest from Doron Zeilberger, Dean Buckner
- Re: Latest from Doron Zeilberger, Jacques Carette
- Re: Latest from Doron Zeilberger, aa-+lLcF8/aw9x6auLlOhE+pQ
- Re: Latest from Doron Zeilberger, Mitch Harris
- Latest from Doron Zeilberger, Dean Buckner
CiE 2006 - Student Grants and grants for researchers from the former Soviet Union, S B Cooper
Friedman on predicativity, Nik Weaver
- Message not available
  - Re: Friedman on predicativity, friedman-hyEunQjjh3V1yXs8afm8B5Vzexx5G7lz
- Friedman on predicativity, Nik Weaver
Answer to Richard -- Continued, José Félix Costa
Re: Is there a compendium of examples of the "power" of deductive logic?, Richard Haney
- Re: Is there a compendium of examples of the "power" of deductive logic?, Vladimir Sazonov
  - Message not available
    - Correction, Vladimir Sazonov
  - Message not available
    - Re: Is there a compendium of examples of the "power" of deductive logic?, John McCarthy
    - R: Is there a compendium of examples of the "power"of deductive logic?, Antonino Drago
Answer to Richard -- Stackpile of examples, José Félix Costa
- Answer to Richard -- Stackpile of examples, José Félix Costa
correction, William Tait
Questions on Complexity Theory, Dmytro Taranovsky
- Message not available
  - Re: Questions on Complexity Theory, Dmytro Taranovsky
    - Message not available
    - Re: Questions on Complexity Theory, Rahul Santhanam
FOM: Noble Lies, John Corcoran
Is there a compendium of examples of the "power" of deductive logic?, Richard Haney
- Message not available
  - Re: Is there a compendium of examples of the "power" of deductive logic?, Neil Tennant
- Re: Is there a compendium of examples of the "power" of deductivelogic?, mjmurphy
262:Correction/Restatement, Harvey Friedman
goedel prize 2006 (deadline for nominations Jan. 31, 2006) I'd like to draw your attention on the call for nominations for GOEDEL Prize 2006 (deadline January 31, 2006) All information on the nomination process can be found on the following url: http://www.eatcs.org/ or http://sigact.acm.org/prizes/godel/ From both sites you can retrieve the pdf file of the 2006 call which has all details about how to submit a nomination. Best regards, On behalf of the Award Committee Pierre-Louis Curien (chair for 2006), Pierre-Louis Curien
Infinity and the "Noble Lie", joeshipman-YDxpq3io04c
- Message not available
  - Re: Infinity and the "Noble Lie", Norman Wildberger
    - Message not available
    - Re: Infinity and the "Noble Lie", Steven Obua
    - Message not available
    - Re: Infinity and the "Noble Lie", joeshipman-YDxpq3io04c
    - Message not available
    - Re: Infinity and the "Noble Lie", Aatu Koskensilta
    - Message not available
    - Re: Infinity and the "Noble Lie", joeshipman-YDxpq3io04c
    - Message not available
    - Message not available
    - Re: Infinity and the "Noble Lie", William Tait
    - Message not available
    - Re: Infinity and the "Noble Lie", joeshipman-YDxpq3io04c
    - Message not available
    - Re: Infinity and the "Noble Lie", Andrew Boucher
    - Message not available
    - Re: Infinity and the "Noble Lie", joeshipman-YDxpq3io04c
    - Message not available
    - Re: Infinity and the "Noble Lie", Andrew Boucher
    - Message not available
    - Re: Infinity and the "Noble Lie", joeshipman-YDxpq3io04c
    - Message not available
    - Re: Infinity and the "Noble Lie", joeshipman-YDxpq3io04c
    - Message not available
    - Re: Infinity and the "Noble Lie", Andrew Boucher
    - Message not available
    - Re: Infinity and the "Noble Lie", friedman-hyEunQjjh3V1yXs8afm8B5Vzexx5G7lz
    - Message not available
    - Re: Infinity and the "Noble Lie", Aatu Koskensilta
    - Message not available
    - Re: Infinity and the "Noble Lie", William Tait
    - Message not available
    - Re: Infinity and the "Noble Lie", Patrick Caldon
- Message not available
  - Re: Infinity and the "Noble Lie", A. Mani
    - Message not available
    - Re: Infinity and the "Noble Lie", joeshipman-YDxpq3io04c
    - Message not available
    - Re: Infinity and the "Noble Lie", A. Mani
- Re: Infinity and the "Noble Lie", Timothy Y. Chow
Improving the Fundamental Theorem of Algebra (Update), joeshipman-YDxpq3io04c
Need statement of Conway/Gauntt result on finite choice axioms, joeshipman-YDxpq3io04c
- Message not available
  - Re: Need statement of Conway/Gauntt result on finite choice axioms, Thomas Forster
Smullyan' workings review, José Félix Costa
- Message not available
  - Re: Smullyan' workings review, Adam Kolany
    - Message not available
    - Re: Smullyan' workings review, John McCarthy
Re: Proof Identity, Alessio Guglielmi
- Message not available
  - Re: Proof Identity, Jon Cohen
    - Message not available
    - Re: Proof Identity, Alessio Guglielmi
2nd Call: ESSLLI 2006 Student Session, Carlos Areces
Re: Master Class in Mathematical Logic, 2006-7, Andreas Weiermann
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
- Message not available
  - An Introduction to Gödel's Theorems, Peter Smith
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
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
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