sci.logic (date)
June 27, 2009
- Re: Formal Proof Language Example - Human-Readable?, Joshua Cranmer, 23:09
- Re: Formal Proof Language Example - Human-Readable?, Andrew Tomazos, 21:48
- Re: Formal Proof Language Example - Human-Readable?, Jan Burse, 21:37
- Re: Formal Proof Language Example - Human-Readable?, Andrew Tomazos, 21:29
- Re: Formal Proof Language Example - Human-Readable?, Andrew Tomazos, 21:27
June 25, 2009
- Re: Chaitin invariant, Tom, 16:22
- Re: Chaitin invariant, Jesse F. Hughes, 11:15
- Re: Chaitin invariant, Aatu Koskensilta, 09:49
- Re: Chaitin invariant, Aatu Koskensilta, 09:34
- Re: Chaitin invariant, Tom, 06:56
- Re: Chaitin invariant, Tom, 06:46
- Re: Chaitin invariant, Tom, 06:34
- Re: Chaitin invariant, Q Delphi, 00:29
- Re: Aleph_Aleph_1, Q Delphi, 00:28
- Re: The basic idea behind M theories, Q Delphi, 00:21
June 19, 2009
- Re: Musatov "null zero error!" sets dimensional time block, set to revolutionize mathematics, MeAmI.org, 06:42
- usatov "null zero error!" sets dimensional time block, set to revolutionize mathematics, MeAmI.org, 06:41
- Re: Musatov "null zero merror!" setsdiensional time block, set to revolutionize mathematics, Musatov, 03:43
- Musatov "null zero rrror!" setsdimensional time block, to revolutionize mathematics, Musatov, 03:36
June 17, 2009
- Re: Natural numbers [was: Diagonal wanderings...], MoeBlee, 18:12
- Re: Natural numbers [was: Diagonal wanderings...], Albrecht, 15:04
- Re: (fwd) Re: mathematical logic (was the perfect teaching language) [Was: [OT] (Re: and particfwd) Re: mathematical logic (was the perfect teaching language)], Marshall, 09:35
- [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, 02:29
- [OT] (Re: and particfwd) Re: mathematical logic (was the perfect teaching language), Benjamin L . Russell, 02:09
June 16, 2009
- Re: Natural numbers [was: Diagonal wanderings...], Ross A. Finlayson, 20:32
- Re: Natural numbers [was: Diagonal wanderings...], MoeBlee, 20:16
- Re: Natural numbers [was: Diagonal wanderings...], MoeBlee, 20:15
- Re: Natural numbers [was: Diagonal wanderings...], Ross A. Finlayson, 19:58
- Re: Natural numbers [was: Diagonal wanderings...], MeAmI.org, 19:50
- Re: Natural numbers [was: Diagonal wanderings...], Virgil, 19:36
- Re: Natural numbers [was: Diagonal wanderings...], Albrecht, 18:13
- EINSTEINIANA DEAD? (Was: Who wrote "Reflections on relativity"?), Pentcho Valev, 02:08
June 12, 2009
- Re: EINSTEINIANA AND REDUCTIO AD ABSURDUM, Musatov, 21:27
- Re: FOL and AST, Musatov, 15:50
- Re: Finitness mimicking theory "FMT"., Musatov, 15:44
- Re: EINSTEINIANA AND REDUCTIO AD ABSURDUM, Pentcho Valev, 12:33
- Re: Answer to Dik T. Winter, Musatov, 10:33
- Re: Diagonal wanderings (inorder), Musatov, 10:28
- Re: EINSTEINIANA AND REDUCTIO AD ABSURDUM, john joseph, 09:40
- Re: 2 Pi^2 - 0.75 = INVERSE/EXVERSE CONSTANT, Musatov, 04:47
June 06, 2009
- Re: Natural numbers, Bill Taylor, 22:09
- Re: Diagonal wanderings (incongruent by construction), Nam Nguyen, 14:13
- Re: Diagonal wanderings (incongruent by construction), Nam Nguyen, 13:06
- Re: Natural numbers, Aatu Koskensilta, 06:06
- Re: Natural numbers, Bill Taylor, 01:37
June 05, 2009
- Re: Diagonal wanderings (incongruent by construction), Aatu Koskensilta, 10:49
- Re: Natural numbers, Aatu Koskensilta, 10:47
- Re: Diagonal wanderings (incongruent by construction), Aatu Koskensilta, 10:09
- Re: Diagonal wanderings (incongruent by construction), herbzet, 03:43
- Re: CRIMESTOP IN SCIENCE, Pentcho Valev, 03:40
June 04, 2009
- Re: THE MISTAKEN COSMOLOGY, Pentcho Valev, 07:18
- Re: OPEN LETTER TO THE ROYAL SOCIETY, Pentcho Valev, 06:10
- Re: Natural numbers [was: Diagonal wanderings...], Martin Michael Musatov, 00:55
- Re: Natural numbers [was: Diagonal wanderings...], Martin Michael Musatov, 00:42
- Re: Diagonal wanderings (incongruent by construction), Marshall, 00:30
June 03, 2009
- Re: Diagonal wanderings (incongruent by construction), herbzet, 22:03
- Re: Natural numbers, Marshall, 20:10
- Re: THE MISTAKEN COSMOLOGY, Michael Helland, 17:04
- Re: THE MISTAKEN COSMOLOGY, Pentcho Valev, 12:52
- Re: Programming by Induction:(NP=P), Martin Musatov, 00:19
June 02, 2009
- Re: Programming by Induction:(NP=P), VMCM1905, 20:19
- Re: Diagonal wanderings (incongruent by construction), MoeBlee, 20:01
- Re: Diagonal wanderings (incongruent by construction), MoeBlee, 19:45
- Programming by Induction:(NP=P), Martin Musatov, 17:09
- Re: Diagonal wanderings (incongruent by construction), MoeBlee, 13:12
- Re: Diagonal wanderings (incongruent by construction), R. Srinivasan, 11:13
- Re: Diagonal wanderings (incongruent by construction), tchow, 10:38
- Re: Diagonal wanderings (incongruent by construction), Aatu Koskensilta, 09:27
- Re: Natural numbers, Aatu Koskensilta, 08:36
Privacy Policy