science.mathematics.fom (thread)

recent biography of Alfred Tarski, Martin Davis
Platonism, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Feasibility, Vladimir Sazonov
- Feasibility, Vladimir Sazonov
- RE: Feasibility, Vladimir Sazonov
Re: Interpretability in Q (Edward T. Dean), Sam Buss
Interpretability in Q, Edward T. Dean
- Message not available
  - Re: Interpretability in Q, Robert M. Solovay
    - Re: Interpretability in Q, Robert M. Solovay
- Message not available
  - Re: Interpretability in Q, Harvey Friedman
    - Message not available
    - Interpretability in Q/CORRECTION, Harvey Friedman
    - Message not available
    - Interpretability in Q: more comments., Robert M. Solovay
243:Inexplicit Pi01/Ordinals of Set Theories, Harvey Friedman
Why NP is not P: Basic combinatorial argument, Lew Gordeew
242:4th Pi01 Update, Harvey Friedman
RE:2^1000, Matt Insall
- Message not available
  - Re: RE:2^1000, Vladimir Sazonov
    - Message not available
    - RE: RE:2^1000, Matt Insall
Paradox on Ordinals and Human Mind, Dmytro Taranovsky
- Message not available
  - Re: Paradox on Ordinals and Human Mind, Schneelocke
- Message not available
  - Re: Paradox on Ordinals and Human Mind, Harvey Friedman
- Paradox on Ordinals and Human Mind, A.P. Hazen
- Re: Paradox on Ordinals and Human Mind, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS II (first annoucement), Carles Noguera i Clofent
ESSLLI workshop CfP: Formal semantics and cross-linguistic data, Zwarts-FT9nftu9LUxX9el/+yt6TA
Closure under addition, Arnon Avron
- Message not available
  - Re: Closure under addition, Vladimir Sazonov
ARISTOTLE, BOOLE, AND PEIRCE ON "SOME ECKS IS NOT A WYE"., Hartley Slater
241:3rd Pi01 Update, Harvey Friedman
240:2nd Pi01 Update, Harvey Friedman
ARISTOTLE, BOOLE, AND PEIRCE ON "SOME ECKS IS NOT A WYE"., John Corcoran
239:Pi01 Update, Harvey Friedman
SEALS 2005, Douglas Cenzer
Uncertainty, Steve Stevenson
CFP workshop on belief revision and dynamic logic, Andreas HERZIG
3-year Lectureship, Logic/TCS, Bath, England, David J. Pym
238:Pi01 Independence/Large Large Cardinals/Correction, Harvey Friedman
Another pair of historical queries ..., Peter Smith
- Message not available
  - Re: Another pair of historical queries ..., Neil Tennant
Potgieter on hypercomputation, Timothy Y. Chow
- Message not available
  - Re: Potgieter on hypercomputation, Apostolos Syropoulos
    - Message not available
    - Re: Potgieter on hypercomputation, Vladimir Sazonov
    - Message not available
    - Message not available
    - Re: Potgieter on hypercomputation, Apostolos Syropoulos
    - Message not available
    - Message not available
    - Re: Potgieter on hypercomputation, Vladimir Sazonov
    - Message not available
    - Re: Potgieter on hypercomputation, Apostolos Syropoulos
    - Message not available
    - Re: Potgieter on hypercomputation, Vladimir Sazonov
    - Message not available
    - Re: Potgieter on hypercomputation, Robbie Lindauer
- Re: Potgieter on hypercomputation, Timothy Y. Chow
  - Message not available
    - Re: Re: Potgieter on hypercomputation, Apostolos Syropoulos
- Re: Potgieter on hypercomputation, Gernot Salzer
CiE 2005: Reminder - Deadline December 17th, S B Cooper
237:More Neatening Pi01 Affine Independence, Harvey Friedman
Complexity of intuitionistic propositional calculus, Harvey Friedman
More on first-order logic with operation constants, John Corcoran
- Re: More on first-order logic with operation constants, A.P. Hazen
- Re: More on first-order logic with operation constants, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
236:Pi01 Independence/Huge Cardinals, Harvey Friedman
First CFP: ESSLLI Workshop on Challenges & Alternatives to Strict Compositionality, Manfred Sailer
Re: FIRST-ORDER LOGIC WITH IDENTITY, INDIVIDUAL CONSTANTS AND FUNCTION CONSTANTS., A.P. Hazen
FIRST-ORDER LOGIC WITH IDENTITY, INDIVIDUAL CONSTANTS AND FUNCTION CONSTANTS., John Corcoran
Paris Harrington for two colors, Andreas Weiermann
Fast-growing functions and P = NP, Timothy Y. Chow
Historical query (on the very idea of a formalized theory), Peter Smith
- Message not available
  - Re: Historical query (on the very idea of a formalized theory), Roger B Jones
- Message not available
  - Re: Historical query (on the very idea of a formalized theory), Richard Zach
    - Message not available
    - Re: Historical query (on the very idea of a formalized theory), Richard Zach
decidability of intuitionistic propositional logic, Neil Tennant
- Message not available
  - Re: decidability of intuitionistic propositional logic, A.P. Hazen
    - Re: decidability of intuitionistic propositional logic, Neil Tennant
- Message not available
  - Re: decidability of intuitionistic propositional logic, Arnon Avron
- Message not available
  - Re: decidability of intuitionistic propositional logic, Richard Zach
- Re: decidability of intuitionistic propositional logic, Alasdair Urquhart
- decidability of intuitionistic propositional logic, Neil Tennant
  - Message not available
    - decid'ity of int pro logic & Jaskowski, A.P. Hazen
- Decidability of intuitionistic propositional logic, Alasdair Urquhart
proof theory cousre, Peter Cholak
Re: Re: Shapiro on natural and formal languages, Harvey Friedman
- Message not available
  - Re: Re: Shapiro on natural and formal languages, Roger B Jones
- Re: Shapiro on natural and formal languages, Timothy Y. Chow
  - Message not available
    - Re: Re: Shapiro on natural and formal languages, henriknordmark-ee4meeAH724
  - Message not available
    - Formalization of visual proofs (was Re: Shapiro), Mitchell Harris
    - Re: Formalization of visual proofs (was Re: Shapiro), Vladimir Sazonov
  - Message not available
    - Re: Re: Shapiro on natural and formal languages, Jeremy Clark
    - Message not available
    - Re: Shapiro on natural and formal languages, Timothy Y. Chow
- Re: Re: Shapiro on natural and formal languages, Vladimir Sazonov
- Re: Re: Shapiro on natural and formal languages, JoeShipman-YDxpq3io04c
  - Message not available
    - Re: Re: Shapiro on natural and formal languages, Vladimir Sazonov
- Re: Re: Shapiro on natural and formal languages, JoeShipman-YDxpq3io04c
  - Message not available
    - Re: Shapiro on natural and formal languages, Timothy Y. Chow
    - Message not available
    - Re: Re: Shapiro on natural and formal languages, Rob Arthan
    - Message not available
    - Re: Shapiro on natural and formal languages, Timothy Y. Chow
- Re: Re: Shapiro on natural and formal languages, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
- Re: Re: Shapiro on natural and formal languages, Jeffrey Ketland
  - Re: Re: Shapiro on natural and formal languages, Vladimir Sazonov