December 2005 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Thu Dec 1 11:28:31 EDT 2005
Ending: Sat Dec 31 17:19:26 EDT 2005
Messages: 103

• [FOM] 2nd Call: ESSLLI 2006 Student Session   Carlos Areces
• [FOM] ESSLLI 2006: List of Courses   Carlos Areces
• [FOM] CFP: International Workshop on Hybrid Logic 2005 (HyLo 2006)   Carlos Areces
• [FOM] review of two books on logic and foundations   Jeremy Avigad
• [FOM] CFP: HyLo 2006 first call for papers   Thomas Bolander
• [FOM] Infinity and the "Noble Lie"   Andrew Boucher
• [FOM] Infinity and the "Noble Lie"   Andrew Boucher
• [FOM] Infinity and the "Noble Lie"   Andrew Boucher
• [FOM] Infinity of primes in Euclid   Mark Bridger
• [FOM] Chinese and Indian logic   Dean Buckner
• [FOM] Latest from Doron Zeilberger   Dean Buckner
• [FOM] Latest from Doron Zeilberger   Dean Buckner
• [FOM] Infinity and the "Noble Lie"   Patrick Caldon
• [FOM] Latest from Doron Zeilberger   Jacques Carette
• [FOM] Infinity and the "Noble Lie"   Timothy Y. Chow
• [FOM] Paradise vs. Hell   Timothy Y. Chow
• [FOM] Proof Identity   Jon Cohen
• [FOM] CiE 2006 - Student Grants and grants for researchers from the former Soviet Union   S B Cooper
• [FOM] FOM: Noble Lies   John Corcoran
• [FOM] Imaginary numbers in logic -- answer to Jim   José Félix Costa
• [FOM] Lack of abstraction in LOGIC but not only   José Félix Costa
• [FOM] Chinese and Indian logic -- Buckner's post   José Félix Costa
• [FOM] Smullyan' workings review   José Félix Costa
• [FOM] Answer to Richard -- Stackpile of examples   José Félix Costa
• [FOM] Answer to Richard -- Stackpile of examples   José Félix Costa
• [FOM] Answer to Richard -- Continued   José Félix Costa
• [FOM] A compedium... from McCarthy to Drago   José Félix Costa
• [FOM] A compedium... further information   José Félix Costa
• [FOM] Answer to Jaap van Oosten   José Félix Costa
• [FOM] Actual and potential infinite in Euclidean geometry   José Félix Costa
• [FOM] 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
• [FOM] R: Is there a compendium of examples of the "power"of deductive logic?   Antonino Drago
• [FOM] R: A compedium... Axiomatics of physical theories   Antonino Drago
• [FOM] MKM 2006 First Call for Papers and Workshop Proposals   William Farmer
• [FOM] Need statement of Conway/Gauntt result on finite choice axioms   Thomas Forster
• [FOM] Partial Combinatory algebras.   Thomas Forster
• [FOM] Modal logic with scope-modifying operators   Thomas Forster
• [FOM] about predicativity   Harvey Friedman
• [FOM] 260:Pi01/simplification   Harvey Friedman
• [FOM] 261:Pi01/nicer   Harvey Friedman
• [FOM] 262:Correction/Restatement   Harvey Friedman
• [FOM] Proof Identity   Alessio Guglielmi
• [FOM] Proof Identity   Alessio Guglielmi
• [FOM] Is there a compendium of examples of the "power" of deductive logic?   Richard Haney
• [FOM] Is there a compendium of examples of the "power" of deductive logic?   Richard Haney
• [FOM] Latest from Doron Zeilberger   Mitch Harris
• [FOM] CSR-2006: Springer LNCS, Deadline 18th December   Edward A. Hirsch
• [FOM] Towards a Real Finitism?   David F. Isles
• [FOM] Smullyan' workings review   Adam Kolany
• [FOM] Infinity and the "Noble Lie"   Aatu Koskensilta
• [FOM] Infinity and the "Noble Lie"   Aatu Koskensilta
• [FOM] Modal logic with scope-modifying operators   Aatu Koskensilta
• [FOM] Modal logic with scope-modifying operators   Aatu Koskensilta
• [FOM] Predicativism and natural numbers   Giovanni Lagnese
• [FOM] Infinity and the "Noble Lie"   A. Mani
• [FOM] Infinity and the "Noble Lie"   A. Mani
• [FOM] PhD Scholarship   Edwin Mares
• [FOM] Smullyan' workings review   John McCarthy
• [FOM] Is there a compendium of examples of the "power" of deductive logic?   John McCarthy
• [FOM] Infinity and the "Noble Lie"   Steven Obua
• [FOM] historical question   Jaap van Oosten
• [FOM] Question about "fresh" variables/objects in logics   Divianszky Peter
• [FOM] Towards a Real Finitism?   Karlis Podnieks
• [FOM] 2nd CFP Conference (Anti-)Realisms   Manuel Rebuschi
• [FOM] Questions on Complexity Theory   Rahul Santhanam
• [FOM] Is there a compendium of examples of the "power" of deductive logic?   Vladimir Sazonov
• [FOM] Correction   Vladimir Sazonov
• [FOM] A Paradise of Fools that feels more like Hell   Dana Scott
• [FOM] Paradise vs. Hell   Dana Scott
• [FOM] Predicativism and natural numbers   Charles Silver
• [FOM] An Introduction to Gödel's Theorems   Peter Smith
• [FOM] classical/constructive: what is the issue?   Gabriel Stolzenberg
• [FOM] Infinity and the "Noble Lie"   William Tait
• [FOM] Infinity and the "Noble Lie"   William Tait
• [FOM] correction   William Tait
• [FOM] Questions on Complexity Theory   Dmytro Taranovsky
• [FOM] Re: Questions on Complexity Theory   Dmytro Taranovsky
• [FOM] A Model of Hypercomputation   Dmytro Taranovsky
• [FOM] Is there a compendium of examples of the "power" of deductive logic?   Neil Tennant
• [FOM] Solomon Feferman's response to "Predicativity beyond Gamma_0"   Nik Weaver
• [FOM] Friedman on predicativity   Nik Weaver
• [FOM] Friedman on predicativity   Nik Weaver
• [FOM] workshop on termination 2006 in Seattle   Andreas Weiermann
• [FOM] Master Class in Mathematical Logic, 2006-7   Andreas Weiermann
• [FOM] Infinity and the "Noble Lie"   Norman Wildberger
• [FOM] Infinity of primes in Euclid   Alexander Zenkin
• [FOM] [HM] Infinity and the "Noble Lie"   Alexander Zenkin
• [FOM] Latest from Doron Zeilberger   aa at post.tau.ac.il
• [FOM] Infinity and the "Noble Lie"   friedman at math.ohio-state.edu
• [FOM] Friedman on predicativity   friedman at math.ohio-state.edu
• [FOM] Need statement of Conway/Gauntt result on finite choice axioms   joeshipman at aol.com
• [FOM] Improving the Fundamental Theorem of Algebra (Update)   joeshipman at aol.com
• [FOM] Infinity and the "Noble Lie"   joeshipman at aol.com
• [FOM] Infinity and the "Noble Lie"   joeshipman at aol.com
• [FOM] Infinity and the "Noble Lie"   joeshipman at aol.com
• [FOM] Infinity and the "Noble Lie"   joeshipman at aol.com
• [FOM] Infinity and the "Noble Lie"   joeshipman at aol.com
• [FOM] Infinity and the "Noble Lie"   joeshipman at aol.com
• [FOM] Infinity and the "Noble Lie"   joeshipman at aol.com
• [FOM] Infinity and the "Noble Lie"   joeshipman at aol.com
• [FOM] Conway on generalizing F.T. of A.   joeshipman at aol.com
• [FOM] Is there a compendium of examples of the "power" of deductivelogic?   mjmurphy
• [FOM] Modal logic with scope-modifying operators   tulenhei at mappi.helsinki.fi

Last message date: Sat Dec 31 17:19:26 EDT 2005
Archived on: Sat Dec 31 19:41:26 EDT 2005

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...