sci.logic (thread)

Re: Formal Proof Language Example - Human-Readable?, Andrew Tomazos, 2009/06/27
- Re: Formal Proof Language Example - Human-Readable?, Jan Burse, 2009/06/27
- Re: Formal Proof Language Example - Human-Readable?, Andrew Tomazos, 2009/06/27
- Re: Formal Proof Language Example - Human-Readable?, Andrew Tomazos, 2009/06/27
  - Re: Formal Proof Language Example - Human-Readable?, Joshua Cranmer, 2009/06/27
Re: Chaitin invariant, Q Delphi, 2009/06/25
- Re: Chaitin invariant, Tom, 2009/06/25
  - Re: Chaitin invariant, Aatu Koskensilta, 2009/06/25
    - Re: Chaitin invariant, Tom, 2009/06/25
      
      Re: Chaitin invariant, Aatu Koskensilta, 2009/06/25
      
      Re: Chaitin invariant, Tom, 2009/06/25
  - Re: Chaitin invariant, Jesse F. Hughes, 2009/06/25
    - Re: Chaitin invariant, Tom, 2009/06/25
      
      Re: Chaitin invariant, Jesse F. Hughes, 2009/06/26
Re: Aleph_Aleph_1, Q Delphi, 2009/06/25
Re: The basic idea behind M theories, Q Delphi, 2009/06/25
An Honest Serious Post and Declaration of Theory, Musatov, 2009/06/21
Old Grumpies, Musatov, 2009/06/20
Musatov "null zero rrror!" setsdimensional time block, to revolutionize mathematics, Musatov, 2009/06/19
- Re: Musatov "null zero merror!" setsdiensional time block, set to revolutionize mathematics, Musatov, 2009/06/19
  - usatov "null zero error!" sets dimensional time block, set to revolutionize mathematics, MeAmI.org, 2009/06/19
    - Re: Musatov "null zero error!" sets dimensional time block, set to revolutionize mathematics, MeAmI.org, 2009/06/19
[OT] (Re: and particfwd) Re: mathematical logic (was the perfect teaching language), Benjamin L . Russell, 2009/06/17
- [OT] (fwd) Re: mathematical logic (was the perfect teaching language) [Was: [OT] (Re: and particfwd) Re: mathematical logic (was the perfect teaching language)], Benjamin L . Russell, 2009/06/17
  - Re: (fwd) Re: mathematical logic (was the perfect teaching language) [Was: [OT] (Re: and particfwd) Re: mathematical logic (was the perfect teaching language)], Marshall, 2009/06/17
EINSTEINIANA DEAD? (Was: Who wrote "Reflections on relativity"?), Pentcho Valev, 2009/06/16
Re: Cantor's argument is erroneous, Musatov, 2009/06/13
Re: FOL and AST, Musatov, 2009/06/12
Re: Finitness mimicking theory "FMT"., Musatov, 2009/06/12
Re: Answer to Dik T. Winter, Musatov, 2009/06/12
Re: Diagonal wanderings (inorder), Musatov, 2009/06/12
Re: EINSTEINIANA AND REDUCTIO AD ABSURDUM, john joseph, 2009/06/12
- Re: EINSTEINIANA AND REDUCTIO AD ABSURDUM, Pentcho Valev, 2009/06/12
  - Re: EINSTEINIANA AND REDUCTIO AD ABSURDUM, Pentcho Valev, 2009/06/13
- Re: EINSTEINIANA AND REDUCTIO AD ABSURDUM, Musatov, 2009/06/12
Milenko Kindl attacks US in speech in Italy3, egergerggerg, 2009/06/11
Re: 2 Pi^2 - 0.75 = INVERSE/EXVERSE CONSTANT, Musatov, 2009/06/10
- Re: 2 Pi^2 - 0.75 = INVERSE/EXVERSE CONSTANT, The Master of Everything that does not suck, 2009/06/10
  - Re: 2 Pi^2 - 0.75 = INVERSE/EXVERSE CONSTANT, Musatov, 2009/06/10
- Re: 2 Pi^2 - 0.75 = INVERSE/EXVERSE CONSTANT, tadchem@xxxxxxxxxxx, 2009/06/11
  - Re: 2 Pi^2 - 0.75 = INVERSE/EXVERSE CONSTANT, Musatov, 2009/06/12
