Groups
Conversations
All groups and messages
Send feedback to Google
Help
Sign in
Groups
sci.logic
Conversations
About
sci.logic
1–30 of 38431
Mark all as read
Report abusive group
0 selected
Khong Dong
,
Jeff Barnett
3
2:31 AM
'How would one formally define -- in the language of real numbers -- the unary predicate constant symbol "prime"?'
On 9/24/2022 11:53 AM, Khong Dong wrote: > > Fyi.,: https://mathoverflow.net/q/431148/125063
unread,
'How would one formally define -- in the language of real numbers -- the unary predicate constant symbol "prime"?'
On 9/24/2022 11:53 AM, Khong Dong wrote: > > Fyi.,: https://mathoverflow.net/q/431148/125063
2:31 AM
Dan Christensen
, …
Fritz Feldhase
12
12:35 AM
New Version of DC Proof with expanded tutorial
On Sunday, September 25, 2022 at 12:01:35 AM UTC-4, Fritz Feldhase wrote: > On Saturday, September
unread,
New Version of DC Proof with expanded tutorial
On Sunday, September 25, 2022 at 12:01:35 AM UTC-4, Fritz Feldhase wrote: > On Saturday, September
12:35 AM
Daniel Pehoushek
, …
Rich D
130
Sep 24
Theorem: Monotone quantified boolean formula are linearly decidable
On September 23, pehou...@gmail.com wrote: > my background resume > I discovered half clauses
unread,
Theorem: Monotone quantified boolean formula are linearly decidable
On September 23, pehou...@gmail.com wrote: > my background resume > I discovered half clauses
Sep 24
olcott
2
Sep 24
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--]
On 9/24/2022 12:02 PM, Mr Flibble wrote: > On Sat, 24 Sep 2022 08:29:47 -0500 > olcott <
unread,
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--]
On 9/24/2022 12:02 PM, Mr Flibble wrote: > On Sat, 24 Sep 2022 08:29:47 -0500 > olcott <
Sep 24
Antonio Speltzu
, …
Ross A. Finlayson
8
Sep 24
Mathematical axioms.
On Saturday, September 24, 2022 at 10:17:05 AM UTC-7, Ross A. Finlayson wrote: > On Saturday,
unread,
Mathematical axioms.
On Saturday, September 24, 2022 at 10:17:05 AM UTC-7, Ross A. Finlayson wrote: > On Saturday,
Sep 24
Mostowski Collapse
, …
Dan Christensen
59
Sep 24
How difficult is contraposition for DC Proof and Dan Christensen?
On Friday, September 23, 2022 at 7:31:25 PM UTC-4, Mostowski Collapse wrote: > And why can you not
unread,
How difficult is contraposition for DC Proof and Dan Christensen?
On Friday, September 23, 2022 at 7:31:25 PM UTC-4, Mostowski Collapse wrote: > And why can you not
Sep 24
olcott
, …
Richard Damon
12
Sep 23
The Halting Problem proofs have a fatal flaw
On 9/23/22 11:30 AM, olcott wrote: > On 9/22/2022 10:09 PM, Richard Damon wrote: >> On 9/22/
unread,
The Halting Problem proofs have a fatal flaw
On 9/23/22 11:30 AM, olcott wrote: > On 9/22/2022 10:09 PM, Richard Damon wrote: >> On 9/22/
Sep 23
olcott
, …
Richard Damon
44
Sep 23
Halting problem proofs refuted on the basis of software engineering ?
On 9/23/22 11:23 AM, olcott wrote: > On 9/22/2022 9:43 PM, Richard Damon wrote: >> >>
unread,
Halting problem proofs refuted on the basis of software engineering ?
On 9/23/22 11:23 AM, olcott wrote: > On 9/22/2022 9:43 PM, Richard Damon wrote: >> >>
Sep 23
Antonio Speltzu
, …
Sergi o
24
Sep 23
Expressions that do not express what they express.
On 9/23/2022 11:26 AM, Ross A. Finlayson wrote: > On Friday, September 23, 2022 at 9:01:29 AM UTC-
unread,
Expressions that do not express what they express.
On 9/23/2022 11:26 AM, Ross A. Finlayson wrote: > On Friday, September 23, 2022 at 9:01:29 AM UTC-
Sep 23
Pentcho Valev
Sep 23
Vandalizing Space and Time Doesn't Work : the Speed of Light Remains Variable
"To state that the speed of light is independent of the velocity of the observer is very
unread,
Vandalizing Space and Time Doesn't Work : the Speed of Light Remains Variable
"To state that the speed of light is independent of the velocity of the observer is very
Sep 23
Pentcho Valev
Sep 23
Einstein's Relativity: the Perihelion-of-Mercury Hoax
Professor George Smoot, University of California Berkeley: "Einstein was able to predict,
unread,
Einstein's Relativity: the Perihelion-of-Mercury Hoax
Professor George Smoot, University of California Berkeley: "Einstein was able to predict,
Sep 23
Dan Christensen
, …
Fritz Feldhase
26
Sep 22
Justifying the truth table for the IMPLIES-operator
On Thursday, September 22, 2022 at 11:27:42 PM UTC-4, Fritz Feldhase wrote: > On Friday, September
unread,
Justifying the truth table for the IMPLIES-operator
On Thursday, September 22, 2022 at 11:27:42 PM UTC-4, Fritz Feldhase wrote: > On Friday, September
Sep 22
Daniel Pehoushek
5
Sep 22
the most general intelligence in twelve lines ever published on sci dot logic
On Wednesday, September 21, 2022 at 3:25:02 AM UTC-4, Daniel Pehoushek wrote: > On Tuesday,
unread,
the most general intelligence in twelve lines ever published on sci dot logic
On Wednesday, September 21, 2022 at 3:25:02 AM UTC-4, Daniel Pehoushek wrote: > On Tuesday,
Sep 22
Pentcho Valev
,
Daniel Pehoushek
2
Sep 21
Light Falls and Deflects as per Newton, Theoretical Physicists!
mass counts try these two revised equations for dark energy and matter e over mc squared equals log
unread,
Light Falls and Deflects as per Newton, Theoretical Physicists!
mass counts try these two revised equations for dark energy and matter e over mc squared equals log
Sep 21
Pentcho Valev
Sep 21
Einstein Camouflages the Constant-Speed-of-Light Fraud
Albert Einstein: "If a ray of light be sent along the embankment, we see from the above that the
unread,
Einstein Camouflages the Constant-Speed-of-Light Fraud
Albert Einstein: "If a ray of light be sent along the embankment, we see from the above that the
Sep 21
Khong Dong
3
Sep 21
"What are the most complex issues mathematicians are currently facing?"
On Wednesday, 21 September 2022 at 10:23:05 UTC-6, Khong Dong wrote: > On Wednesday, 21 September
unread,
"What are the most complex issues mathematicians are currently facing?"
On Wednesday, 21 September 2022 at 10:23:05 UTC-6, Khong Dong wrote: > On Wednesday, 21 September
Sep 21
PengKuan Em
, …
Ross A. Finlayson
72
Sep 21
Examination of Cantor’s proofs for uncountability and axiom for counting infinite sets
On Monday, September 19, 2022 at 9:47:41 AM UTC-7, tita...@gmail.com wrote: > Le vendredi 16
unread,
Examination of Cantor’s proofs for uncountability and axiom for counting infinite sets
On Monday, September 19, 2022 at 9:47:41 AM UTC-7, tita...@gmail.com wrote: > Le vendredi 16
Sep 21
Mostowski Collapse
, …
Fritz Feldhase
69
Sep 21
The Exponentiation Axiom --> An Inconsistency in DC Proof
On Wednesday, September 21, 2022 at 9:02:42 AM UTC+2, Mostowski Collapse wrote: > a) f : A -> B
unread,
The Exponentiation Axiom --> An Inconsistency in DC Proof
On Wednesday, September 21, 2022 at 9:02:42 AM UTC+2, Mostowski Collapse wrote: > a) f : A -> B
Sep 21
Robert J. Kolker
,
Mostowski Collapse
4
Sep 20
Kripkes Theorem?
The month September has really its ups and downs: "One year later, on Monday September 19, 1994,
unread,
Kripkes Theorem?
The month September has really its ups and downs: "One year later, on Monday September 19, 1994,
Sep 20
Pentcho Valev
, …
Jeffrey Rubard
8
Sep 20
Entropy : the Not Even Wrong Concept That Always Wins
On Monday, September 19, 2022 at 5:52:54 PM UTC-7, Jeffrey Rubard wrote: > On Monday, September 19
unread,
Entropy : the Not Even Wrong Concept That Always Wins
On Monday, September 19, 2022 at 5:52:54 PM UTC-7, Jeffrey Rubard wrote: > On Monday, September 19
Sep 20
Pentcho Valev
,
Daniel Pehoushek
3
Sep 20
Brian Greene Brainwashes the Scientific Community
try these two revised equqtions for dark energy and matter e over mc squared equals log of m force r
unread,
Brian Greene Brainwashes the Scientific Community
try these two revised equqtions for dark energy and matter e over mc squared equals log of m force r
Sep 20
Pentcho Valev
2
Sep 19
Did Einstein's Constant-Speed-of-Light Falsehood Kill Physics?
Einstein's constant speed of light is obviously false. Consider Doppler (moving observer): https:
unread,
Did Einstein's Constant-Speed-of-Light Falsehood Kill Physics?
Einstein's constant speed of light is obviously false. Consider Doppler (moving observer): https:
Sep 19
Mostowski Collapse
, …
Daniel Pehoushek
27
Sep 19
ANN: Dogelog: We Have Liftoff, We Have Liftoff
The Dogelog player did already have support for the discontiguous/1 directive for a while, but the
unread,
ANN: Dogelog: We Have Liftoff, We Have Liftoff
The Dogelog player did already have support for the discontiguous/1 directive for a while, but the
Sep 19
Graham Cooper
,
Sergio
2
Sep 18
ERROR in CANTORS PROOF
On 9/18/2022 1:56 AM, Graham Cooper wrote: > take a random sequence of digits > > rr =
unread,
ERROR in CANTORS PROOF
On 9/18/2022 1:56 AM, Graham Cooper wrote: > take a random sequence of digits > > rr =
Sep 18
olcott
,
Mr Flibble
5
Sep 17
Hx(Px,Px)==0 is proven to be correct (refuting halting problem proofs) V2sci
On Fri, 16 Sep 2022 20:10:57 -0500 olcott <polcott2@gmail.com> wrote: > On 9/16/2022 8:06 PM
unread,
Hx(Px,Px)==0 is proven to be correct (refuting halting problem proofs) V2sci
On Fri, 16 Sep 2022 20:10:57 -0500 olcott <polcott2@gmail.com> wrote: > On 9/16/2022 8:06 PM
Sep 17
Pentcho Valev
3
Sep 16
Constant Wavelength of Light and the End of Einstein's Relativity
Physicists would not readily accept the axiom "The wavelength of light is invariable":
unread,
Constant Wavelength of Light and the End of Einstein's Relativity
Physicists would not readily accept the axiom "The wavelength of light is invariable":
Sep 16
Khong Dong
2
Sep 16
"Do you see a prime number hidden in some manner in Euler's identity?"
On Thursday, 15 September 2022 at 15:02:17 UTC-6, Khong Dong wrote: > Fyi., https://qr.ae/pvUyMz I
unread,
"Do you see a prime number hidden in some manner in Euler's identity?"
On Thursday, 15 September 2022 at 15:02:17 UTC-6, Khong Dong wrote: > Fyi., https://qr.ae/pvUyMz I
Sep 16
Jorge Lopezz
,
Sergio
2
Sep 15
Hypernumber list
On 9/12/2022 3:05 PM, Jorge Lopezz wrote: > I know, I know the saying "do not duplicate
unread,
Hypernumber list
On 9/12/2022 3:05 PM, Jorge Lopezz wrote: > I know, I know the saying "do not duplicate
Sep 15
Pentcho Valev
2
Sep 14
Einstein's Constancy of the Speed of Light and Big Brother's 2+2=5
If Einstein's constancy of the speed of light is just as obviously absurd as Big Brother's 2+
unread,
Einstein's Constancy of the Speed of Light and Big Brother's 2+2=5
If Einstein's constancy of the speed of light is just as obviously absurd as Big Brother's 2+
Sep 14
Dan Christensen
, …
Ben Bacarisse
219
Sep 13
Surjective Functions: A simple exercise in DC Proof (as requested)
On Tuesday, September 13, 2022 at 6:41:35 AM UTC-4, Ben Bacarisse wrote: > Dan Christensen <
unread,
Surjective Functions: A simple exercise in DC Proof (as requested)
On Tuesday, September 13, 2022 at 6:41:35 AM UTC-4, Ben Bacarisse wrote: > Dan Christensen <
Sep 13