Re: IST - different questions, NP=P, 2009/06/10
Re: LARGE HADRON COLLIDER AND MICHELSON-MORLEY EXPERIMENT, Pentcho Valev, 2009/06/07
- Re: LARGE HADRON COLLIDER AND MICHELSON-MORLEY EXPERIMENT, zzbunker@xxxxxxxxxxxx, 2009/06/07
Re: CRIMESTOP IN SCIENCE, Pentcho Valev, 2009/06/05
Re: OPEN LETTER TO THE ROYAL SOCIETY, Pentcho Valev, 2009/06/04
Re: THE MISTAKEN COSMOLOGY, Pentcho Valev, 2009/06/03
- Re: THE MISTAKEN COSMOLOGY, Michael Helland, 2009/06/03
  - Re: THE MISTAKEN COSMOLOGY, Pentcho Valev, 2009/06/04
Programming by Induction:(NP=P), Martin Musatov, 2009/06/02
- Re: Programming by Induction:(NP=P), VMCM1905, 2009/06/02
  - Re: Programming by Induction:(NP=P), Martin Musatov, 2009/06/03
Re: Natural numbers, Aatu Koskensilta, 2009/06/02
- Re: Natural numbers, Marshall, 2009/06/03
  - Re: Natural numbers, Aatu Koskensilta, 2009/06/05
    - Re: Natural numbers, Bill Taylor, 2009/06/06
      
      Re: Natural numbers, Aatu Koskensilta, 2009/06/06
      
      Re: Natural numbers, Bill Taylor, 2009/06/06
      
      Re: Natural numbers, Aatu Koskensilta, 2009/06/08
- Re: Natural numbers, Michael Press, 2009/06/08
The Weasel And The Eagle, Martin Musatov, 2009/06/01
GUCCI jean( paypal payment )( www.faddistsaler.com ), dfdfdfdf, 2009/06/01
adidas ZX8000 Boston(www.518store.com), dfdfdfdf, 2009/06/01
Re: Natural numbers [was: Diagonal wanderings...], galathaea, 2009/05/31
- Re: Natural numbers [was: Diagonal wanderings...], Martin Musatov, 2009/05/31
- Re: Natural numbers [was: Diagonal wanderings...], Martin Michael Musatov, 2009/06/04
- Re: Natural numbers [was: Diagonal wanderings...], Martin Michael Musatov, 2009/06/04
- Re: Natural numbers [was: Diagonal wanderings...], Albrecht, 2009/06/16
  - Re: Natural numbers [was: Diagonal wanderings...], Virgil, 2009/06/16
    - Re: Natural numbers [was: Diagonal wanderings...], MeAmI.org, 2009/06/16
    - Re: Natural numbers [was: Diagonal wanderings...], Ross A. Finlayson, 2009/06/16
      
      Re: Natural numbers [was: Diagonal wanderings...], MoeBlee, 2009/06/16
      
      Re: Natural numbers [was: Diagonal wanderings...], Ross A. Finlayson, 2009/06/16
  - Re: Natural numbers [was: Diagonal wanderings...], MoeBlee, 2009/06/16
    - Re: Natural numbers [was: Diagonal wanderings...], Albrecht, 2009/06/17
      
      Re: Natural numbers [was: Diagonal wanderings...], MoeBlee, 2009/06/17
      
      Re: Natural numbers [was: Diagonal wanderings...], Albrecht, 2009/06/18
      
      Re: Natural numbers [was: Diagonal wanderings...], MeAmI.org, 2009/06/18
      
      Re: Natural numbers [was: Diagonal wanderings...], MoeBlee, 2009/06/18
      
      Re: Natural numbers [was: Diagonal wanderings...], Virgil, 2009/06/18
Re: Diagonal wanderings (incongruent by construction), Martin Musatov, 2009/05/31
- Re: Diagonal wanderings (incongruent by construction), Aatu Koskensilta, 2009/06/02
  - Re: Diagonal wanderings (incongruent by construction), tchow, 2009/06/02
  - Re: Diagonal wanderings (incongruent by construction), herbzet, 2009/06/03
    - Re: Diagonal wanderings (incongruent by construction), Marshall, 2009/06/04
    - Re: Diagonal wanderings (incongruent by construction), Aatu Koskensilta, 2009/06/05
- Re: Diagonal wanderings (incongruent by construction), R. Srinivasan, 2009/06/02
  - Re: Diagonal wanderings (incongruent by construction), MoeBlee, 2009/06/02
  - Re: Diagonal wanderings (incongruent by construction), MoeBlee, 2009/06/02
- Re: Diagonal wanderings (incongruent by construction), MoeBlee, 2009/06/02
- Re: Diagonal wanderings (incongruent by construction), herbzet, 2009/06/05
  - Re: Diagonal wanderings (incongruent by construction), Aatu Koskensilta, 2009/06/05
- Re: Diagonal wanderings (incongruent by construction), Nam Nguyen, 2009/06/06
  - Re: Diagonal wanderings (incongruent by construction), Nam Nguyen, 2009/06/06